cabal-version: >= 1.8
build-type: Simple
name: stepwise
version: 1.0.1
license: LGPL
maintainer: Arie Middelkoop <ariem@cs.uu.nl>
homepage: http://www.cs.uu.nl/wiki/HUT/WebHome
description: Stepwise monad: stepwise computations, providing resolution of non-deterministic choice, breadth-first search strategies and online results.
category: Development
stability: Experimental
copyright: Arie Middelkoop

library
  build-depends: base >= 4, base < 5, mtl > 1.1, containers >= 0.3
  exposed-modules: Control.Monad.Stepwise, Control.Monad.Stepwise.Core, Control.Monad.Stepwise.Derived
  exposed-modules: Control.Monad.Stepwise.Unsafe
  exposed-modules: Control.Monad.Stepwise.Examples, Control.Monad.Stepwise.Proofs
  exposed-modules: Control.Monad.Stepwise.AG
  hs-source-dirs: src

executable stepwise-benchmark
  build-depends: base >= 4, base < 5, mtl > 1.1, containers >= 0.3
  build-depends: progression >= 0.4, criterion >= 0.5.0.5
  hs-source-dirs: src
  main-is: Benchmarks.hs