<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >SimplEnv</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ><SCRIPT TYPE="text/javascript" >window.onload = function () {setSynopsis("mini_SimplEnv.html")};</SCRIPT ></HEAD ><BODY ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="topbar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" " ></TD ><TD CLASS="title" >ghc-6.12.3: The GHC API</TD ><TD CLASS="topbut" ><A HREF="index.html" >Contents</A ></TD ><TD CLASS="topbut" ><A HREF="doc-index.html" >Index</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="modulebar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><FONT SIZE="6" >SimplEnv</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Documentation</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:InId" ><A NAME="t%3AInId" ></A ></A ><B >InId</B > = <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:InBind" ><A NAME="t%3AInBind" ></A ></A ><B >InBind</B > = <A HREF="CoreSyn.html#t%3ACoreBind" >CoreBind</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:InExpr" ><A NAME="t%3AInExpr" ></A ></A ><B >InExpr</B > = <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:InAlt" ><A NAME="t%3AInAlt" ></A ></A ><B >InAlt</B > = <A HREF="CoreSyn.html#t%3ACoreAlt" >CoreAlt</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:InArg" ><A NAME="t%3AInArg" ></A ></A ><B >InArg</B > = <A HREF="CoreSyn.html#t%3ACoreArg" >CoreArg</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:InType" ><A NAME="t%3AInType" ></A ></A ><B >InType</B > = <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:InBndr" ><A NAME="t%3AInBndr" ></A ></A ><B >InBndr</B > = <A HREF="CoreSyn.html#t%3ACoreBndr" >CoreBndr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:OutId" ><A NAME="t%3AOutId" ></A ></A ><B >OutId</B > = <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:OutTyVar" ><A NAME="t%3AOutTyVar" ></A ></A ><B >OutTyVar</B > = <A HREF="Var.html#t%3ATyVar" >TyVar</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:OutBind" ><A NAME="t%3AOutBind" ></A ></A ><B >OutBind</B > = <A HREF="CoreSyn.html#t%3ACoreBind" >CoreBind</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:OutExpr" ><A NAME="t%3AOutExpr" ></A ></A ><B >OutExpr</B > = <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:OutAlt" ><A NAME="t%3AOutAlt" ></A ></A ><B >OutAlt</B > = <A HREF="CoreSyn.html#t%3ACoreAlt" >CoreAlt</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:OutArg" ><A NAME="t%3AOutArg" ></A ></A ><B >OutArg</B > = <A HREF="CoreSyn.html#t%3ACoreArg" >CoreArg</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:OutType" ><A NAME="t%3AOutType" ></A ></A ><B >OutType</B > = <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:OutBndr" ><A NAME="t%3AOutBndr" ></A ></A ><B >OutBndr</B > = <A HREF="CoreSyn.html#t%3ACoreBndr" >CoreBndr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:InCoercion" ><A NAME="t%3AInCoercion" ></A ></A ><B >InCoercion</B > = <A HREF="Coercion.html#t%3ACoercion" >Coercion</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:OutCoercion" ><A NAME="t%3AOutCoercion" ></A ></A ><B >OutCoercion</B > = <A HREF="Coercion.html#t%3ACoercion" >Coercion</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:setMode" ><A NAME="v%3AsetMode" ></A ></A ><B >setMode</B > :: <A HREF="DynFlags.html#t%3ASimplifierMode" >SimplifierMode</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:getMode" ><A NAME="v%3AgetMode" ></A ></A ><B >getMode</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="DynFlags.html#t%3ASimplifierMode" >SimplifierMode</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:SwitchChecker" ><A NAME="t%3ASwitchChecker" ></A ></A ><B >SwitchChecker</B > = <A HREF="DynFlags.html#t%3ASimplifierSwitch" >SimplifierSwitch</A > -> <A HREF="SimplEnv.html#t%3ASwitchResult" >SwitchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:SwitchResult" ><A NAME="t%3ASwitchResult" ></A ></A ><B >SwitchResult</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:SwBool" ><A NAME="v%3ASwBool" ></A ></A ><B >SwBool</B > <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:SwString" ><A NAME="v%3ASwString" ></A ></A ><B >SwString</B > <A HREF="FastString.html#t%3AFastString" >FastString</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:SwInt" ><A NAME="v%3ASwInt" ></A ></A ><B >SwInt</B > <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:getSwitchChecker" ><A NAME="v%3AgetSwitchChecker" ></A ></A ><B >getSwitchChecker</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASwitchChecker" >SwitchChecker</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:getSimplIntSwitch" ><A NAME="v%3AgetSimplIntSwitch" ></A ></A ><B >getSimplIntSwitch</B > :: <A HREF="SimplEnv.html#t%3ASwitchChecker" >SwitchChecker</A > -> (<A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="DynFlags.html#t%3ASimplifierSwitch" >SimplifierSwitch</A >) -> <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:isAmongSimpl" ><A NAME="v%3AisAmongSimpl" ></A ></A ><B >isAmongSimpl</B > :: [<A HREF="DynFlags.html#t%3ASimplifierSwitch" >SimplifierSwitch</A >] -> <A HREF="DynFlags.html#t%3ASimplifierSwitch" >SimplifierSwitch</A > -> <A HREF="SimplEnv.html#t%3ASwitchResult" >SwitchResult</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:intSwitchSet" ><A NAME="v%3AintSwitchSet" ></A ></A ><B >intSwitchSet</B > :: (switch -> <A HREF="SimplEnv.html#t%3ASwitchResult" >SwitchResult</A >) -> (<A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> switch) -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:switchIsOn" ><A NAME="v%3AswitchIsOn" ></A ></A ><B >switchIsOn</B > :: (switch -> <A HREF="SimplEnv.html#t%3ASwitchResult" >SwitchResult</A >) -> switch -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:setEnclosingCC" ><A NAME="v%3AsetEnclosingCC" ></A ></A ><B >setEnclosingCC</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="CostCentre.html#t%3ACostCentreStack" >CostCentreStack</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:getEnclosingCC" ><A NAME="v%3AgetEnclosingCC" ></A ></A ><B >getEnclosingCC</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="CostCentre.html#t%3ACostCentreStack" >CostCentreStack</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:SimplEnv" ><A NAME="t%3ASimplEnv" ></A ></A ><B >SimplEnv</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:SimplEnv" ><A NAME="v%3ASimplEnv" ></A ></A ><B >SimplEnv</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="body" COLSPAN="2" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:seMode" ><A NAME="v%3AseMode" ></A ></A ><B >seMode</B > :: <A HREF="DynFlags.html#t%3ASimplifierMode" >SimplifierMode</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:seChkr" ><A NAME="v%3AseChkr" ></A ></A ><B >seChkr</B > :: <A HREF="SimplEnv.html#t%3ASwitchChecker" >SwitchChecker</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:seCC" ><A NAME="v%3AseCC" ></A ></A ><B >seCC</B > :: <A HREF="CostCentre.html#t%3ACostCentreStack" >CostCentreStack</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:seInScope" ><A NAME="v%3AseInScope" ></A ></A ><B >seInScope</B > :: <A HREF="VarEnv.html#t%3AInScopeSet" >InScopeSet</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:seFloats" ><A NAME="v%3AseFloats" ></A ></A ><B >seFloats</B > :: <A HREF="SimplEnv.html#t%3AFloats" >Floats</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:seTvSubst" ><A NAME="v%3AseTvSubst" ></A ></A ><B >seTvSubst</B > :: <A HREF="Type.html#t%3ATvSubstEnv" >TvSubstEnv</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:seIdSubst" ><A NAME="v%3AseIdSubst" ></A ></A ><B >seIdSubst</B > :: SimplIdSubst</TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pprSimplEnv" ><A NAME="v%3ApprSimplEnv" ></A ></A ><B >pprSimplEnv</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkSimplEnv" ><A NAME="v%3AmkSimplEnv" ></A ></A ><B >mkSimplEnv</B > :: <A HREF="DynFlags.html#t%3ASimplifierMode" >SimplifierMode</A > -> <A HREF="SimplEnv.html#t%3ASwitchChecker" >SwitchChecker</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendIdSubst" ><A NAME="v%3AextendIdSubst" ></A ></A ><B >extendIdSubst</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="SimplEnv.html#t%3ASimplSR" >SimplSR</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendTvSubst" ><A NAME="v%3AextendTvSubst" ></A ></A ><B >extendTvSubst</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="Var.html#t%3ATyVar" >TyVar</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:zapSubstEnv" ><A NAME="v%3AzapSubstEnv" ></A ></A ><B >zapSubstEnv</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:setSubstEnv" ><A NAME="v%3AsetSubstEnv" ></A ></A ><B >setSubstEnv</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="Type.html#t%3ATvSubstEnv" >TvSubstEnv</A > -> SimplIdSubst -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:getInScope" ><A NAME="v%3AgetInScope" ></A ></A ><B >getInScope</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="VarEnv.html#t%3AInScopeSet" >InScopeSet</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:setInScope" ><A NAME="v%3AsetInScope" ></A ></A ><B >setInScope</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:setInScopeSet" ><A NAME="v%3AsetInScopeSet" ></A ></A ><B >setInScopeSet</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="VarEnv.html#t%3AInScopeSet" >InScopeSet</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:modifyInScope" ><A NAME="v%3AmodifyInScope" ></A ></A ><B >modifyInScope</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="CoreSyn.html#t%3ACoreBndr" >CoreBndr</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:addNewInScopeIds" ><A NAME="v%3AaddNewInScopeIds" ></A ></A ><B >addNewInScopeIds</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> [<A HREF="CoreSyn.html#t%3ACoreBndr" >CoreBndr</A >] -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:getSimplRules" ><A NAME="v%3AgetSimplRules" ></A ></A ><B >getSimplRules</B > :: <A HREF="SimplMonad.html#t%3ASimplM" >SimplM</A > <A HREF="Rules.html#t%3ARuleBase" >RuleBase</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:SimplSR" ><A NAME="t%3ASimplSR" ></A ></A ><B >SimplSR</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:DoneEx" ><A NAME="v%3ADoneEx" ></A ></A ><B >DoneEx</B > <A HREF="SimplEnv.html#t%3AOutExpr" >OutExpr</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:DoneId" ><A NAME="v%3ADoneId" ></A ></A ><B >DoneId</B > <A HREF="SimplEnv.html#t%3AOutId" >OutId</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ContEx" ><A NAME="v%3AContEx" ></A ></A ><B >ContEx</B > <A HREF="Type.html#t%3ATvSubstEnv" >TvSubstEnv</A > SimplIdSubst <A HREF="SimplEnv.html#t%3AInExpr" >InExpr</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:SimplSR')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:SimplSR" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="SimplEnv.html#t%3ASimplSR" >SimplSR</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkContEx" ><A NAME="v%3AmkContEx" ></A ></A ><B >mkContEx</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3AInExpr" >InExpr</A > -> <A HREF="SimplEnv.html#t%3ASimplSR" >SimplSR</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:substId" ><A NAME="v%3AsubstId" ></A ></A ><B >substId</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3AInId" >InId</A > -> <A HREF="SimplEnv.html#t%3ASimplSR" >SimplSR</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:lookupRecBndr" ><A NAME="v%3AlookupRecBndr" ></A ></A ><B >lookupRecBndr</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3AInId" >InId</A > -> <A HREF="SimplEnv.html#t%3AOutId" >OutId</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:simplNonRecBndr" ><A NAME="v%3AsimplNonRecBndr" ></A ></A ><B >simplNonRecBndr</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3AInBndr" >InBndr</A > -> <A HREF="SimplMonad.html#t%3ASimplM" >SimplM</A > (<A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A >, <A HREF="SimplEnv.html#t%3AOutBndr" >OutBndr</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:simplRecBndrs" ><A NAME="v%3AsimplRecBndrs" ></A ></A ><B >simplRecBndrs</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> [<A HREF="SimplEnv.html#t%3AInBndr" >InBndr</A >] -> <A HREF="SimplMonad.html#t%3ASimplM" >SimplM</A > <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:simplLamBndr" ><A NAME="v%3AsimplLamBndr" ></A ></A ><B >simplLamBndr</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="Var.html#t%3AVar" >Var</A > -> <A HREF="SimplMonad.html#t%3ASimplM" >SimplM</A > (<A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A >, <A HREF="Var.html#t%3AVar" >Var</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:simplLamBndrs" ><A NAME="v%3AsimplLamBndrs" ></A ></A ><B >simplLamBndrs</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> [<A HREF="SimplEnv.html#t%3AInBndr" >InBndr</A >] -> <A HREF="SimplMonad.html#t%3ASimplM" >SimplM</A > (<A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A >, [<A HREF="SimplEnv.html#t%3AOutBndr" >OutBndr</A >])</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:simplBinder" ><A NAME="v%3AsimplBinder" ></A ></A ><B >simplBinder</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3AInBndr" >InBndr</A > -> <A HREF="SimplMonad.html#t%3ASimplM" >SimplM</A > (<A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A >, <A HREF="SimplEnv.html#t%3AOutBndr" >OutBndr</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:simplBinders" ><A NAME="v%3AsimplBinders" ></A ></A ><B >simplBinders</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> [<A HREF="SimplEnv.html#t%3AInBndr" >InBndr</A >] -> <A HREF="SimplMonad.html#t%3ASimplM" >SimplM</A > (<A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A >, [<A HREF="SimplEnv.html#t%3AOutBndr" >OutBndr</A >])</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:addBndrRules" ><A NAME="v%3AaddBndrRules" ></A ></A ><B >addBndrRules</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3AInBndr" >InBndr</A > -> <A HREF="SimplEnv.html#t%3AOutBndr" >OutBndr</A > -> (<A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A >, <A HREF="SimplEnv.html#t%3AOutBndr" >OutBndr</A >)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:substExpr" ><A NAME="v%3AsubstExpr" ></A ></A ><B >substExpr</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:substWorker" ><A NAME="v%3AsubstWorker" ></A ></A ><B >substWorker</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="IdInfo.html#t%3AWorkerInfo" >WorkerInfo</A > -> <A HREF="IdInfo.html#t%3AWorkerInfo" >WorkerInfo</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:substTy" ><A NAME="v%3AsubstTy" ></A ></A ><B >substTy</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:Floats" ><A NAME="t%3AFloats" ></A ></A ><B >Floats</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Floats')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:Floats" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="SimplEnv.html#t%3AFloats" >Floats</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:emptyFloats" ><A NAME="v%3AemptyFloats" ></A ></A ><B >emptyFloats</B > :: <A HREF="SimplEnv.html#t%3AFloats" >Floats</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:isEmptyFloats" ><A NAME="v%3AisEmptyFloats" ></A ></A ><B >isEmptyFloats</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:addNonRec" ><A NAME="v%3AaddNonRec" ></A ></A ><B >addNonRec</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3AOutId" >OutId</A > -> <A HREF="SimplEnv.html#t%3AOutExpr" >OutExpr</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:addFloats" ><A NAME="v%3AaddFloats" ></A ></A ><B >addFloats</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:extendFloats" ><A NAME="v%3AextendFloats" ></A ></A ><B >extendFloats</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3AOutBind" >OutBind</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:wrapFloats" ><A NAME="v%3AwrapFloats" ></A ></A ><B >wrapFloats</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3AOutExpr" >OutExpr</A > -> <A HREF="SimplEnv.html#t%3AOutExpr" >OutExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:floatBinds" ><A NAME="v%3AfloatBinds" ></A ></A ><B >floatBinds</B > :: <A HREF="SimplEnv.html#t%3AFloats" >Floats</A > -> [<A HREF="SimplEnv.html#t%3AOutBind" >OutBind</A >]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:setFloats" ><A NAME="v%3AsetFloats" ></A ></A ><B >setFloats</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:zapFloats" ><A NAME="v%3AzapFloats" ></A ></A ><B >zapFloats</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:addRecFloats" ><A NAME="v%3AaddRecFloats" ></A ></A ><B >addRecFloats</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:doFloatFromRhs" ><A NAME="v%3AdoFloatFromRhs" ></A ></A ><B >doFloatFromRhs</B > :: <A HREF="BasicTypes.html#t%3ATopLevelFlag" >TopLevelFlag</A > -> <A HREF="BasicTypes.html#t%3ARecFlag" >RecFlag</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > -> <A HREF="SimplEnv.html#t%3AOutExpr" >OutExpr</A > -> <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:getFloats" ><A NAME="v%3AgetFloats" ></A ></A ><B >getFloats</B > :: <A HREF="SimplEnv.html#t%3ASimplEnv" >SimplEnv</A > -> [<A HREF="CoreSyn.html#t%3ACoreBind" >CoreBind</A >]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="botbar" >Produced by <A HREF="http://www.haskell.org/haddock/" >Haddock</A > version 2.6.1</TD ></TR ></TABLE ></BODY ></HTML >