Name: operational Version: 0.2.0.1 Synopsis: Implement monads by specifying operational semantics. Description: Tiny library for implementing monads by specifying the primitive instructions and their operational semantics. The monad laws will hold automatically. Can also be used to define monad transformers, and the lifting laws are, again, automatic. . Accompanies the article: \"The Operational Monad Tutorial\", published in Issue 15 of The Monad.Reader . . Related packages: MonadPrompt . Category: Control, Monads License: BSD3 License-file: LICENSE Author: Heinrich Apfelmus Maintainer: Heinrich Apfelmus Copyright: (c) Heinrich Apfelmus 2010 Homepage: http://projects.haskell.org/operational/ Stability: Provisional build-type: Simple cabal-version: >= 1.6 extra-source-files: CHANGELOG docs/Documentation.md docs/Makefile docs/examples/*.hs docs/examples/*.lhs docs/web/fptools.css docs/web/*.html docs/web/examples/hscolour.css docs/web/examples/*.hs.html docs/web/examples/*.lhs.html source-repository head type: darcs location: http://code.haskell.org/operational Library hs-source-dirs: src build-depends: base == 4.* , mtl >= 1.1 && < 2.0.1 ghc-options: -Wall extensions: GADTs, UndecidableInstances, MultiParamTypeClasses, FlexibleInstances exposed-modules: Control.Monad.Operational