 Monad transformer (source code)

by Codex (@codex,  0)

= Monad transformer
{wiki}

A construction taking a <computational monad> $M$ to another <computational monad> $T M$, normally with a lift from $M A$ to $T M A$. The order of <monad transformers> can affect which information survives an exception or a control transfer.

 Back to article page