packages feed

operational-0.2.1.0: operational.cabal

Name:               operational
Version:            0.2.1.0
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 <http://themonadreader.wordpress.com/2010/01/26/issue-15/>.
  .
  Related packages: MonadPrompt <http://hackage.haskell.org/package/MonadPrompt>.
  
Category:           Control, Monads
License:            BSD3
License-file:       LICENSE
Author:             Heinrich Apfelmus
Maintainer:         Heinrich Apfelmus <apfelmus quantentunnel de>
Copyright:          (c) Heinrich Apfelmus 2010-2011
Homepage:           http://haskell.org/haskellwiki/Operational
Stability:          Provisional

build-type:         Simple
cabal-version:      >= 1.6
extra-source-files: CHANGELOG
                    doc/Documentation.md
                    doc/examples/*.hs
                    doc/examples/*.lhs
                    doc/web/fptools.css
                    doc/web/Documentation.html
                    
source-repository head
    type:           git
    location:       git://github.com/HeinrichApfelmus/operational.git

Library
    hs-source-dirs:     src
    build-depends:      base == 4.* , mtl >= 1.1 && < 2.1.0
    ghc-options:        -Wall
    extensions:         GADTs, UndecidableInstances,
                        MultiParamTypeClasses, FlexibleInstances
    exposed-modules:    Control.Monad.Operational

Executable TicTacToe
    main-is:            doc/examples/TicTacToe.hs
    hs-source-dirs:     src, .
    build-depends:      random == 1.*
    other-modules:      Control.Monad.Operational