stream-monad: Simple, Fair and Terminating Backtracking Monad

The stream-monad package

[Tags:bsd3, library]

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]

Properties

Versions 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 [details]
License PublicDomain
Author Oleg Kiselyov
Maintainer Sebastian Fischer (sebf@informatik.uni-kiel.de)
Stability experimental
Category Control, Monads
Home page http://github.com/sebfisch/stream-monad
Bug tracker mailto:sebf@informatik.uni-kiel.de
Source repository head: git clone git://github.com/sebfisch/stream-monad.git
Uploaded Tue Jan 27 11:00:40 UTC 2009 by SebastianFischer
Distributions NixOS:0.4.0.2
Downloads 1758 total (20 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for stream-monad

Readme for stream-monad-0.1

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