stream-monad: Simple, Fair and Terminating Backtracking Monad

[ bsd3, control, library, monads ] [ Propose Tags ]

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
NameDescriptionDefault
benchmarks

Build executable to run benchmarks

Disabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
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 6224 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build 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