Control.Monad.Trans.Cont

The Cont monad

type Cont r

cont

runCont

evalCont

mapCont

withCont

Delimited continuations

reset

shift

The ContT monad transformer

data ContT r m a

evalContT

mapContT

withContT

callCC

Delimited continuations

resetT

shiftT

Lifting other operations

liftLocal