<!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>IOEnv</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();setSynopsis("mini_IOEnv.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">IOEnv</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:IOEnv">IOEnv</a> env a</li><li class="src short">module <a href="MonadUtils.html">MonadUtils</a></li><li class="src short"><a href="#v:failM">failM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</li><li class="src short"><a href="#v:failWithM">failWithM</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</li><li class="src short"><span class="keyword">data</span> <a href="#t:IOEnvFailure">IOEnvFailure</a> = <a href="#v:IOEnvFailure">IOEnvFailure</a></li><li class="src short"><a href="#v:getEnv">getEnv</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env env</li><li class="src short"><a href="#v:setEnv">setEnv</a> :: env' -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env' a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</li><li class="src short"><a href="#v:updEnv">updEnv</a> :: (env -> env') -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env' a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</li><li class="src short"><a href="#v:runIOEnv">runIOEnv</a> :: env -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> a</li><li class="src short"><a href="#v:unsafeInterleaveM">unsafeInterleaveM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</li><li class="src short"><a href="#v:tryM">tryM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env r -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="IOEnv.html#t:IOEnvFailure">IOEnvFailure</a> r)</li><li class="src short"><a href="#v:tryAllM">tryAllM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env r -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Control-Exception-Base.html#t:SomeException">SomeException</a> r)</li><li class="src short"><a href="#v:tryMostM">tryMostM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env r -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Control-Exception-Base.html#t:SomeException">SomeException</a> r)</li><li class="src short"><a href="#v:fixM">fixM</a> :: (a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a) -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</li><li class="src short"><span class="keyword">data</span> <a href="#t:IORef">IORef</a> a</li><li class="src short"><a href="#v:newMutVar">newMutVar</a> :: a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env (<a href="IOEnv.html#t:IORef">IORef</a> a)</li><li class="src short"><a href="#v:readMutVar">readMutVar</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</li><li class="src short"><a href="#v:writeMutVar">writeMutVar</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env ()</li><li class="src short"><a href="#v:updMutVar">updMutVar</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> (a -> a) -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env ()</li><li class="src short"><a href="#v:atomicUpdMutVar">atomicUpdMutVar</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> (a -> (a, b)) -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env b</li><li class="src short"><a href="#v:atomicUpdMutVar-39-">atomicUpdMutVar'</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> (a -> (a, b)) -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IOEnv" class="def">IOEnv</a> env a </p><div class="subs instances"><p id="control.i:IOEnv" class="caption collapser" onclick="toggleSection('i:IOEnv')">Instances</p><div id="section.i:IOEnv" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Control-Monad.html#t:Functor">Functor</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> => <a href="../base-4.5.1.0/Control-Monad.html#t:MonadPlus">MonadPlus</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> env)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="MonadUtils.html#t:Applicative">Applicative</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> m)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../template-haskell-2.7.0.0/Language-Haskell-TH-Syntax.html#t:Quasi">Quasi</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a>))</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="MonadUtils.html#t:MonadIO">MonadIO</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> env)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="UniqSupply.html#t:MonadUnique">MonadUnique</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> gbl lcl))</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="HscTypes.html#t:MonadThings">MonadThings</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a>))</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="HscTypes.html#t:MonadThings">MonadThings</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> DsGblEnv DsLclEnv))</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src">module <a href="MonadUtils.html">MonadUtils</a></p></div><div class="top"><p class="src"><a name="v:failM" class="def">failM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</p></div><div class="top"><p class="src"><a name="v:failWithM" class="def">failWithM</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IOEnvFailure" class="def">IOEnvFailure</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IOEnvFailure" class="def">IOEnvFailure</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IOEnvFailure" class="caption collapser" onclick="toggleSection('i:IOEnvFailure')">Instances</p><div id="section.i:IOEnvFailure" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="IOEnv.html#t:IOEnvFailure">IOEnvFailure</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="IOEnv.html#t:IOEnvFailure">IOEnvFailure</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Panic.html#t:Exception">Exception</a> <a href="IOEnv.html#t:IOEnvFailure">IOEnvFailure</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:getEnv" class="def">getEnv</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env env</p></div><div class="top"><p class="src"><a name="v:setEnv" class="def">setEnv</a> :: env' -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env' a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</p><div class="doc"><p>Perform a computation with a different environment
</p></div></div><div class="top"><p class="src"><a name="v:updEnv" class="def">updEnv</a> :: (env -> env') -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env' a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</p><div class="doc"><p>Perform a computation with an altered environment
</p></div></div><div class="top"><p class="src"><a name="v:runIOEnv" class="def">runIOEnv</a> :: env -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> a</p></div><div class="top"><p class="src"><a name="v:unsafeInterleaveM" class="def">unsafeInterleaveM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</p></div><div class="top"><p class="src"><a name="v:tryM" class="def">tryM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env r -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="IOEnv.html#t:IOEnvFailure">IOEnvFailure</a> r)</p></div><div class="top"><p class="src"><a name="v:tryAllM" class="def">tryAllM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env r -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Control-Exception-Base.html#t:SomeException">SomeException</a> r)</p></div><div class="top"><p class="src"><a name="v:tryMostM" class="def">tryMostM</a> :: <a href="IOEnv.html#t:IOEnv">IOEnv</a> env r -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="../base-4.5.1.0/Control-Exception-Base.html#t:SomeException">SomeException</a> r)</p></div><div class="top"><p class="src"><a name="v:fixM" class="def">fixM</a> :: (a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a) -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IORef" class="def">IORef</a> a <a href="../base-4.5.1.0/src/GHC-IORef.html#IORef" class="link">Source</a></p><div class="doc"><p>A mutable variable in the <code><a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a></code> monad
</p></div><div class="subs instances"><p id="control.i:IORef" class="caption collapser" onclick="toggleSection('i:IORef')">Instances</p><div id="section.i:IORef" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="IOEnv.html#t:IORef">IORef</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="IOEnv.html#t:IORef">IORef</a> a)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:newMutVar" class="def">newMutVar</a> :: a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env (<a href="IOEnv.html#t:IORef">IORef</a> a)</p></div><div class="top"><p class="src"><a name="v:readMutVar" class="def">readMutVar</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env a</p></div><div class="top"><p class="src"><a name="v:writeMutVar" class="def">writeMutVar</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> a -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env ()</p></div><div class="top"><p class="src"><a name="v:updMutVar" class="def">updMutVar</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> (a -> a) -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env ()</p></div><div class="top"><p class="src"><a name="v:atomicUpdMutVar" class="def">atomicUpdMutVar</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> (a -> (a, b)) -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env b</p><div class="doc"><p>Atomically update the reference. Does not force the evaluation of the
new variable contents. For strict update, use <code><a href="IOEnv.html#v:atomicUpdMutVar-39-">atomicUpdMutVar'</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:atomicUpdMutVar-39-" class="def">atomicUpdMutVar'</a> :: <a href="IOEnv.html#t:IORef">IORef</a> a -> (a -> (a, b)) -> <a href="IOEnv.html#t:IOEnv">IOEnv</a> env b</p><div class="doc"><p>Strict variant of <code><a href="IOEnv.html#v:atomicUpdMutVar">atomicUpdMutVar</a></code>.
</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
2909
