Control.Monad.Trans.Cont

The Cont monad

type Cont r

cont

runCont

mapCont

withCont

The ContT monad transformer

data ContT r m a

mapContT

withContT

callCC

Lifting other operations

liftLocal