packages feed

CC-delcont-exc-0.1.0.0: CC-delcont-exc.cabal

name:               CC-delcont-exc
version:            0.1.0.0
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:        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 ('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 <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.CCExc
 other-modules:
 cc-options:
 ld-options: