Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Continuation r t a = Continuation {}
- oblige :: Bindable t => t a -> Continuation r t a
- cwcc :: ((a -> Continuation r t b) -> Continuation r t a) -> Continuation r t a
- reset :: (Bindable t, Pointable t) => Continuation r t r -> Continuation s t r
- shift :: Pointable t => ((a -> t r) -> Continuation r t r) -> Continuation r t a
Documentation
newtype Continuation r t a Source #
Instances
oblige :: Bindable t => t a -> Continuation r t a Source #
Make any bindable action continue
cwcc :: ((a -> Continuation r t b) -> Continuation r t a) -> Continuation r t a Source #
Call with current continuation
reset :: (Bindable t, Pointable t) => Continuation r t r -> Continuation s t r Source #
Delimit the continuation of any shift
shift :: Pointable t => ((a -> t r) -> Continuation r t r) -> Continuation r t a Source #
Capture the continuation up to the nearest enclosing reset
and pass it