name: control-monad-free
version: 0.5
Cabal-Version: >= 1.2.3
build-type: Simple
license: PublicDomain
author: Luke Palmer, Pepe Iborra
maintainer: pepeiborra@gmail.com
homepage: http://github.com/pepeiborra/control-monad-free
description:
This package provides datatypes to construct Free monads,
Free monad transformers, and useful instances. In addition it
provides the constructs to avoid quadratic complexity of left
associative bind, as explained in:
.
* Janis Voigtlander, /Asymptotic Improvement of Computations over Free Monads, MPC'08/
synopsis: Free monads and monad transformers
category: Control, Monads
stability: experimental
Flag transformers
default: True
Library
buildable: True
build-depends: base >= 2 && < 5
if flag(transformers)
build-depends: transformers
cpp-options: -DTRANSFORMERS
else
build-depends: mtl
extensions: StandaloneDeriving, Rank2Types, MultiParamTypeClasses, FlexibleInstances, FlexibleContexts, UndecidableInstances, OverlappingInstances
exposed-modules:
Control.Monad.Free
Control.Monad.Free.Zip
Control.Monad.Free.Improve