Control.Monad.Trans.Iter

The iterative monad transformer

data IterT m a

Capretta's iterative monad

type Iter

iter

runIter

Combinators

delay

hoistIterT

liftIter

cutoff

never

untilJust

interleave

interleave_

Consuming iterative monads

retract

fold

foldM

IterT ~ FreeT Identity

class MonadFree f m

Examples