Personal tools

Operational

From HaskellWiki

Revision as of 16:58, 18 June 2012 by Apfelmus (Talk | contribs)

Jump to: navigation, search

1 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.

2 Releases and Resources