fstreamsversion

Functional, lazy, infinite streams.

A very standard infinite data structure is the stream which lazily determines its current and next values and even whether they exist or not! This data structure is useful for describing computations which are generated and consumed step-by-step and is a powerful basic tool for many lazy algorithms.

Included in this module are two submodules, Infinite and Finite. Infinite streams are streams which are guaranteed to always have a next value and Finite streams are streams which may terminate but are not obliged to.

Mathematically, Infinite streams are the greatest fixed point of the functor F X = A * X and Finite streams are the greatest fixed point of the functor F X = 1 + A * X.

AuthorJoseph Abrahamson <me@jspha.com>
LicenseBSD-3-Clause
Published
Homepagehttps://github.com/tel/ocaml-fstreams
Issue Trackerhttps://github.com/tel/ocaml-fstreams/issues
MaintainerJoseph Abrahamson <me@jspha.com>
Dependencies
Source [http] https://github.com/tel/ocaml-fstreams/archive/0.2.1.tar.gz
sha256=1aa19a9c7651b81510d3f9c06f4928545ba3db5e4e79748e7908bf530c899e0a
md5=3564f973697f3ba032d39e02db56e8ba
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/fstreams/fstreams.0.2.1/opam
No package is dependent