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

[ bsd3, control, library ] [ Propose Tags ]

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 is the most direct implementation of the bubble-up reduction semantics of multi-prompt delimited control. The library stands out in not being based on the continuation monad. Rather, the monad of Control.Monad.CC.CCExc is an extension of the Error monad: a monad for restartable exceptions. The library offers not one monad transformer but a family (CC p) parameterized by the prompt flavor p . The library defines several prompt flavors; the users are welcome to define their own.

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:34:48Z
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 1568 total (5 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]