Implementation of difficult monads made easy with operational semantics. http://haskell.org/haskellwiki/Operational

Version on this page:
LTS Haskell 16.3:
Stackage Nightly 2020-06-29:
Latest on Hackage:

See all snapshots operational appears in

BSD-3-Clause licensed by Heinrich Apfelmus
Maintained by Heinrich Apfelmus <apfelmus quantentunnel de>

Module documentation for

This version can be pinned in stack with:[email protected]:71a40ef05923d2827033ea4962995489be3027efa963a351b726a6482c0fa60a,2135

This library makes it easy to implement monads with tricky control flow.

This is useful for: writing web applications in a sequential style, programming games with a uniform interface for human and AI players and easy replay capababilities, implementing fast parser monads, designing monadic DSLs, etc.

See the project homepage http://haskell.org/haskellwiki/Operational for a more detailed introduction and features.

Related packages: MonadPrompt http://hackage.haskell.org/package/MonadPrompt.