CC-delcont-cxe-0.1.0.1: CC-delcont-cxe.cabal
name: CC-delcont-cxe
version: 0.1.0.1
author: Oleg Kiselyov
maintainer: shelarcy <shelarcy@gmail.com>
license: BSD3
license-file: LICENSE
category: Control
Synopsis: A monad transformers for multi-prompt delimited control
Description: 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.
<http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR615>
.
This library's "Control.Monad.CC.CCcxe" is derived as a CPS version of
<http://hackage.haskell.org/package/CC-delcont-exc>'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 <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.
stability: experimental
cabal-version: >= 1.8
build-type: Simple
extra-source-files:
Bench_nondet.hs
CC_Test.hs
Generator1.hs, Generator2.hs, ProtocolRecovery.hs
library
build-depends: base >= 3 && < 5, mtl
exposed-modules:
Control.Monad.CC.CCCxe
other-modules:
cc-options:
ld-options: