name: control-monad-free version: 0.5 x-revision: 1 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 && < 4.8 if flag(transformers) build-depends: transformers < 0.2 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