@hackage operational0.2.0.2
Implement monads by specifying operational semantics.
Categories
License
BSD-3-Clause
Maintainer
Heinrich Apfelmus <apfelmus quantentunnel de>
Links
Versions
Installation
Dependencies (2)
Dependents (24)
@hackage/has-transformers, @hackage/signals, @hackage/Chart-fltkhs, @hackage/serf, @hackage/redis-resp, @hackage/sunroof-compiler, Show all…
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.