The stepwise package

[Tags:lgpl, library]

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) [details]
License LGPL
Copyright Arie Middelkoop
Author
Maintainer Arie Middelkoop <ariem@cs.uu.nl>
Stability Experimental
Category Development
Home page http://www.cs.uu.nl/wiki/HUT/WebHome
Uploaded Mon Dec 6 15:57:10 UTC 2010 by ArieMiddelkoop
Distributions NixOS:1.0.2
Downloads 626 total (14 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-25 [all 5 reports]

Modules

  • Control
    • Monad
      • Control.Monad.Stepwise
        • Control.Monad.Stepwise.AG
        • Control.Monad.Stepwise.Core
        • Control.Monad.Stepwise.Derived
        • Control.Monad.Stepwise.Examples
        • Control.Monad.Stepwise.Proofs
        • Control.Monad.Stepwise.Unsafe

Downloads

Maintainer's Corner

For package maintainers and hackage trustees