CC-delcont-cxe: A monad transformers for multi-prompt delimited control

[ bsd3, control, library ] [ Propose Tags ]

Oleg Kiselyov's three new monad transformers for multi-prompt delimited control (released with his permission)

This library implements the superset of the interface described in * A Monadic Framework for Delimited Continuations, R. Kent Dybvig, Simon Peyton Jones, and Amr Sabry JFP, v17, N6, pp. 687--730, 2007.

This library's Control.Monad.CC.CCCxe is derived as a CPS version of's Control.Monad.CC.CCExc. Control.Monad.CC.CCCxe is sometimes more efficient; it is always less perspicuous. Both libraries provide the identical interface and are interchangeable. It seems that CC-delcont-exc's Control.Monad.CC.CCExc is faster at delimited control but imposes more overhead on the conventional code; Control.Monad.CC.CCCxe is dual. It pays to use Control.Monad.CC.CCCxe in code with long stretches of determinism punctuated by fits and restarts.

See the original article at for more information.

This package split multi-prompt delimited control from for usability.




Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,
Dependencies base (>=3 && <5), mtl [details]
License BSD-3-Clause
Author Oleg Kiselyov
Maintainer shelarcy <>
Category Control
Uploaded by KidoTakahiro at 2011-10-12T16:56:51Z
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 3350 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]