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 [RSS] [faq]	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 2009-01-27T11:00:40Z
Distributions	NixOS:0.4.0.2
Downloads	5693 total (19 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]

Modules

[Index]

Control
- Monad
  - Control.Monad.Stream

Downloads

stream-monad-0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

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