Cont package:control-dsl

module Control.Dsl.Cont
control-dsl
newtype Cont r a
control-dsl Control.Dsl.Cont
A delimited continuation that can be used in a do block.
Cont :: (a -> r) -> r -> Cont r a
control-dsl Control.Dsl.Cont
package control-dsl
Uses
An alternative to monads for control flow DSLs This "control-dsl" package is a toolkit to create extensible Domain Specific Languages in do-notation. See Control.Dsl for more information.
runCont :: Cont r a -> (a -> r) -> r
control-dsl Control.Dsl.Cont
toCont :: PolyCont k r a => k r' a -> Cont r a
control-dsl Control.Dsl.Cont
Convert a PolyCont to a Cont.
module Control.Dsl.PolyCont
control-dsl
class PolyCont k r a
control-dsl Control.Dsl.PolyCont
A use case of an ad-hoc polymorphic delimited continuation. Note that a PolyCont is not a polymorphic delimited continuation, since a PolyCont does not support answer type modification.
runPolyCont :: PolyCont k r a => k r' a -> (a -> r) -> r
control-dsl Control.Dsl.PolyCont
Run as a CPS function .