The operational package

[Tags:bsd3, library]

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, 0.2.3.2, 0.2.3.3, 0.2.3.4, 0.2.3.5
Change log CHANGELOG
Dependencies base (==4.*), mtl (>=1.1 && <2.0.1) [details]
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 head: darcs get http://code.haskell.org/operational
Uploaded Wed Oct 27 19:59:53 UTC 2010 by HeinrichApfelmus
Distributions Debian:0.2.3.2, LTSHaskell:0.2.3.5, NixOS:0.2.3.5, Stackage:0.2.3.5, Tumbleweed:0.2.3.4
Downloads 7967 total (133 in the last 30 days)
Votes
1 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees