Control.Arrow.Transformer.Cont
Documentation
newtype ContArrow e a b c Source
Constructors
| CO (a c e -> a b e) |
Instances
| ArrowApply a => ArrowTransformer (ContArrow e) a | |
| ArrowApply a => ArrowChoice (ContArrow e a) | |
| ArrowApply a => Arrow (ContArrow e a) | |
| ArrowApply a => ArrowApply (ContArrow e a) | |
| Category (ContArrow e a) |
runCont :: ArrowApply a => ContArrow e a b c -> a c e -> a b eSource
jump :: ArrowApply a => ContArrow e a (a c e, c) zSource
callcc :: ArrowApply a => (a c e -> ContArrow e a b c) -> ContArrow e a b cSource