Operational

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