The stepwise package
Stepwise monad: stepwise computations, providing resolution of non-deterministic choice, breadth-first search strategies and online results.
Properties
| Versions | 1.0, 1.0.1, 1.0.2 |
|---|---|
| Dependencies | base (4.*), containers (≥0.3), criterion (≥0.5.0.5), mtl (>1.1), progression (≥0.4) |
| License | LGPL |
| Copyright | Arie Middelkoop |
| Maintainer | Arie Middelkoop <ariem@cs.uu.nl> |
| Stability | Experimental |
| Category | Development |
| Home page | http://www.cs.uu.nl/wiki/HUT/WebHome |
| Executables | stepwise-benchmark |
| Upload date | Thu Dec 2 15:33:30 UTC 2010 |
| Uploaded by | ArieMiddelkoop |
| Build failure | ghc-7.0 (log) |
Modules
- Control
- Monad
- Control.Monad.Stepwise
- Control.Monad.Stepwise.Core
- Control.Monad.Stepwise.Derived
- Control.Monad.Stepwise.Examples
- Control.Monad.Stepwise.Proofs
- Control.Monad.Stepwise.Unsafe
- Control.Monad.Stepwise
- Monad
Downloads
- stepwise-1.0.tar.gz (Cabal source package)
- package description (included in the package)