The operational package
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.
Properties
| Versions | 0.1.0.0, 0.2.0.0, 0.2.0.1, 0.2.0.2, 0.2.0.3, 0.2.1.0, 0.2.1.1, 0.2.1.2, 0.2.1.3, 0.2.2.0, 0.2.2.1 |
|---|---|
| Dependencies | base (4.*), mtl (≥1.1 & <2.0.1) |
| License | BSD3 |
| Copyright | (c) Heinrich Apfelmus 2010 |
| Author | Heinrich Apfelmus |
| Maintainer | Heinrich Apfelmus <apfelmus quantentunnel de> |
| Stability | Provisional |
| Category | Control, Monads |
| Home page | http://projects.haskell.org/operational/ |
| Source repository | darcs get http://code.haskell.org/operational |
| Upload date | Wed Oct 27 19:59:53 UTC 2010 |
| Uploaded by | HeinrichApfelmus |
| Built on | ghc-6.12, ghc-7.0 |
Modules
- Control
Downloads
- operational-0.2.0.1.tar.gz (Cabal source package)
- package description (included in the package)