CC-delcont-exc: A monad transformers for multi-prompt delimited control
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. http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR615
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 (
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 http://okmij.org/ftp/continuations/implementations.html#CC-monads for more information.
This package split multi-prompt delimited control from http://hackage.haskell.org/package/liboleg for usability.
|Dependencies||base (>=3 && <5), mtl [details]|
|Uploaded||by KidoTakahiro at Wed Oct 12 16:34:48 UTC 2011|
|Downloads||750 total (5 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
For package maintainers and hackage trustees