The stepwise package

[ Tags: development, lgpl, library ] [ Propose Tags ]

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>
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
Executables stepwise-benchmark
Downloads 735 total (8 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 7 reports]
Hackage Matrix CI

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