<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Agda.Utils.Monad</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Agda.Utils.Monad</p></div><div id="interface"><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:when_" target="main">when_</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:unless_" target="main">unless_</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:whenJust" target="main">whenJust</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:whenM" target="main">whenM</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:unlessM" target="main">unlessM</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:whenJustM" target="main">whenJustM</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:ifM" target="main">ifM</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:and2M" target="main">and2M</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:andM" target="main">andM</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:or2M" target="main">or2M</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:orM" target="main">orM</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:altM1" target="main">altM1</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:mapM-39-" target="main">mapM'</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:forM-39-" target="main">forM'</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Utils-Monad.html#t:Cont" target="main">Cont</a> r a</p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:thread" target="main">thread</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:zipWithM-39-" target="main">zipWithM'</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:mapMaybeM" target="main">mapMaybeM</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:finally" target="main">finally</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:bracket" target="main">bracket</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:bracket_" target="main">bracket_</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:localState" target="main">localState</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:readM" target="main">readM</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:-60--36--62-" target="main">(<$>)</a></p></div><div class="top"><p class="src"><a href="Agda-Utils-Monad.html#v:-60--42--62-" target="main">(<*>)</a></p></div></div></body></html>
