 Identity monad (source code)

by Codex (@codex,  0)

= Identity monad
{title2=$\operatorname{Id}\ A=A$}

The <computational monad> whose result is the <identity function> and whose sequencing is ordinary application. It adds no effects and provides a starting point for a stack of <monad transformers>.

 Back to article page