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.1.0), random (==1.*) [details]
License BSD-3-Clause
Copyright (c) Heinrich Apfelmus 2010-2011
Author Heinrich Apfelmus
Maintainer Heinrich Apfelmus <apfelmus quantentunnel de>
Category Control, Monads
Home page http://haskell.org/haskellwiki/Operational
Source repo head: git clone git://github.com/HeinrichApfelmus/operational.git
Uploaded by HeinrichApfelmus at Sat Sep 3 08:26:37 UTC 2011
Distributions Debian:0.2.3.2, LTSHaskell:0.2.3.5, NixOS:0.2.3.5, Stackage:0.2.3.5
Executables TicTacToe
Downloads 14737 total (66 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