<!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 >TcEnv</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_TcEnv.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="src/TcEnv.html" >Source code</A ></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" >TcEnv</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Synopsis</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3ATyThing" >TyThing</A > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" >= <A HREF="#v%3AAnId" >AnId</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AADataCon" >ADataCon</A > <A HREF="DataCon.html#t%3ADataCon" >DataCon</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AATyCon" >ATyCon</A > <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AAClass" >AClass</A > <A HREF="Class.html#t%3AClass" >Class</A ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3ATcTyThing" >TcTyThing</A > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" >= <A HREF="#v%3AAGlobal" >AGlobal</A > <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AATcId" >ATcId</A > {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="recfield" ><A HREF="#v%3Atct_id" >tct_id</A > :: <A HREF="TcEnv.html#t%3ATcId" >TcId</A ></TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3Atct_co" >tct_co</A > :: <A HREF="TcRnTypes.html#t%3ARefinementVisibility" >RefinementVisibility</A ></TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3Atct_type" >tct_type</A > :: <A HREF="TcType.html#t%3ATcType" >TcType</A ></TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3Atct_level" >tct_level</A > :: <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A ></TD ></TR ></TABLE >}</TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AATyVar" >ATyVar</A > <A HREF="Name.html#t%3AName" >Name</A > <A HREF="TcType.html#t%3ATcType" >TcType</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AAThing" >AThing</A > <A HREF="TcType.html#t%3ATcKind" >TcKind</A ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="#t%3ATcId" >TcId</A > = <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3AInstInfo" >InstInfo</A > a = <A HREF="#v%3AInstInfo" >InstInfo</A > {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="recfield" ><A HREF="#v%3AiSpec" >iSpec</A > :: <A HREF="InstEnv.html#t%3AInstance" >Instance</A ></TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AiBinds" >iBinds</A > :: <A HREF="TcEnv.html#t%3AInstBindings" >InstBindings</A > a</TD ></TR ></TABLE >}</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AiDFunId" >iDFunId</A > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="InstEnv.html#t%3ADFunId" >DFunId</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApprInstInfo" >pprInstInfo</A > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApprInstInfoDetails" >pprInstInfoDetails</A > :: <A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > a => <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsimpleInstInfoClsTy" >simpleInstInfoClsTy</A > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> (<A HREF="Class.html#t%3AClass" >Class</A >, <A HREF="Type.html#t%3AType" >Type</A >)</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsimpleInstInfoTy" >simpleInstInfoTy</A > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsimpleInstInfoTyCon" >simpleInstInfoTyCon</A > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3AInstBindings" >InstBindings</A > a </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" >= <A HREF="#v%3AVanillaInst" >VanillaInst</A > (<A HREF="HsBinds.html#t%3ALHsBinds" >LHsBinds</A > a) [<A HREF="HsBinds.html#t%3ALSig" >LSig</A > a] <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3ANewTypeDerived" >NewTypeDerived</A > <A HREF="Coercion.html#t%3ACoercionI" >CoercionI</A > <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendGlobalEnv" >tcExtendGlobalEnv</A > :: [<A HREF="TcEnv.html#t%3ATyThing" >TyThing</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsetGlobalTypeEnv" >setGlobalTypeEnv</A > :: <A HREF="TcRnTypes.html#t%3ATcGblEnv" >TcGblEnv</A > -> <A HREF="HscTypes.html#t%3ATypeEnv" >TypeEnv</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcRnTypes.html#t%3ATcGblEnv" >TcGblEnv</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendGlobalValEnv" >tcExtendGlobalValEnv</A > :: [<A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupLocatedGlobal" >tcLookupLocatedGlobal</A > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupGlobal" >tcLookupGlobal</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupField" >tcLookupField</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupTyCon" >tcLookupTyCon</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupClass" >tcLookupClass</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Class.html#t%3AClass" >Class</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupDataCon" >tcLookupDataCon</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="DataCon.html#t%3ADataCon" >DataCon</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupLocatedGlobalId" >tcLookupLocatedGlobalId</A > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupLocatedTyCon" >tcLookupLocatedTyCon</A > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupLocatedClass" >tcLookupLocatedClass</A > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Class.html#t%3AClass" >Class</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupFamInst" >tcLookupFamInst</A > :: <A HREF="TyCon.html#t%3ATyCon" >TyCon</A > -> [<A HREF="Type.html#t%3AType" >Type</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="TyCon.html#t%3ATyCon" >TyCon</A >, [<A HREF="Type.html#t%3AType" >Type</A >]))</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendKindEnv" >tcExtendKindEnv</A > :: [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcType.html#t%3ATcKind" >TcKind</A >)] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendKindEnvTvs" >tcExtendKindEnvTvs</A > :: [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > <A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendTyVarEnv" >tcExtendTyVarEnv</A > :: [<A HREF="Var.html#t%3ATyVar" >TyVar</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendTyVarEnv2" >tcExtendTyVarEnv2</A > :: [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcType.html#t%3ATcType" >TcType</A >)] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendGhciEnv" >tcExtendGhciEnv</A > :: [<A HREF="TcEnv.html#t%3ATcId" >TcId</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendIdEnv" >tcExtendIdEnv</A > :: [<A HREF="TcEnv.html#t%3ATcId" >TcId</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendIdEnv1" >tcExtendIdEnv1</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcEnv.html#t%3ATcId" >TcId</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendIdEnv2" >tcExtendIdEnv2</A > :: [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcEnv.html#t%3ATcId" >TcId</A >)] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookup" >tcLookup</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATcTyThing" >TcTyThing</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupLocated" >tcLookupLocated</A > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATcTyThing" >TcTyThing</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupLocalIds" >tcLookupLocalIds</A > :: [<A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > [<A HREF="TcEnv.html#t%3ATcId" >TcId</A >]</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupId" >tcLookupId</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcLookupTyVar" >tcLookupTyVar</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcType.html#t%3ATcTyVar" >TcTyVar</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AgetScopedTyVarBinds" >getScopedTyVarBinds</A > :: <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcType.html#t%3ATcType" >TcType</A >)]</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AlclEnvElts" >lclEnvElts</A > :: <A HREF="TcRnTypes.html#t%3ATcLclEnv" >TcLclEnv</A > -> [<A HREF="TcEnv.html#t%3ATcTyThing" >TcTyThing</A >]</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AgetInLocalScope" >getInLocalScope</A > :: <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A >)</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AfindGlobals" >findGlobals</A > :: <A HREF="TcType.html#t%3ATcTyVarSet" >TcTyVarSet</A > -> <A HREF="VarEnv.html#t%3ATidyEnv" >TidyEnv</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="VarEnv.html#t%3ATidyEnv" >TidyEnv</A >, [<A HREF="Outputable.html#t%3ASDoc" >SDoc</A >])</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AwrongThingErr" >wrongThingErr</A > :: <A HREF="../base-4.2.0.2/Data-Char.html#t%3AString" >String</A > -> <A HREF="TcEnv.html#t%3ATcTyThing" >TcTyThing</A > -> <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ApprBinders" >pprBinders</A > :: [<A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendRecEnv" >tcExtendRecEnv</A > :: [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A >)] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcExtendRules" >tcExtendRules</A > :: [<A HREF="HsDecls.html#t%3ALRuleDecl" >LRuleDecl</A > <A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcGetGlobalTyVars" >tcGetGlobalTyVars</A > :: <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcType.html#t%3ATcTyVarSet" >TcTyVarSet</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AcheckWellStaged" >checkWellStaged</A > :: <A HREF="Outputable.html#t%3ASDoc" >SDoc</A > -> <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A > -> <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="../ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29" >()</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtcMetaTy" >tcMetaTy</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Type.html#t%3AType" >Type</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AthLevel" >thLevel</A > :: <A HREF="TcRnTypes.html#t%3AThStage" >ThStage</A > -> <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtopIdLvl" >topIdLvl</A > :: <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AthTopLevelId" >thTopLevelId</A > :: <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AthRnBrack" >thRnBrack</A > :: <A HREF="TcRnTypes.html#t%3AThStage" >ThStage</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AisBrackStage" >isBrackStage</A > :: <A HREF="TcRnTypes.html#t%3AThStage" >ThStage</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AnewLocalName" >newLocalName</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcRnIf" >TcRnIf</A > gbl lcl <A HREF="Name.html#t%3AName" >Name</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AnewDFunName" >newDFunName</A > :: <A HREF="Class.html#t%3AClass" >Class</A > -> [<A HREF="Type.html#t%3AType" >Type</A >] -> <A HREF="SrcLoc.html#t%3ASrcSpan" >SrcSpan</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Name.html#t%3AName" >Name</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AnewFamInstTyConName" >newFamInstTyConName</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> [<A HREF="Type.html#t%3AType" >Type</A >] -> <A HREF="SrcLoc.html#t%3ASrcSpan" >SrcSpan</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Name.html#t%3AName" >Name</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkStableIdFromString" >mkStableIdFromString</A > :: <A HREF="../base-4.2.0.2/Data-Char.html#t%3AString" >String</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="SrcLoc.html#t%3ASrcSpan" >SrcSpan</A > -> (<A HREF="OccName.html#t%3AOccName" >OccName</A > -> <A HREF="OccName.html#t%3AOccName" >OccName</A >) -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATcId" >TcId</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkStableIdFromName" >mkStableIdFromName</A > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="SrcLoc.html#t%3ASrcSpan" >SrcSpan</A > -> (<A HREF="OccName.html#t%3AOccName" >OccName</A > -> <A HREF="OccName.html#t%3AOccName" >OccName</A >) -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATcId" >TcId</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Documentation</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:TyThing" ><A NAME="t%3ATyThing" ></A ></A ><B >TyThing</B > </TD ><TD CLASS="declbut" ><A HREF="src/TypeRep.html#TyThing" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" >A typecheckable-thing, essentially anything that has a name </TD ></TR ><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:AnId" ><A NAME="v%3AAnId" ></A ></A ><B >AnId</B > <A HREF="Var.html#t%3AId" >Id</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ADataCon" ><A NAME="v%3AADataCon" ></A ></A ><B >ADataCon</B > <A HREF="DataCon.html#t%3ADataCon" >DataCon</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ATyCon" ><A NAME="v%3AATyCon" ></A ></A ><B >ATyCon</B > <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:AClass" ><A NAME="v%3AAClass" ></A ></A ><B >AClass</B > <A HREF="Class.html#t%3AClass" >Class</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:TyThing')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:TyThing" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Name.html#t%3ANamedThing" >NamedThing</A > <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:TcTyThing" ><A NAME="t%3ATcTyThing" ></A ></A ><B >TcTyThing</B > </TD ><TD CLASS="declbut" ><A HREF="src/TcRnTypes.html#TcTyThing" >Source</A ></TD ></TR ></TABLE ></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:AGlobal" ><A NAME="v%3AAGlobal" ></A ></A ><B >AGlobal</B > <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ATcId" ><A NAME="v%3AATcId" ></A ></A ><B >ATcId</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:tct_id" ><A NAME="v%3Atct_id" ></A ></A ><B >tct_id</B > :: <A HREF="TcEnv.html#t%3ATcId" >TcId</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:tct_co" ><A NAME="v%3Atct_co" ></A ></A ><B >tct_co</B > :: <A HREF="TcRnTypes.html#t%3ARefinementVisibility" >RefinementVisibility</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:tct_type" ><A NAME="v%3Atct_type" ></A ></A ><B >tct_type</B > :: <A HREF="TcType.html#t%3ATcType" >TcType</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:tct_level" ><A NAME="v%3Atct_level" ></A ></A ><B >tct_level</B > :: <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ATyVar" ><A NAME="v%3AATyVar" ></A ></A ><B >ATyVar</B > <A HREF="Name.html#t%3AName" >Name</A > <A HREF="TcType.html#t%3ATcType" >TcType</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:AThing" ><A NAME="v%3AAThing" ></A ></A ><B >AThing</B > <A HREF="TcType.html#t%3ATcKind" >TcKind</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:TcTyThing')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:TcTyThing" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="TcEnv.html#t%3ATcTyThing" >TcTyThing</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:TcId" ><A NAME="t%3ATcId" ></A ></A ><B >TcId</B > = <A HREF="Var.html#t%3AId" >Id</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcRnTypes.html#TcId" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:InstInfo" ><A NAME="t%3AInstInfo" ></A ></A ><B >InstInfo</B > a </TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#InstInfo" >Source</A ></TD ></TR ></TABLE ></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:InstInfo" ><A NAME="v%3AInstInfo" ></A ></A ><B >InstInfo</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:iSpec" ><A NAME="v%3AiSpec" ></A ></A ><B >iSpec</B > :: <A HREF="InstEnv.html#t%3AInstance" >Instance</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:iBinds" ><A NAME="v%3AiBinds" ></A ></A ><B >iBinds</B > :: <A HREF="TcEnv.html#t%3AInstBindings" >InstBindings</A > a</TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:iDFunId" ><A NAME="v%3AiDFunId" ></A ></A ><B >iDFunId</B > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="InstEnv.html#t%3ADFunId" >DFunId</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#iDFunId" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:pprInstInfo" ><A NAME="v%3ApprInstInfo" ></A ></A ><B >pprInstInfo</B > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#pprInstInfo" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:pprInstInfoDetails" ><A NAME="v%3ApprInstInfoDetails" ></A ></A ><B >pprInstInfoDetails</B > :: <A HREF="Outputable.html#t%3AOutputableBndr" >OutputableBndr</A > a => <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#pprInstInfoDetails" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:simpleInstInfoClsTy" ><A NAME="v%3AsimpleInstInfoClsTy" ></A ></A ><B >simpleInstInfoClsTy</B > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> (<A HREF="Class.html#t%3AClass" >Class</A >, <A HREF="Type.html#t%3AType" >Type</A >)</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#simpleInstInfoClsTy" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:simpleInstInfoTy" ><A NAME="v%3AsimpleInstInfoTy" ></A ></A ><B >simpleInstInfoTy</B > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="Type.html#t%3AType" >Type</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#simpleInstInfoTy" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:simpleInstInfoTyCon" ><A NAME="v%3AsimpleInstInfoTyCon" ></A ></A ><B >simpleInstInfoTyCon</B > :: <A HREF="TcEnv.html#t%3AInstInfo" >InstInfo</A > a -> <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#simpleInstInfoTyCon" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:InstBindings" ><A NAME="t%3AInstBindings" ></A ></A ><B >InstBindings</B > a </TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#InstBindings" >Source</A ></TD ></TR ></TABLE ></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:VanillaInst" ><A NAME="v%3AVanillaInst" ></A ></A ><B >VanillaInst</B > (<A HREF="HsBinds.html#t%3ALHsBinds" >LHsBinds</A > a) [<A HREF="HsBinds.html#t%3ALSig" >LSig</A > a] <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:NewTypeDerived" ><A NAME="v%3ANewTypeDerived" ></A ></A ><B >NewTypeDerived</B > <A HREF="Coercion.html#t%3ACoercionI" >CoercionI</A > <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendGlobalEnv" ><A NAME="v%3AtcExtendGlobalEnv" ></A ></A ><B >tcExtendGlobalEnv</B > :: [<A HREF="TcEnv.html#t%3ATyThing" >TyThing</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendGlobalEnv" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:setGlobalTypeEnv" ><A NAME="v%3AsetGlobalTypeEnv" ></A ></A ><B >setGlobalTypeEnv</B > :: <A HREF="TcRnTypes.html#t%3ATcGblEnv" >TcGblEnv</A > -> <A HREF="HscTypes.html#t%3ATypeEnv" >TypeEnv</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcRnTypes.html#t%3ATcGblEnv" >TcGblEnv</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#setGlobalTypeEnv" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendGlobalValEnv" ><A NAME="v%3AtcExtendGlobalValEnv" ></A ></A ><B >tcExtendGlobalValEnv</B > :: [<A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendGlobalValEnv" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupLocatedGlobal" ><A NAME="v%3AtcLookupLocatedGlobal" ></A ></A ><B >tcLookupLocatedGlobal</B > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupLocatedGlobal" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupGlobal" ><A NAME="v%3AtcLookupGlobal" ></A ></A ><B >tcLookupGlobal</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupGlobal" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupField" ><A NAME="v%3AtcLookupField" ></A ></A ><B >tcLookupField</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupField" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupTyCon" ><A NAME="v%3AtcLookupTyCon" ></A ></A ><B >tcLookupTyCon</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupTyCon" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupClass" ><A NAME="v%3AtcLookupClass" ></A ></A ><B >tcLookupClass</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Class.html#t%3AClass" >Class</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupClass" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupDataCon" ><A NAME="v%3AtcLookupDataCon" ></A ></A ><B >tcLookupDataCon</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="DataCon.html#t%3ADataCon" >DataCon</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupDataCon" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupLocatedGlobalId" ><A NAME="v%3AtcLookupLocatedGlobalId" ></A ></A ><B >tcLookupLocatedGlobalId</B > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupLocatedGlobalId" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupLocatedTyCon" ><A NAME="v%3AtcLookupLocatedTyCon" ></A ></A ><B >tcLookupLocatedTyCon</B > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TyCon.html#t%3ATyCon" >TyCon</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupLocatedTyCon" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupLocatedClass" ><A NAME="v%3AtcLookupLocatedClass" ></A ></A ><B >tcLookupLocatedClass</B > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Class.html#t%3AClass" >Class</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupLocatedClass" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupFamInst" ><A NAME="v%3AtcLookupFamInst" ></A ></A ><B >tcLookupFamInst</B > :: <A HREF="TyCon.html#t%3ATyCon" >TyCon</A > -> [<A HREF="Type.html#t%3AType" >Type</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="TyCon.html#t%3ATyCon" >TyCon</A >, [<A HREF="Type.html#t%3AType" >Type</A >]))</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupFamInst" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendKindEnv" ><A NAME="v%3AtcExtendKindEnv" ></A ></A ><B >tcExtendKindEnv</B > :: [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcType.html#t%3ATcKind" >TcKind</A >)] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendKindEnv" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendKindEnvTvs" ><A NAME="v%3AtcExtendKindEnvTvs" ></A ></A ><B >tcExtendKindEnvTvs</B > :: [<A HREF="HsTypes.html#t%3ALHsTyVarBndr" >LHsTyVarBndr</A > <A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendKindEnvTvs" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendTyVarEnv" ><A NAME="v%3AtcExtendTyVarEnv" ></A ></A ><B >tcExtendTyVarEnv</B > :: [<A HREF="Var.html#t%3ATyVar" >TyVar</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendTyVarEnv" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendTyVarEnv2" ><A NAME="v%3AtcExtendTyVarEnv2" ></A ></A ><B >tcExtendTyVarEnv2</B > :: [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcType.html#t%3ATcType" >TcType</A >)] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendTyVarEnv2" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendGhciEnv" ><A NAME="v%3AtcExtendGhciEnv" ></A ></A ><B >tcExtendGhciEnv</B > :: [<A HREF="TcEnv.html#t%3ATcId" >TcId</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendGhciEnv" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendIdEnv" ><A NAME="v%3AtcExtendIdEnv" ></A ></A ><B >tcExtendIdEnv</B > :: [<A HREF="TcEnv.html#t%3ATcId" >TcId</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendIdEnv" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendIdEnv1" ><A NAME="v%3AtcExtendIdEnv1" ></A ></A ><B >tcExtendIdEnv1</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcEnv.html#t%3ATcId" >TcId</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendIdEnv1" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendIdEnv2" ><A NAME="v%3AtcExtendIdEnv2" ></A ></A ><B >tcExtendIdEnv2</B > :: [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcEnv.html#t%3ATcId" >TcId</A >)] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendIdEnv2" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookup" ><A NAME="v%3AtcLookup" ></A ></A ><B >tcLookup</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATcTyThing" >TcTyThing</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookup" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupLocated" ><A NAME="v%3AtcLookupLocated" ></A ></A ><B >tcLookupLocated</B > :: <A HREF="SrcLoc.html#t%3ALocated" >Located</A > <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATcTyThing" >TcTyThing</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupLocated" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupLocalIds" ><A NAME="v%3AtcLookupLocalIds" ></A ></A ><B >tcLookupLocalIds</B > :: [<A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > [<A HREF="TcEnv.html#t%3ATcId" >TcId</A >]</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupLocalIds" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupId" ><A NAME="v%3AtcLookupId" ></A ></A ><B >tcLookupId</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Var.html#t%3AId" >Id</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupId" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcLookupTyVar" ><A NAME="v%3AtcLookupTyVar" ></A ></A ><B >tcLookupTyVar</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcType.html#t%3ATcTyVar" >TcTyVar</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcLookupTyVar" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:getScopedTyVarBinds" ><A NAME="v%3AgetScopedTyVarBinds" ></A ></A ><B >getScopedTyVarBinds</B > :: <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcType.html#t%3ATcType" >TcType</A >)]</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#getScopedTyVarBinds" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:lclEnvElts" ><A NAME="v%3AlclEnvElts" ></A ></A ><B >lclEnvElts</B > :: <A HREF="TcRnTypes.html#t%3ATcLclEnv" >TcLclEnv</A > -> [<A HREF="TcEnv.html#t%3ATcTyThing" >TcTyThing</A >]</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#lclEnvElts" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:getInLocalScope" ><A NAME="v%3AgetInLocalScope" ></A ></A ><B >getInLocalScope</B > :: <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A >)</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#getInLocalScope" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:findGlobals" ><A NAME="v%3AfindGlobals" ></A ></A ><B >findGlobals</B > :: <A HREF="TcType.html#t%3ATcTyVarSet" >TcTyVarSet</A > -> <A HREF="VarEnv.html#t%3ATidyEnv" >TidyEnv</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > (<A HREF="VarEnv.html#t%3ATidyEnv" >TidyEnv</A >, [<A HREF="Outputable.html#t%3ASDoc" >SDoc</A >])</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#findGlobals" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:wrongThingErr" ><A NAME="v%3AwrongThingErr" ></A ></A ><B >wrongThingErr</B > :: <A HREF="../base-4.2.0.2/Data-Char.html#t%3AString" >String</A > -> <A HREF="TcEnv.html#t%3ATcTyThing" >TcTyThing</A > -> <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#wrongThingErr" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:pprBinders" ><A NAME="v%3ApprBinders" ></A ></A ><B >pprBinders</B > :: [<A HREF="Name.html#t%3AName" >Name</A >] -> <A HREF="Outputable.html#t%3ASDoc" >SDoc</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#pprBinders" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendRecEnv" ><A NAME="v%3AtcExtendRecEnv" ></A ></A ><B >tcExtendRecEnv</B > :: [(<A HREF="Name.html#t%3AName" >Name</A >, <A HREF="TcEnv.html#t%3ATyThing" >TyThing</A >)] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > r</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendRecEnv" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcExtendRules" ><A NAME="v%3AtcExtendRules" ></A ></A ><B >tcExtendRules</B > :: [<A HREF="HsDecls.html#t%3ALRuleDecl" >LRuleDecl</A > <A HREF="Var.html#t%3AId" >Id</A >] -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > a</TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcExtendRules" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcGetGlobalTyVars" ><A NAME="v%3AtcGetGlobalTyVars" ></A ></A ><B >tcGetGlobalTyVars</B > :: <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcType.html#t%3ATcTyVarSet" >TcTyVarSet</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcGetGlobalTyVars" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:checkWellStaged" ><A NAME="v%3AcheckWellStaged" ></A ></A ><B >checkWellStaged</B > :: <A HREF="Outputable.html#t%3ASDoc" >SDoc</A > -> <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A > -> <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="../ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29" >()</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#checkWellStaged" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:tcMetaTy" ><A NAME="v%3AtcMetaTy" ></A ></A ><B >tcMetaTy</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Type.html#t%3AType" >Type</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#tcMetaTy" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:thLevel" ><A NAME="v%3AthLevel" ></A ></A ><B >thLevel</B > :: <A HREF="TcRnTypes.html#t%3AThStage" >ThStage</A > -> <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcRnTypes.html#thLevel" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:topIdLvl" ><A NAME="v%3AtopIdLvl" ></A ></A ><B >topIdLvl</B > :: <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="TcRnTypes.html#t%3AThLevel" >ThLevel</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#topIdLvl" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:thTopLevelId" ><A NAME="v%3AthTopLevelId" ></A ></A ><B >thTopLevelId</B > :: <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#thTopLevelId" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:thRnBrack" ><A NAME="v%3AthRnBrack" ></A ></A ><B >thRnBrack</B > :: <A HREF="TcRnTypes.html#t%3AThStage" >ThStage</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#thRnBrack" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:isBrackStage" ><A NAME="v%3AisBrackStage" ></A ></A ><B >isBrackStage</B > :: <A HREF="TcRnTypes.html#t%3AThStage" >ThStage</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#isBrackStage" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:newLocalName" ><A NAME="v%3AnewLocalName" ></A ></A ><B >newLocalName</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="TcRnTypes.html#t%3ATcRnIf" >TcRnIf</A > gbl lcl <A HREF="Name.html#t%3AName" >Name</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcRnMonad.html#newLocalName" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:newDFunName" ><A NAME="v%3AnewDFunName" ></A ></A ><B >newDFunName</B > :: <A HREF="Class.html#t%3AClass" >Class</A > -> [<A HREF="Type.html#t%3AType" >Type</A >] -> <A HREF="SrcLoc.html#t%3ASrcSpan" >SrcSpan</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Name.html#t%3AName" >Name</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#newDFunName" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:newFamInstTyConName" ><A NAME="v%3AnewFamInstTyConName" ></A ></A ><B >newFamInstTyConName</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> [<A HREF="Type.html#t%3AType" >Type</A >] -> <A HREF="SrcLoc.html#t%3ASrcSpan" >SrcSpan</A > -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="Name.html#t%3AName" >Name</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#newFamInstTyConName" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:mkStableIdFromString" ><A NAME="v%3AmkStableIdFromString" ></A ></A ><B >mkStableIdFromString</B > :: <A HREF="../base-4.2.0.2/Data-Char.html#t%3AString" >String</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="SrcLoc.html#t%3ASrcSpan" >SrcSpan</A > -> (<A HREF="OccName.html#t%3AOccName" >OccName</A > -> <A HREF="OccName.html#t%3AOccName" >OccName</A >) -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATcId" >TcId</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#mkStableIdFromString" >Source</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="topdecl" ><TABLE CLASS="declbar" ><TR ><TD CLASS="declname" ><A NAME="v:mkStableIdFromName" ><A NAME="v%3AmkStableIdFromName" ></A ></A ><B >mkStableIdFromName</B > :: <A HREF="Name.html#t%3AName" >Name</A > -> <A HREF="Type.html#t%3AType" >Type</A > -> <A HREF="SrcLoc.html#t%3ASrcSpan" >SrcSpan</A > -> (<A HREF="OccName.html#t%3AOccName" >OccName</A > -> <A HREF="OccName.html#t%3AOccName" >OccName</A >) -> <A HREF="TcRnTypes.html#t%3ATcM" >TcM</A > <A HREF="TcEnv.html#t%3ATcId" >TcId</A ></TD ><TD CLASS="declbut" ><A HREF="src/TcEnv.html#mkStableIdFromName" >Source</A ></TD ></TR ></TABLE ></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 >