name: streamt version: 0.5.0.0 cabal-version: >=1.10 synopsis: Simple, Fair and Terminating Backtracking Monad Transformer description: This Haskell library provides an implementation of the MonadPlus type class that enumerates results of a non-deterministic computation by interleaving subcomputations in a way that has usually much better memory performance than other strategies with the same termination properties. category: Control, Monads license: BSD3 license-file: LICENSE author: Oleg Kiselyov, Sebastian Fischer, David A Roberts maintainer: David A Roberts bug-reports: http://github.com/davidar/streamt/issues homepage: http://github.com/davidar/streamt build-type: Simple stability: experimental tested-with: GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.4 || ==9.0.1 extra-source-files: README.md library build-depends: base >=4.3 && <5 , logict >=0.7 && <0.8 , mtl >=2.0 && <2.3 hs-source-dirs: src exposed-modules: Control.Monad.Stream ghc-options: -Wall default-language: Haskell2010 test-suite streamt-benchmarks main-is: benchmarks.hs build-depends: base >=3 && <5 , criterion >=0.5 , streamt hs-source-dirs: test type: exitcode-stdio-1.0 default-language: Haskell2010 test-suite streamt-microkanren main-is: microkanren.hs build-depends: base , hspec , mtl , streamt hs-source-dirs: test type: exitcode-stdio-1.0 default-language: Haskell2010 test-suite streamt-logic main-is: logic.hs build-depends: async >=2.0 , base , mtl , streamt , tasty , tasty-hunit hs-source-dirs: test type: exitcode-stdio-1.0 default-language: Haskell2010 source-repository head type: git location: git://github.com/davidar/streamt.git