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
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 Sun Jul 10 06:38:47 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 15260 total (94 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