Documentation

newtype ContArrow e a b c Source

liftCont :: Arrow a => a b c -> ContArrow e a b cSource

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