operational

Implementation of difficult monads made easy with operational semantics.

http://wiki.haskell.org/Operational

Version on this page:0.2.4.1
LTS Haskell 24.17:0.2.4.2@rev:1
Stackage Nightly 2025-10-31: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.4.1@sha256:beb71a58ae6c2d7db284d5da1fe03793189d122f44281cc301eb2bfa6ce7c5b5,2490

Module documentation for 0.2.4.1

Used by 4 packages in lts-18.23(full list with versions):
Chart, operational, operational-class, serf

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://wiki.haskell.org/Operational for a more detailed introduction and features.

Related packages:

Changes

Changelog for the operational package

0.2.4.1 – Maintenance release.

  • Restrict dependencies to ensure GHC >= 7.10.

0.2.4.0 – Feature release.

  • Update to build with GHC 9.0.1.
  • Add utility functions interpretWithMonadT, unviewT and mapInstr
  • Add utility Functor, Applicative, and Monad instances for ProgramViewT type.

0.2.3.5 – Maintenance release.

  • Update references to other packages.
  • Modernize .cabal file.

0.2.3.4 – Maintenance release.

  • Restrict dependencies to ensure GHC >= 7.2.

0.2.3.3 – Maintenance release.

  • Minor fixes to documentation and examples

0.2.3.2 – Maintenance release.

  • Bump mtl dependency to allow 2.3

0.2.3.1 – Maintenance release.

  • Bump mtl dependency to allow 2.2

0.2.3.0 – Maintenance release.

  • added instance for MonadReader class
  • clean up documentation

0.2.2.0 – Feature release.

  • add utility function interpretWithMonad

0.2.1.0 – Maintenance release.

  • minor change: eta-reduce Program and ProgramView type synonyms

0.2.0.3 – Maintenance release.

  • moved project repository to github

0.2.0.0 – Feature release.

  • changed name of view type to ProgramView
  • added instances for mtl classes
  • new function liftProgram to embed Program in ProgramT
  • new example TicTacToe.hs
  • various documentation updates

0.1.0.0

  • initial release