Operational: Difference between revisions
(Changed category Monads to Monad) |
|||
| Line 1: | Line 1: | ||
== What is it? == | == What is it? == | ||
'' | The ''operational'' library makes it easy to implement monads with tricky control flow. | ||
The idea is | The idea is to identify a set of primitive instructions and to specify their operational semantics. Then, the library makes sure that the monad laws hold automatically. Ditto for monad transformers. | ||
== Releases and Resources == | == Releases and Resources == | ||
Revision as of 16:58, 18 June 2012
What is it?
The operational library makes it easy to implement monads with tricky control flow.
The idea is to identify a set of primitive instructions and to specify their operational semantics. Then, the library makes sure that the monad laws hold automatically. Ditto for monad transformers.
Releases and Resources
- Download
- operational - latest version on hackage
- source code on github
- Documentation
- The Operational Monad Tutorial - Introductory document explaining the concept.
- Library documentation - How to use the libary proper; documents changes with respect to the tutorial.
- API reference on hackage.
- Example code - Collection of working examples.
- Feedback and Contact
- Maintainer: Heinrich Apfelmus <apfelmus at quantentunnel de>
- Issue Tracker
- Ask a question on StackOverflow