<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;"><div class="top">From: Control.Monad.Reader<p class="src"><span class="keyword"><br></span></p><p class="src"><span class="keyword">type</span> <a name="t:Reader" class="def">Reader</a> r = <a href="http://hackage.haskell.org/packages/archive/mtl/latest/doc/html/Control-Monad-Reader.html#t:ReaderT">ReaderT</a> r <a href="http://hackage.haskell.org/packages/archive/transformers/0.2.2.0/doc/html/Data-Functor-Identity.html#t:Identity">Identity</a></p><div class="doc"><p>The parameterizable reader monad.
</p><p>Computations are functions of a shared environment.
</p><p>The <code><a href="http://hackage.haskell.org/packages/archive/base/4.3.1.0/doc/html/Control-Monad.html#v:return">return</a></code> function ignores the environment, while <code>&gt;&gt;=</code> passes
 the inherited environment to both subcomputations <br></p><p><br></p><p>============</p><p><br></p><p>Is there an unparameterizable reader monad?</p><p><br></p><p>Michael<br></p></div></div></td></tr></table><br>