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

Versions0.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
Dependenciesbase (==4.*), mtl (>=1.1 && <2.1.0), random (==1.*)
LicenseBSD3
Copyright(c) Heinrich Apfelmus 2010
AuthorHeinrich Apfelmus
MaintainerHeinrich Apfelmus <apfelmus quantentunnel de>
StabilityProvisional
CategoryControl, Monads
Home pagehttp://projects.haskell.org/operational/
Source repositoryhead: darcs get http://code.haskell.org/operational
ExecutablesTicTacToe
UploadedSun Jul 10 06:38:47 UTC 2011 by HeinrichApfelmus
DistributionsDebian:0.2.3.2, NixOS:0.2.3.2, Stackage:0.2.3.2
Downloads4300 total (194 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees