operational

Implementation of difficult monads made easy with operational semantics.

http://haskell.org/haskellwiki/Operational

Version on this page:0.2.3.2
LTS Haskell 23.18:0.2.4.2@rev:1
Stackage Nightly 2025-04-18:0.2.4.2@rev:1
Latest on Hackage:0.2.4.2@rev:1

See all snapshots operational appears in

BSD-3-Clause licensed by Heinrich Apfelmus
Maintained by Heinrich Apfelmus <apfelmus quantentunnel de>
This version can be pinned in stack with:operational-0.2.3.2@sha256:71a40ef05923d2827033ea4962995489be3027efa963a351b726a6482c0fa60a,2135

Module documentation for 0.2.3.2

  • Control
    • Control.Monad
      • Control.Monad.Operational
Depends on 3 packages(full list with versions):
base, mtl, random
Used by 2 packages in lts-0.7(full list with versions):
Chart, Chart-diagrams

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.