name: hinze-streams
version: 1.0
license: BSD3
license-file: LICENSE
author: Ralf Hinze
maintainer: Don Stewart <dons@galois.com>
homepage: http://code.haskell.org/~dons/code/hinze-streams
category: Data
synopsis: Streams and Unique Fixed Points
description:
Numeric instances for infinite streams. An implementation of:
.
/Functional Pearl: Streams and Unique Fixed Points/, Ralf Hinze, University of Oxford
.
Streams, infinite sequences of elements, live in a coworld: they are
given by a coinductive data type, operations on streams are implemented
by corecursive programs, and proofs are conducted using coinduction. But
there is more to it: suitably restricted, stream equations possess
unique solutions, a fact that is not very widely appreciated. We show
that this property gives rise to a simple and attractive proof technique
essentially bringing equational reasoning to the coworld. In fact, we
redevelop the theory of recurrences, finite calculus and generating
functions using streams and stream operators building on the cornerstone
of unique solutions. The development is constructive: streams and stream
operators are implemented in Haskell, usually by one-liners. The
resulting calculus or library, if you wish, is elegant and fun to use.
Finally, we rephrase the proof of uniqueness using generalised algebraic
data types.
.
Along with the usual instances for infinite streams, this provides:
Num, Enum, Real, Fractional, as well as recurrences on streams,
finite calculus, generators
.
build-type: Simple
stability: experimental
cabal-version: >= 1.2
library
build-depends: base, haskell98, Stream
exposed-modules:
Data.Stream.Hinze.Idiom
Data.Stream.Hinze.Memo
Data.Stream.Hinze.NumExt
Data.Stream.Hinze.Stream
extensions:
MultiParamTypeClasses,
FlexibleInstances