Hackage :: [Package]

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]
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 LicenseRef-PublicDomain
Author Oleg Kiselyov
Maintainer Sebastian Fischer (sebf@informatik.uni-kiel.de)
Category Control, Monads
Home page http://github.com/sebfisch/stream-monad
Bug tracker mailto:sebf@informatik.uni-kiel.de
Source repo head: git clone git://github.com/sebfisch/stream-monad.git
Uploaded by SebastianFischer at Tue Jan 27 11:00:40 UTC 2009
Distributions NixOS:0.4.0.2
Downloads 3136 total (30 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for stream-monad-0.1

[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