stream-monad (original) (raw)

stream-monad: Simple, Fair and Terminating Backtracking Monad

This Haskell library provides an implementation of the MonadPlus type class that enumerates results of a non-deterministic computation by interleaving subcomputations in a way that has usually much better memory performance than other strategies with the same termination properties.

[Skip to Readme]

Modules

[Index]

Flags

Automatic Flags

Name Description Default
benchmarks Build executable to run benchmarks Disabled

Use -f to enable a flag, or -f - to disable that flag. More info

Downloads

Versions [RSS] 0.1, 0.1.1, 0.1.1.0, 0.2, 0.3, 0.4, 0.4.0.1, 0.4.0.2
Dependencies base (>=3 && <5), criterion (>=0.5 && <0.7), logict (>=0.4 && <0.6) [details]
License BSD-3-Clause
Author Oleg Kiselyov, Sebastian Fischer
Maintainer Sebastian Fischer (fischer@nii.ac.jp)
Category Control, Monads
Home page http://github.com/sebfisch/stream-monad
Bug tracker http://github.com/sebfisch/stream-monad/issues
Source repo head: git clone git://github.com/sebfisch/stream-monad.git
Uploaded by SebastianFischer at 2012-09-10T17:38:11Z
Distributions
Reverse Dependencies 4 direct, 3 indirect [details]
Executables stream-monad-benchmarks
Downloads 6482 total (3 in the last 30 days)
Rating (no votes yet)[estimated by Bayesian average]
Your Rating λ λ λ
Status Docs uploaded by userBuild status unknown [no reports yet]

Readme for stream-monad-0.4.0.2

[back to package description]

Simple, Fair and Terminating Backtracking Monad

This Haskell library provides an implementation of the MonadPlus type class that enumerates results of a non-deterministic computation by interleaving subcomputations in a way that has usually much better memory performance than other strategies with the same termination properties.

More information is available on the authors website:

http://okmij.org/ftp/Computation/monads.html#fair-bt-stream