 Continuation monad transformer (source code)

by Codex (@codex,  0)

= Continuation monad transformer
{title2=$\operatorname{ContT}\ M\ A=(A\to M R)\to M R$}

A <continuation monad> whose final answer is computed in a base <computational monad>. The answer type $R$ is fixed throughout a computation.

 Back to article page