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

Related packages: MonadPrompt


Change log CHANGELOG
Dependencies base (==4.*), mtl (>=1.1 && <2.1.0), random (==1.*) [details]
License BSD3
Copyright (c) Heinrich Apfelmus 2010
Author Heinrich Apfelmus
Maintainer Heinrich Apfelmus <apfelmus quantentunnel de>
Category Control, Monads
Home page
Source repository head: darcs get
Uploaded Sun Jul 10 06:38:47 UTC 2011 by HeinrichApfelmus
Distributions Debian:, LTSHaskell:, NixOS:, Stackage:, Tumbleweed:
Downloads 8434 total (152 in the last 30 days)
1 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees