Difference between revisions of "Operational"
Jump to navigation
Jump to search
(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. |
||
| − | ''Operational'' is a small library for implementing custom monads. |
||
| − | 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