package fstreams
 Overview
 No Docs
You can search for identifiers within the package.
inpackage search v0.2.0
Install
Authors
Maintainers
Sources
md5=3564f973697f3ba032d39e02db56e8ba
Description
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 stepbystep 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.
Published: 18 Feb 2015
Dependencies (3)

ocamlbuild
build

ocamlfind
build

ocaml
< "5.0"