name: CC-delcont-ref-tf
version: 0.1.0.1
author: Oleg Kiselyov
maintainer: shelarcy
license: BSD3
license-file: LICENSE
category: Control
Synopsis: A monad transformers for multi-prompt delimited control using refercence cells
Description: 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 closest to the interface of Dybvig, Peyton Jones and Sabry.
"Control.Monad.CC.CCRef" is derived from the definitional interpreter using
the implementation techniques described and justified in the FLOPS 2010 paper.
The monad transformer 'CC' implemented by "Control.Monad.CC.CCRef" requires
the base monad to support reference cells. In other words, the base monad
must be a member of the type class 'MonadRef': that is, must be 'IO', 'ST',
'STM' or their transformer. "Control.Monad.CC.CCRef" adds to the original
interface the frequently used function 'abortP' as a primitive.
.
See the original article at
for more information.
.
This package uses 's 'MonadRef' class
instead of 'Mutation' class what is used in
package.
stability: experimental
cabal-version: >= 1.8
build-type: Simple
extra-source-files:
Bench_nondet.hs
library
build-depends: base >= 3 && < 5, transformers >= 0.2, ref-tf
exposed-modules:
Control.Monad.CC.CCRef
other-modules:
cc-options:
ld-options: