stepwise

[ development, library ] [ Propose Tags ]

Stepwise monad: stepwise computations, providing resolution of non-deterministic choice, breadth-first search strategies and online results.

Versions [RSS] [faq] 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 LicenseRef-LGPL
Copyright Arie Middelkoop
Author
Maintainer Arie Middelkoop <ariem@cs.uu.nl>
Category Development
Home page http://www.cs.uu.nl/wiki/HUT/WebHome
Uploaded by ArieMiddelkoop at 2010-12-02T15:33:30Z
Distributions NixOS:1.0.2
Executables stepwise-benchmark
Downloads 2201 total (9 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 7 reports]

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates