operational: Implement monads by specifying operational semantics.

[ bsd3, control, library, monads ] [ Propose Tags ]

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.

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 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 Wed Oct 27 19:59:53 UTC 2010
Distributions Debian:0.2.3.2, LTSHaskell:0.2.3.5, NixOS:0.2.3.5, Stackage:0.2.3.5, openSUSE:0.2.3.5
Downloads 14691 total (126 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees