Sophie

Sophie

distrib > Mageia > 5 > i586 > media > core-release > by-pkgid > 6e204a966e8c42d976f99a1700ce5f20 > files > 3057

ghc-7.4.2-4.mga5.i586.rpm

<!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>SimplEnv</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_SimplEnv.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">SimplEnv</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InId" class="def">InId</a> = <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InBind" class="def">InBind</a> = <a href="CoreSyn.html#t:CoreBind">CoreBind</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InExpr" class="def">InExpr</a> = <a href="CoreSyn.html#t:CoreExpr">CoreExpr</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InAlt" class="def">InAlt</a> = <a href="CoreSyn.html#t:CoreAlt">CoreAlt</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InArg" class="def">InArg</a> = <a href="CoreSyn.html#t:CoreArg">CoreArg</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InType" class="def">InType</a> = <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InBndr" class="def">InBndr</a> = <a href="CoreSyn.html#t:CoreBndr">CoreBndr</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InVar" class="def">InVar</a> = <a href="Var.html#t:Var">Var</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutId" class="def">OutId</a> = <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutTyVar" class="def">OutTyVar</a> = <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutBind" class="def">OutBind</a> = <a href="CoreSyn.html#t:CoreBind">CoreBind</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutExpr" class="def">OutExpr</a> = <a href="CoreSyn.html#t:CoreExpr">CoreExpr</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutAlt" class="def">OutAlt</a> = <a href="CoreSyn.html#t:CoreAlt">CoreAlt</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutArg" class="def">OutArg</a> = <a href="CoreSyn.html#t:CoreArg">CoreArg</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutType" class="def">OutType</a> = <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutBndr" class="def">OutBndr</a> = <a href="CoreSyn.html#t:CoreBndr">CoreBndr</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutVar" class="def">OutVar</a> = <a href="Var.html#t:Var">Var</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:InCoercion" class="def">InCoercion</a> = <a href="Coercion.html#t:Coercion">Coercion</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:OutCoercion" class="def">OutCoercion</a> = <a href="Coercion.html#t:Coercion">Coercion</a></p></div><div class="top"><p class="src"><a name="v:setMode" class="def">setMode</a> :: <a href="CoreMonad.html#t:SimplifierMode">SimplifierMode</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:getMode" class="def">getMode</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="CoreMonad.html#t:SimplifierMode">SimplifierMode</a></p></div><div class="top"><p class="src"><a name="v:updMode" class="def">updMode</a> :: (<a href="CoreMonad.html#t:SimplifierMode">SimplifierMode</a> -&gt; <a href="CoreMonad.html#t:SimplifierMode">SimplifierMode</a>) -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><span class="keyword">data</span>  <a name="t:SimplEnv" class="def">SimplEnv</a>  </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:SimplEnv" class="def">SimplEnv</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:seMode" class="def">seMode</a> :: <a href="CoreMonad.html#t:SimplifierMode">SimplifierMode</a></dt><dd class="doc empty">&nbsp;</dd><dt class="src"><a name="v:seTvSubst" class="def">seTvSubst</a> :: <a href="Type.html#t:TvSubstEnv">TvSubstEnv</a></dt><dd class="doc empty">&nbsp;</dd><dt class="src"><a name="v:seCvSubst" class="def">seCvSubst</a> :: <a href="Coercion.html#t:CvSubstEnv">CvSubstEnv</a></dt><dd class="doc empty">&nbsp;</dd><dt class="src"><a name="v:seIdSubst" class="def">seIdSubst</a> :: SimplIdSubst</dt><dd class="doc empty">&nbsp;</dd><dt class="src"><a name="v:seInScope" class="def">seInScope</a> :: <a href="VarEnv.html#t:InScopeSet">InScopeSet</a></dt><dd class="doc empty">&nbsp;</dd><dt class="src"><a name="v:seFloats" class="def">seFloats</a> :: <a href="SimplEnv.html#t:Floats">Floats</a></dt><dd class="doc empty">&nbsp;</dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:StaticEnv" class="def">StaticEnv</a> = <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:pprSimplEnv" class="def">pprSimplEnv</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:mkSimplEnv" class="def">mkSimplEnv</a> :: <a href="CoreMonad.html#t:SimplifierMode">SimplifierMode</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:extendIdSubst" class="def">extendIdSubst</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Var.html#t:Id">Id</a> -&gt; <a href="SimplEnv.html#t:SimplSR">SimplSR</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:extendTvSubst" class="def">extendTvSubst</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Var.html#t:TyVar">TyVar</a> -&gt; <a href="Type.html#t:Type">Type</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:extendCvSubst" class="def">extendCvSubst</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Var.html#t:CoVar">CoVar</a> -&gt; <a href="Coercion.html#t:Coercion">Coercion</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:zapSubstEnv" class="def">zapSubstEnv</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:setSubstEnv" class="def">setSubstEnv</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Type.html#t:TvSubstEnv">TvSubstEnv</a> -&gt; <a href="Coercion.html#t:CvSubstEnv">CvSubstEnv</a> -&gt; SimplIdSubst -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:getInScope" class="def">getInScope</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="VarEnv.html#t:InScopeSet">InScopeSet</a></p></div><div class="top"><p class="src"><a name="v:setInScope" class="def">setInScope</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:setInScopeSet" class="def">setInScopeSet</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="VarEnv.html#t:InScopeSet">InScopeSet</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:modifyInScope" class="def">modifyInScope</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="CoreSyn.html#t:CoreBndr">CoreBndr</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:addNewInScopeIds" class="def">addNewInScopeIds</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; [<a href="CoreSyn.html#t:CoreBndr">CoreBndr</a>] -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:getSimplRules" class="def">getSimplRules</a> :: <a href="SimplMonad.html#t:SimplM">SimplM</a> <a href="Rules.html#t:RuleBase">RuleBase</a></p></div><div class="top"><p class="src"><span class="keyword">data</span>  <a name="t:SimplSR" class="def">SimplSR</a>  </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:DoneEx" class="def">DoneEx</a> <a href="SimplEnv.html#t:OutExpr">OutExpr</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a name="v:DoneId" class="def">DoneId</a> <a href="SimplEnv.html#t:OutId">OutId</a></td><td class="doc empty">&nbsp;</td></tr><tr><td class="src"><a name="v:ContEx" class="def">ContEx</a> <a href="Type.html#t:TvSubstEnv">TvSubstEnv</a> <a href="Coercion.html#t:CvSubstEnv">CvSubstEnv</a> SimplIdSubst <a href="SimplEnv.html#t:InExpr">InExpr</a></td><td class="doc empty">&nbsp;</td></tr></table></div><div class="subs instances"><p id="control.i:SimplSR" class="caption collapser" onclick="toggleSection('i:SimplSR')">Instances</p><div id="section.i:SimplSR" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="SimplEnv.html#t:SimplSR">SimplSR</a></td><td class="doc empty">&nbsp;</td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:mkContEx" class="def">mkContEx</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:InExpr">InExpr</a> -&gt; <a href="SimplEnv.html#t:SimplSR">SimplSR</a></p></div><div class="top"><p class="src"><a name="v:substId" class="def">substId</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:InId">InId</a> -&gt; <a href="SimplEnv.html#t:SimplSR">SimplSR</a></p></div><div class="top"><p class="src"><a name="v:lookupRecBndr" class="def">lookupRecBndr</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:InId">InId</a> -&gt; <a href="SimplEnv.html#t:OutId">OutId</a></p></div><div class="top"><p class="src"><a name="v:simplNonRecBndr" class="def">simplNonRecBndr</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:InBndr">InBndr</a> -&gt; <a href="SimplMonad.html#t:SimplM">SimplM</a> (<a href="SimplEnv.html#t:SimplEnv">SimplEnv</a>, <a href="SimplEnv.html#t:OutBndr">OutBndr</a>)</p></div><div class="top"><p class="src"><a name="v:simplRecBndrs" class="def">simplRecBndrs</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; [<a href="SimplEnv.html#t:InBndr">InBndr</a>] -&gt; <a href="SimplMonad.html#t:SimplM">SimplM</a> <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:simplLamBndr" class="def">simplLamBndr</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Var.html#t:Var">Var</a> -&gt; <a href="SimplMonad.html#t:SimplM">SimplM</a> (<a href="SimplEnv.html#t:SimplEnv">SimplEnv</a>, <a href="Var.html#t:Var">Var</a>)</p></div><div class="top"><p class="src"><a name="v:simplLamBndrs" class="def">simplLamBndrs</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; [<a href="SimplEnv.html#t:InBndr">InBndr</a>] -&gt; <a href="SimplMonad.html#t:SimplM">SimplM</a> (<a href="SimplEnv.html#t:SimplEnv">SimplEnv</a>, [<a href="SimplEnv.html#t:OutBndr">OutBndr</a>])</p></div><div class="top"><p class="src"><a name="v:simplBinder" class="def">simplBinder</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:InBndr">InBndr</a> -&gt; <a href="SimplMonad.html#t:SimplM">SimplM</a> (<a href="SimplEnv.html#t:SimplEnv">SimplEnv</a>, <a href="SimplEnv.html#t:OutBndr">OutBndr</a>)</p></div><div class="top"><p class="src"><a name="v:simplBinders" class="def">simplBinders</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; [<a href="SimplEnv.html#t:InBndr">InBndr</a>] -&gt; <a href="SimplMonad.html#t:SimplM">SimplM</a> (<a href="SimplEnv.html#t:SimplEnv">SimplEnv</a>, [<a href="SimplEnv.html#t:OutBndr">OutBndr</a>])</p></div><div class="top"><p class="src"><a name="v:addBndrRules" class="def">addBndrRules</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:InBndr">InBndr</a> -&gt; <a href="SimplEnv.html#t:OutBndr">OutBndr</a> -&gt; (<a href="SimplEnv.html#t:SimplEnv">SimplEnv</a>, <a href="SimplEnv.html#t:OutBndr">OutBndr</a>)</p></div><div class="top"><p class="src"><a name="v:substExpr" class="def">substExpr</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="CoreSyn.html#t:CoreExpr">CoreExpr</a> -&gt; <a href="CoreSyn.html#t:CoreExpr">CoreExpr</a></p></div><div class="top"><p class="src"><a name="v:substTy" class="def">substTy</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Type.html#t:Type">Type</a> -&gt; <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:substTyVar" class="def">substTyVar</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Var.html#t:TyVar">TyVar</a> -&gt; <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:getTvSubst" class="def">getTvSubst</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Type.html#t:TvSubst">TvSubst</a></p></div><div class="top"><p class="src"><a name="v:getCvSubst" class="def">getCvSubst</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Coercion.html#t:CvSubst">CvSubst</a></p></div><div class="top"><p class="src"><a name="v:substCo" class="def">substCo</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Coercion.html#t:Coercion">Coercion</a> -&gt; <a href="Coercion.html#t:Coercion">Coercion</a></p></div><div class="top"><p class="src"><a name="v:substCoVar" class="def">substCoVar</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="Var.html#t:CoVar">CoVar</a> -&gt; <a href="Coercion.html#t:Coercion">Coercion</a></p></div><div class="top"><p class="src"><a name="v:mkCoreSubst" class="def">mkCoreSubst</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="CoreSubst.html#t:Subst">Subst</a></p></div><div class="top"><p class="src"><span class="keyword">data</span>  <a name="t:Floats" class="def">Floats</a>  </p><div class="subs instances"><p id="control.i:Floats" class="caption collapser" onclick="toggleSection('i:Floats')">Instances</p><div id="section.i:Floats" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="SimplEnv.html#t:Floats">Floats</a></td><td class="doc empty">&nbsp;</td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:emptyFloats" class="def">emptyFloats</a> :: <a href="SimplEnv.html#t:Floats">Floats</a></p></div><div class="top"><p class="src"><a name="v:isEmptyFloats" class="def">isEmptyFloats</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:addNonRec" class="def">addNonRec</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:OutId">OutId</a> -&gt; <a href="SimplEnv.html#t:OutExpr">OutExpr</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:addFloats" class="def">addFloats</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:extendFloats" class="def">extendFloats</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:OutBind">OutBind</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:wrapFloats" class="def">wrapFloats</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:OutExpr">OutExpr</a> -&gt; <a href="SimplEnv.html#t:OutExpr">OutExpr</a></p></div><div class="top"><p class="src"><a name="v:floatBinds" class="def">floatBinds</a> :: <a href="SimplEnv.html#t:Floats">Floats</a> -&gt; [<a href="SimplEnv.html#t:OutBind">OutBind</a>]</p></div><div class="top"><p class="src"><a name="v:setFloats" class="def">setFloats</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:zapFloats" class="def">zapFloats</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:addRecFloats" class="def">addRecFloats</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></div><div class="top"><p class="src"><a name="v:doFloatFromRhs" class="def">doFloatFromRhs</a> :: <a href="BasicTypes.html#t:TopLevelFlag">TopLevelFlag</a> -&gt; <a href="BasicTypes.html#t:RecFlag">RecFlag</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -&gt; <a href="SimplEnv.html#t:OutExpr">OutExpr</a> -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:getFloatBinds" class="def">getFloatBinds</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; [<a href="CoreSyn.html#t:CoreBind">CoreBind</a>]</p></div><div class="top"><p class="src"><a name="v:getFloats" class="def">getFloats</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; <a href="SimplEnv.html#t:Floats">Floats</a></p></div><div class="top"><p class="src"><a name="v:mapFloats" class="def">mapFloats</a> :: <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a> -&gt; ((<a href="Var.html#t:Id">Id</a>, <a href="CoreSyn.html#t:CoreExpr">CoreExpr</a>) -&gt; (<a href="Var.html#t:Id">Id</a>, <a href="CoreSyn.html#t:CoreExpr">CoreExpr</a>)) -&gt; <a href="SimplEnv.html#t:SimplEnv">SimplEnv</a></p></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>