operational: Implement monads by specifying operational semantics.
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.
Downloads
- operational-0.2.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 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, 0.2.3.2, 0.2.3.3, 0.2.3.4, 0.2.3.5, 0.2.4.0, 0.2.4.1, 0.2.4.2 |
|---|---|
| Change log | CHANGELOG |
| Dependencies | base (>=4 && <5), mtl (>=1.1 && <2.0.1) [details] |
| License | BSD-3-Clause |
| Copyright | (c) Heinrich Apfelmus 2010 |
| Author | Heinrich Apfelmus |
| Maintainer | Heinrich Apfelmus <apfelmus quantentunnel de> |
| Category | Control, Monads |
| Home page | http://projects.haskell.org/operational/ |
| Source repo | head: darcs get http://code.haskell.org/operational |
| Uploaded | by HeinrichApfelmus at 2010-10-27T19:59:53Z |
| Distributions | Debian:0.2.3.5, LTSHaskell:0.2.4.2, NixOS:0.2.4.2, Stackage:0.2.4.2 |
| Reverse Dependencies | 21 direct, 3615 indirect [details] |
| Downloads | 30504 total (123 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |