Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > da2ed07af0cf0f424d74f4cc6829a27c > files > 1150

ghc-ghc-devel-6.12.3-8.6.fc14.i686.rpm

<!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="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 -&gt; <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 -&gt; <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 =&gt; <A HREF="TcEnv.html#t%3AInstInfo"
>InstInfo</A
> a -&gt; <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 -&gt; (<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 -&gt; <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 -&gt; <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
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <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
> -&gt; <A HREF="HscTypes.html#t%3ATypeEnv"
>TypeEnv</A
> -&gt; <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
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <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
>)] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <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
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <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
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <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
>)] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <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
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <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
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <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
> -&gt; <A HREF="TcEnv.html#t%3ATcId"
>TcId</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <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
>)] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <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
> -&gt; <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
> -&gt; <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
>] -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; [<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
> -&gt; <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
> -&gt; <A HREF="VarEnv.html#t%3ATidyEnv"
>TidyEnv</A
> -&gt; <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
> -&gt; <A HREF="TcEnv.html#t%3ATcTyThing"
>TcTyThing</A
> -&gt; <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <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
>] -&gt; <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
>)] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <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
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <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
> -&gt; <A HREF="TcRnTypes.html#t%3AThLevel"
>ThLevel</A
> -&gt; <A HREF="TcRnTypes.html#t%3AThLevel"
>ThLevel</A
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; <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
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; <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
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; <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
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; (<A HREF="OccName.html#t%3AOccName"
>OccName</A
> -&gt; <A HREF="OccName.html#t%3AOccName"
>OccName</A
>) -&gt; <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
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; (<A HREF="OccName.html#t%3AOccName"
>OccName</A
> -&gt; <A HREF="OccName.html#t%3AOccName"
>OccName</A
>) -&gt; <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="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:TyThing"
><A NAME="t%3ATyThing"
></A
></A
><B
>TyThing</B
>  </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="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:TcTyThing"
><A NAME="t%3ATcTyThing"
></A
></A
><B
>TcTyThing</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: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="decl"
><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
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:InstInfo"
><A NAME="t%3AInstInfo"
></A
></A
><B
>InstInfo</B
> a </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="decl"
><A NAME="v:iDFunId"
><A NAME="v%3AiDFunId"
></A
></A
><B
>iDFunId</B
> ::  <A HREF="TcEnv.html#t%3AInstInfo"
>InstInfo</A
> a -&gt; <A HREF="InstEnv.html#t%3ADFunId"
>DFunId</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprInstInfo"
><A NAME="v%3ApprInstInfo"
></A
></A
><B
>pprInstInfo</B
> ::  <A HREF="TcEnv.html#t%3AInstInfo"
>InstInfo</A
> a -&gt; <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprInstInfoDetails"
><A NAME="v%3ApprInstInfoDetails"
></A
></A
><B
>pprInstInfoDetails</B
> :: <A HREF="Outputable.html#t%3AOutputableBndr"
>OutputableBndr</A
> a =&gt; <A HREF="TcEnv.html#t%3AInstInfo"
>InstInfo</A
> a -&gt; <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:simpleInstInfoClsTy"
><A NAME="v%3AsimpleInstInfoClsTy"
></A
></A
><B
>simpleInstInfoClsTy</B
> ::  <A HREF="TcEnv.html#t%3AInstInfo"
>InstInfo</A
> a -&gt; (<A HREF="Class.html#t%3AClass"
>Class</A
>, <A HREF="Type.html#t%3AType"
>Type</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:simpleInstInfoTy"
><A NAME="v%3AsimpleInstInfoTy"
></A
></A
><B
>simpleInstInfoTy</B
> ::  <A HREF="TcEnv.html#t%3AInstInfo"
>InstInfo</A
> a -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:simpleInstInfoTyCon"
><A NAME="v%3AsimpleInstInfoTyCon"
></A
></A
><B
>simpleInstInfoTyCon</B
> ::  <A HREF="TcEnv.html#t%3AInstInfo"
>InstInfo</A
> a -&gt; <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:InstBindings"
><A NAME="t%3AInstBindings"
></A
></A
><B
>InstBindings</B
> a </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="decl"
><A NAME="v:tcExtendGlobalEnv"
><A NAME="v%3AtcExtendGlobalEnv"
></A
></A
><B
>tcExtendGlobalEnv</B
> ::  [<A HREF="TcEnv.html#t%3ATyThing"
>TyThing</A
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:setGlobalTypeEnv"
><A NAME="v%3AsetGlobalTypeEnv"
></A
></A
><B
>setGlobalTypeEnv</B
> :: <A HREF="TcRnTypes.html#t%3ATcGblEnv"
>TcGblEnv</A
> -&gt; <A HREF="HscTypes.html#t%3ATypeEnv"
>TypeEnv</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TcRnTypes.html#t%3ATcGblEnv"
>TcGblEnv</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcExtendGlobalValEnv"
><A NAME="v%3AtcExtendGlobalValEnv"
></A
></A
><B
>tcExtendGlobalValEnv</B
> ::  [<A HREF="Var.html#t%3AId"
>Id</A
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TcEnv.html#t%3ATyThing"
>TyThing</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookupGlobal"
><A NAME="v%3AtcLookupGlobal"
></A
></A
><B
>tcLookupGlobal</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TcEnv.html#t%3ATyThing"
>TyThing</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookupField"
><A NAME="v%3AtcLookupField"
></A
></A
><B
>tcLookupField</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookupTyCon"
><A NAME="v%3AtcLookupTyCon"
></A
></A
><B
>tcLookupTyCon</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookupClass"
><A NAME="v%3AtcLookupClass"
></A
></A
><B
>tcLookupClass</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="Class.html#t%3AClass"
>Class</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookupDataCon"
><A NAME="v%3AtcLookupDataCon"
></A
></A
><B
>tcLookupDataCon</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="Class.html#t%3AClass"
>Class</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookupFamInst"
><A NAME="v%3AtcLookupFamInst"
></A
></A
><B
>tcLookupFamInst</B
> :: <A HREF="TyCon.html#t%3ATyCon"
>TyCon</A
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <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="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
>)] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcExtendTyVarEnv"
><A NAME="v%3AtcExtendTyVarEnv"
></A
></A
><B
>tcExtendTyVarEnv</B
> ::  [<A HREF="Var.html#t%3ATyVar"
>TyVar</A
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
>)] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcExtendGhciEnv"
><A NAME="v%3AtcExtendGhciEnv"
></A
></A
><B
>tcExtendGhciEnv</B
> ::  [<A HREF="TcEnv.html#t%3ATcId"
>TcId</A
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcExtendIdEnv"
><A NAME="v%3AtcExtendIdEnv"
></A
></A
><B
>tcExtendIdEnv</B
> ::  [<A HREF="TcEnv.html#t%3ATcId"
>TcId</A
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcExtendIdEnv1"
><A NAME="v%3AtcExtendIdEnv1"
></A
></A
><B
>tcExtendIdEnv1</B
> ::  <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcEnv.html#t%3ATcId"
>TcId</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
>)] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookup"
><A NAME="v%3AtcLookup"
></A
></A
><B
>tcLookup</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TcEnv.html#t%3ATcTyThing"
>TcTyThing</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TcEnv.html#t%3ATcTyThing"
>TcTyThing</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookupLocalIds"
><A NAME="v%3AtcLookupLocalIds"
></A
></A
><B
>tcLookupLocalIds</B
> :: [<A HREF="Name.html#t%3AName"
>Name</A
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> [<A HREF="TcEnv.html#t%3ATcId"
>TcId</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookupId"
><A NAME="v%3AtcLookupId"
></A
></A
><B
>tcLookupId</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="Var.html#t%3AId"
>Id</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcLookupTyVar"
><A NAME="v%3AtcLookupTyVar"
></A
></A
><B
>tcLookupTyVar</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TcType.html#t%3ATcTyVar"
>TcTyVar</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:lclEnvElts"
><A NAME="v%3AlclEnvElts"
></A
></A
><B
>lclEnvElts</B
> :: <A HREF="TcRnTypes.html#t%3ATcLclEnv"
>TcLclEnv</A
> -&gt; [<A HREF="TcEnv.html#t%3ATcTyThing"
>TcTyThing</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
> -&gt; <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:findGlobals"
><A NAME="v%3AfindGlobals"
></A
></A
><B
>findGlobals</B
> :: <A HREF="TcType.html#t%3ATcTyVarSet"
>TcTyVarSet</A
> -&gt; <A HREF="VarEnv.html#t%3ATidyEnv"
>TidyEnv</A
> -&gt; <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="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
> -&gt; <A HREF="TcEnv.html#t%3ATcTyThing"
>TcTyThing</A
> -&gt; <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprBinders"
><A NAME="v%3ApprBinders"
></A
></A
><B
>pprBinders</B
> :: [<A HREF="Name.html#t%3AName"
>Name</A
>] -&gt; <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
>)] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> r</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
>] -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:checkWellStaged"
><A NAME="v%3AcheckWellStaged"
></A
></A
><B
>checkWellStaged</B
> :: <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
> -&gt; <A HREF="TcRnTypes.html#t%3AThLevel"
>ThLevel</A
> -&gt; <A HREF="TcRnTypes.html#t%3AThLevel"
>ThLevel</A
> -&gt; <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="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:tcMetaTy"
><A NAME="v%3AtcMetaTy"
></A
></A
><B
>tcMetaTy</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="Type.html#t%3AType"
>Type</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:thLevel"
><A NAME="v%3AthLevel"
></A
></A
><B
>thLevel</B
> :: <A HREF="TcRnTypes.html#t%3AThStage"
>ThStage</A
> -&gt; <A HREF="TcRnTypes.html#t%3AThLevel"
>ThLevel</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:topIdLvl"
><A NAME="v%3AtopIdLvl"
></A
></A
><B
>topIdLvl</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="TcRnTypes.html#t%3AThLevel"
>ThLevel</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:thTopLevelId"
><A NAME="v%3AthTopLevelId"
></A
></A
><B
>thTopLevelId</B
> :: <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <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:thRnBrack"
><A NAME="v%3AthRnBrack"
></A
></A
><B
>thRnBrack</B
> :: <A HREF="TcRnTypes.html#t%3AThStage"
>ThStage</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isBrackStage"
><A NAME="v%3AisBrackStage"
></A
></A
><B
>isBrackStage</B
> :: <A HREF="TcRnTypes.html#t%3AThStage"
>ThStage</A
> -&gt; <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:newLocalName"
><A NAME="v%3AnewLocalName"
></A
></A
><B
>newLocalName</B
> ::  <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcRnIf"
>TcRnIf</A
> gbl lcl <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:newDFunName"
><A NAME="v%3AnewDFunName"
></A
></A
><B
>newDFunName</B
> :: <A HREF="Class.html#t%3AClass"
>Class</A
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:newFamInstTyConName"
><A NAME="v%3AnewFamInstTyConName"
></A
></A
><B
>newFamInstTyConName</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; [<A HREF="Type.html#t%3AType"
>Type</A
>] -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><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
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; (<A HREF="OccName.html#t%3AOccName"
>OccName</A
> -&gt; <A HREF="OccName.html#t%3AOccName"
>OccName</A
>) -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TcEnv.html#t%3ATcId"
>TcId</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mkStableIdFromName"
><A NAME="v%3AmkStableIdFromName"
></A
></A
><B
>mkStableIdFromName</B
> :: <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="SrcLoc.html#t%3ASrcSpan"
>SrcSpan</A
> -&gt; (<A HREF="OccName.html#t%3AOccName"
>OccName</A
> -&gt; <A HREF="OccName.html#t%3AOccName"
>OccName</A
>) -&gt; <A HREF="TcRnTypes.html#t%3ATcM"
>TcM</A
> <A HREF="TcEnv.html#t%3ATcId"
>TcId</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
>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional