streamt: Simple, Fair and Terminating Backtracking Monad Transformer

[ 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] [Quick Jump]

Control
- Monad
  - Control.Monad.Stream

Downloads

streamt-0.5.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

davidar

For package maintainers and hackage trustees

edit package information

Candidates

0.5.0.0

Versions [RSS]	0.5.0.0, 0.5.0.1
Dependencies	base (>=4.3 && <5), logict (>=0.7 && <0.9), mtl (>=2.0 && <2.3) [details]
License	BSD-3-Clause
Author	Oleg Kiselyov, Sebastian Fischer, David A Roberts
Maintainer	David A Roberts <d@vidr.cc>
Category	Control, Monads
Home page	http://github.com/davidar/streamt
Bug tracker	http://github.com/davidar/streamt/issues
Source repo	head: git clone git://github.com/davidar/streamt.git
Uploaded	by davidar at 2022-05-20T10:38:43Z
Distributions
Downloads	378 total (9 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2022-05-20 [all 1 reports]

Readme for streamt-0.5.0.1

[back to package description]

Simple, Fair and Terminating Backtracking Monad Transformer

It also terminates in many cases where the fair conjunction and interleaving operators provided by LogicT fail to do so, allowing it to safely provide fairness by default.

More information is available on the author's website.

This package aims to be a drop-in replacement for the unmaintained stream-monad package, in addition to providing much of the same functionality as the logict package.