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, 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
Dependencies base (==4.*), mtl (==1.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 Tue Jan 26 09:03:35 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 14459 total (51 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