Control.Monad.Cont

MonadCont class

class MonadCont m

The Cont monad

type Cont r

runCont

mapCont

withCont

The ContT monad transformer

data ContT r m a

mapContT

withContT

Example 1: Simple Continuation Usage

Example 2: Using callCC

Example 3: Using ContT Monad Transformer