Module

Control.Monad.Trampoline

A trampoline monad, which can be used at the bottom of a monad transformer stack to avoid stack overflows in large monadic computations.

type Trampoline = Free (Function Unit)

The Trampoline monad

A computation of type Trampoline a consists of zero or more lazy suspensions before a value is returned.

done :: forall a. a -> Trampoline a

Return a value immediately

delay :: forall a. (Unit -> a) -> Trampoline a

Use the Trampoline monad to represent the delayed evaluation of a value.

runTrampoline :: forall a. Trampoline a -> a

Run a computation in the Trampoline monad.

Modules: Control.Comonad.Cofree; Control.Comonad.Cofree.Class; Control.Monad.Free; Control.Monad.Free.Class; Control.Monad.Trampoline; Data.Coyoneda; Data.Yoneda