<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>TcRnTypes</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[ window.onload = function () {pageLoad();setSynopsis("mini_TcRnTypes.html");}; //]]> </script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">TcRnTypes</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">type</span> <a href="#t:TcRnIf">TcRnIf</a> a b c = <a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> a b) c</li><li class="src short"><span class="keyword">type</span> <a href="#t:TcRn">TcRn</a> a = <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a> a</li><li class="src short"><span class="keyword">type</span> <a href="#t:TcM">TcM</a> a = <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</li><li class="src short"><span class="keyword">type</span> <a href="#t:RnM">RnM</a> a = <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</li><li class="src short"><span class="keyword">type</span> <a href="#t:IfM">IfM</a> lcl a = <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> <a href="TcRnTypes.html#t:IfGblEnv">IfGblEnv</a> lcl a</li><li class="src short"><span class="keyword">type</span> <a href="#t:IfL">IfL</a> a = <a href="TcRnTypes.html#t:IfM">IfM</a> <a href="TcRnTypes.html#t:IfLclEnv">IfLclEnv</a> a</li><li class="src short"><span class="keyword">type</span> <a href="#t:IfG">IfG</a> a = <a href="TcRnTypes.html#t:IfM">IfM</a> () a</li><li class="src short"><span class="keyword">type</span> <a href="#t:TcRef">TcRef</a> a = <a href="IOEnv.html#t:IORef">IORef</a> a</li><li class="src short"><span class="keyword">data</span> <a href="#t:Env">Env</a> gbl lcl = <a href="#v:Env">Env</a> {<ul class="subs"><li><a href="#v:env_top">env_top</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a></li><li><a href="#v:env_us">env_us</a> :: !(<a href="IOEnv.html#t:IORef">IORef</a> <a href="UniqSupply.html#t:UniqSupply">UniqSupply</a>)</li><li><a href="#v:env_gbl">env_gbl</a> :: gbl</li><li><a href="#v:env_lcl">env_lcl</a> :: lcl</li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:TcGblEnv">TcGblEnv</a> = <a href="#v:TcGblEnv">TcGblEnv</a> {<ul class="subs"><li><a href="#v:tcg_mod">tcg_mod</a> :: <a href="Module.html#t:Module">Module</a></li><li><a href="#v:tcg_src">tcg_src</a> :: <a href="DriverPhases.html#t:HscSource">HscSource</a></li><li><a href="#v:tcg_rdr_env">tcg_rdr_env</a> :: <a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a></li><li><a href="#v:tcg_default">tcg_default</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="Type.html#t:Type">Type</a>]</li><li><a href="#v:tcg_fix_env">tcg_fix_env</a> :: <a href="HscTypes.html#t:FixityEnv">FixityEnv</a></li><li><a href="#v:tcg_field_env">tcg_field_env</a> :: <a href="TcRnTypes.html#t:RecFieldEnv">RecFieldEnv</a></li><li><a href="#v:tcg_type_env">tcg_type_env</a> :: <a href="HscTypes.html#t:TypeEnv">TypeEnv</a></li><li><a href="#v:tcg_type_env_var">tcg_type_env_var</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="HscTypes.html#t:TypeEnv">TypeEnv</a></li><li><a href="#v:tcg_inst_env">tcg_inst_env</a> :: <a href="InstEnv.html#t:InstEnv">InstEnv</a></li><li><a href="#v:tcg_fam_inst_env">tcg_fam_inst_env</a> :: <a href="FamInstEnv.html#t:FamInstEnv">FamInstEnv</a></li><li><a href="#v:tcg_exports">tcg_exports</a> :: [<a href="Avail.html#t:AvailInfo">AvailInfo</a>]</li><li><a href="#v:tcg_imports">tcg_imports</a> :: <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a></li><li><a href="#v:tcg_dus">tcg_dus</a> :: <a href="NameSet.html#t:DefUses">DefUses</a></li><li><a href="#v:tcg_keep">tcg_keep</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="NameSet.html#t:NameSet">NameSet</a></li><li><a href="#v:tcg_th_used">tcg_th_used</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:tcg_th_splice_used">tcg_th_splice_used</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:tcg_dfun_n">tcg_dfun_n</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="OccName.html#t:OccSet">OccSet</a></li><li><a href="#v:tcg_rn_exports">tcg_rn_exports</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="SrcLoc.html#t:Located">Located</a> (<a href="HsImpExp.html#t:IE">IE</a> <a href="Name.html#t:Name">Name</a>)]</li><li><a href="#v:tcg_rn_imports">tcg_rn_imports</a> :: [<a href="HsImpExp.html#t:LImportDecl">LImportDecl</a> <a href="Name.html#t:Name">Name</a>]</li><li><a href="#v:tcg_used_rdrnames">tcg_used_rdrnames</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> (<a href="../containers-0.4.2.1/Data-Set.html#t:Set">Set</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</li><li><a href="#v:tcg_rn_decls">tcg_rn_decls</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsDecls.html#t:HsGroup">HsGroup</a> <a href="Name.html#t:Name">Name</a>)</li><li><a href="#v:tcg_dependent_files">tcg_dependent_files</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> [<a href="../base-4.5.1.0/System-IO.html#t:FilePath">FilePath</a>]</li><li><a href="#v:tcg_ev_binds">tcg_ev_binds</a> :: <a href="Bag.html#t:Bag">Bag</a> <a href="TcEvidence.html#t:EvBind">EvBind</a></li><li><a href="#v:tcg_binds">tcg_binds</a> :: <a href="HsBinds.html#t:LHsBinds">LHsBinds</a> <a href="Var.html#t:Id">Id</a></li><li><a href="#v:tcg_sigs">tcg_sigs</a> :: <a href="NameSet.html#t:NameSet">NameSet</a></li><li><a href="#v:tcg_imp_specs">tcg_imp_specs</a> :: [<a href="HsBinds.html#t:LTcSpecPrag">LTcSpecPrag</a>]</li><li><a href="#v:tcg_warns">tcg_warns</a> :: <a href="HscTypes.html#t:Warnings">Warnings</a></li><li><a href="#v:tcg_anns">tcg_anns</a> :: [<a href="Annotations.html#t:Annotation">Annotation</a>]</li><li><a href="#v:tcg_tcs">tcg_tcs</a> :: [<a href="TyCon.html#t:TyCon">TyCon</a>]</li><li><a href="#v:tcg_insts">tcg_insts</a> :: [<a href="InstEnv.html#t:Instance">Instance</a>]</li><li><a href="#v:tcg_fam_insts">tcg_fam_insts</a> :: [<a href="FamInstEnv.html#t:FamInst">FamInst</a>]</li><li><a href="#v:tcg_rules">tcg_rules</a> :: [<a href="HsDecls.html#t:LRuleDecl">LRuleDecl</a> <a href="Var.html#t:Id">Id</a>]</li><li><a href="#v:tcg_fords">tcg_fords</a> :: [<a href="HsDecls.html#t:LForeignDecl">LForeignDecl</a> <a href="Var.html#t:Id">Id</a>]</li><li><a href="#v:tcg_vects">tcg_vects</a> :: [<a href="HsDecls.html#t:LVectDecl">LVectDecl</a> <a href="Var.html#t:Id">Id</a>]</li><li><a href="#v:tcg_doc_hdr">tcg_doc_hdr</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="HsDoc.html#t:LHsDocString">LHsDocString</a></li><li><a href="#v:tcg_hpc">tcg_hpc</a> :: <a href="HscTypes.html#t:AnyHpcUsage">AnyHpcUsage</a></li><li><a href="#v:tcg_main">tcg_main</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Name.html#t:Name">Name</a></li><li><a href="#v:tcg_safeInfer">tcg_safeInfer</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:TcLclEnv">TcLclEnv</a> = <a href="#v:TcLclEnv">TcLclEnv</a> {<ul class="subs"><li><a href="#v:tcl_loc">tcl_loc</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></li><li><a href="#v:tcl_ctxt">tcl_ctxt</a> :: [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>]</li><li><a href="#v:tcl_errs">tcl_errs</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="ErrUtils.html#t:Messages">Messages</a></li><li><a href="#v:tcl_th_ctxt">tcl_th_ctxt</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a></li><li><a href="#v:tcl_arrow_ctxt">tcl_arrow_ctxt</a> :: <a href="TcRnTypes.html#t:ArrowCtxt">ArrowCtxt</a></li><li><a href="#v:tcl_rdr">tcl_rdr</a> :: <a href="RdrName.html#t:LocalRdrEnv">LocalRdrEnv</a></li><li><a href="#v:tcl_env">tcl_env</a> :: <a href="TcRnTypes.html#t:TcTypeEnv">TcTypeEnv</a></li><li><a href="#v:tcl_tyvars">tcl_tyvars</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcType.html#t:TcTyVarSet">TcTyVarSet</a></li><li><a href="#v:tcl_lie">tcl_lie</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></li><li><a href="#v:tcl_meta">tcl_meta</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="Unique.html#t:Unique">Unique</a></li><li><a href="#v:tcl_untch">tcl_untch</a> :: <a href="Unique.html#t:Unique">Unique</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:IfGblEnv">IfGblEnv</a> = <a href="#v:IfGblEnv">IfGblEnv</a> {<ul class="subs"><li><a href="#v:if_rec_types">if_rec_types</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Module.html#t:Module">Module</a>, <a href="TcRnTypes.html#t:IfG">IfG</a> <a href="HscTypes.html#t:TypeEnv">TypeEnv</a>)</li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:IfLclEnv">IfLclEnv</a> = <a href="#v:IfLclEnv">IfLclEnv</a> {<ul class="subs"><li><a href="#v:if_mod">if_mod</a> :: <a href="Module.html#t:Module">Module</a></li><li><a href="#v:if_loc">if_loc</a> :: <a href="Outputable.html#t:SDoc">SDoc</a></li><li><a href="#v:if_tv_env">if_tv_env</a> :: <a href="UniqFM.html#t:UniqFM">UniqFM</a> <a href="Var.html#t:TyVar">TyVar</a></li><li><a href="#v:if_id_env">if_id_env</a> :: <a href="UniqFM.html#t:UniqFM">UniqFM</a> <a href="Var.html#t:Id">Id</a></li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:ErrCtxt">ErrCtxt</a> = (<a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="VarEnv.html#t:TidyEnv">TidyEnv</a>, <a href="ErrUtils.html#t:Message">Message</a>))</li><li class="src short"><span class="keyword">data</span> <a href="#t:RecFieldEnv">RecFieldEnv</a> = <a href="#v:RecFields">RecFields</a> (<a href="NameEnv.html#t:NameEnv">NameEnv</a> [<a href="Name.html#t:Name">Name</a>]) <a href="NameSet.html#t:NameSet">NameSet</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:ImportAvails">ImportAvails</a> = <a href="#v:ImportAvails">ImportAvails</a> {<ul class="subs"><li><a href="#v:imp_mods">imp_mods</a> :: <a href="HscTypes.html#t:ImportedMods">ImportedMods</a></li><li><a href="#v:imp_dep_mods">imp_dep_mods</a> :: <a href="Module.html#t:ModuleNameEnv">ModuleNameEnv</a> (<a href="Module.html#t:ModuleName">ModuleName</a>, <a href="HscTypes.html#t:IsBootInterface">IsBootInterface</a>)</li><li><a href="#v:imp_dep_pkgs">imp_dep_pkgs</a> :: [<a href="Module.html#t:PackageId">PackageId</a>]</li><li><a href="#v:imp_trust_pkgs">imp_trust_pkgs</a> :: [<a href="Module.html#t:PackageId">PackageId</a>]</li><li><a href="#v:imp_trust_own_pkg">imp_trust_own_pkg</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:imp_orphs">imp_orphs</a> :: [<a href="Module.html#t:Module">Module</a>]</li><li><a href="#v:imp_finsts">imp_finsts</a> :: [<a href="Module.html#t:Module">Module</a>]</li></ul>}</li><li class="src short"><a href="#v:emptyImportAvails">emptyImportAvails</a> :: <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a></li><li class="src short"><a href="#v:plusImportAvails">plusImportAvails</a> :: <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a> -> <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a> -> <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:WhereFrom">WhereFrom</a> <ul class="subs"><li>= <a href="#v:ImportByUser">ImportByUser</a> <a href="HscTypes.html#t:IsBootInterface">IsBootInterface</a> </li><li>| <a href="#v:ImportBySystem">ImportBySystem</a> </li></ul></li><li class="src short"><a href="#v:mkModDeps">mkModDeps</a> :: [(<a href="Module.html#t:ModuleName">ModuleName</a>, <a href="HscTypes.html#t:IsBootInterface">IsBootInterface</a>)] -> <a href="Module.html#t:ModuleNameEnv">ModuleNameEnv</a> (<a href="Module.html#t:ModuleName">ModuleName</a>, <a href="HscTypes.html#t:IsBootInterface">IsBootInterface</a>)</li><li class="src short"><span class="keyword">type</span> <a href="#t:TcTypeEnv">TcTypeEnv</a> = <a href="NameEnv.html#t:NameEnv">NameEnv</a> <a href="TcRnTypes.html#t:TcTyThing">TcTyThing</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:TcTyThing">TcTyThing</a> <ul class="subs"><li>= <a href="#v:AGlobal">AGlobal</a> <a href="Type.html#t:TyThing">TyThing</a> </li><li>| <a href="#v:ATcId">ATcId</a> { <ul class="subs"><li><a href="#v:tct_id">tct_id</a> :: <a href="TcRnTypes.html#t:TcId">TcId</a></li><li><a href="#v:tct_closed">tct_closed</a> :: <a href="BasicTypes.html#t:TopLevelFlag">TopLevelFlag</a></li><li><a href="#v:tct_level">tct_level</a> :: <a href="TcRnTypes.html#t:ThLevel">ThLevel</a></li></ul> }</li><li>| <a href="#v:ATyVar">ATyVar</a> <a href="Name.html#t:Name">Name</a> <a href="TcType.html#t:TcType">TcType</a> </li><li>| <a href="#v:AThing">AThing</a> <a href="TcType.html#t:TcKind">TcKind</a> </li><li>| <a href="#v:ANothing">ANothing</a> </li></ul></li><li class="src short"><a href="#v:pprTcTyThingCategory">pprTcTyThingCategory</a> :: <a href="TcRnTypes.html#t:TcTyThing">TcTyThing</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:ThStage">ThStage</a> <ul class="subs"><li>= <a href="#v:Splice">Splice</a> </li><li>| <a href="#v:Comp">Comp</a> </li><li>| <a href="#v:Brack">Brack</a> <a href="TcRnTypes.html#t:ThStage">ThStage</a> (<a href="TcRnTypes.html#t:TcRef">TcRef</a> [<a href="HsExpr.html#t:PendingSplice">PendingSplice</a>]) (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a>) </li></ul></li><li class="src short"><a href="#v:topStage">topStage</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a></li><li class="src short"><a href="#v:topAnnStage">topAnnStage</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a></li><li class="src short"><a href="#v:topSpliceStage">topSpliceStage</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:ThLevel">ThLevel</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:impLevel">impLevel</a> :: <a href="TcRnTypes.html#t:ThLevel">ThLevel</a></li><li class="src short"><a href="#v:outerLevel">outerLevel</a> :: <a href="TcRnTypes.html#t:ThLevel">ThLevel</a></li><li class="src short"><a href="#v:thLevel">thLevel</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a> -> <a href="TcRnTypes.html#t:ThLevel">ThLevel</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:ArrowCtxt">ArrowCtxt</a> = <a href="#v:NoArrowCtxt">NoArrowCtxt</a></li><li class="src short"><a href="#v:newArrowScope">newArrowScope</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> a</li><li class="src short"><a href="#v:escapeArrowScope">escapeArrowScope</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> a</li><li class="src short"><span class="keyword">data</span> <a href="#t:Untouchables">Untouchables</a> <ul class="subs"><li>= <a href="#v:NoUntouchables">NoUntouchables</a> </li><li>| <a href="#v:TouchableRange">TouchableRange</a> <a href="Unique.html#t:Unique">Unique</a> <a href="Unique.html#t:Unique">Unique</a> </li></ul></li><li class="src short"><a href="#v:inTouchableRange">inTouchableRange</a> :: <a href="TcRnTypes.html#t:Untouchables">Untouchables</a> -> <a href="TcType.html#t:TcTyVar">TcTyVar</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isNoUntouchables">isNoUntouchables</a> :: <a href="TcRnTypes.html#t:Untouchables">Untouchables</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:Xi">Xi</a> = <a href="Type.html#t:Type">Type</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:Ct">Ct</a> <ul class="subs"><li>= <a href="#v:CDictCan">CDictCan</a> { <ul class="subs"><li><a href="#v:cc_id">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></li><li><a href="#v:cc_flavor">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></li><li><a href="#v:cc_class">cc_class</a> :: <a href="Class.html#t:Class">Class</a></li><li><a href="#v:cc_tyargs">cc_tyargs</a> :: [<a href="TcRnTypes.html#t:Xi">Xi</a>]</li><li><a href="#v:cc_depth">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></li></ul> }</li><li>| <a href="#v:CIPCan">CIPCan</a> { <ul class="subs"><li><a href="#v:cc_id">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></li><li><a href="#v:cc_flavor">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></li><li><a href="#v:cc_ip_nm">cc_ip_nm</a> :: <a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a></li><li><a href="#v:cc_ip_ty">cc_ip_ty</a> :: <a href="TcType.html#t:TcTauType">TcTauType</a></li><li><a href="#v:cc_depth">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></li></ul> }</li><li>| <a href="#v:CIrredEvCan">CIrredEvCan</a> { <ul class="subs"><li><a href="#v:cc_id">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></li><li><a href="#v:cc_flavor">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></li><li><a href="#v:cc_ty">cc_ty</a> :: <a href="TcRnTypes.html#t:Xi">Xi</a></li><li><a href="#v:cc_depth">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></li></ul> }</li><li>| <a href="#v:CTyEqCan">CTyEqCan</a> { <ul class="subs"><li><a href="#v:cc_id">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></li><li><a href="#v:cc_flavor">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></li><li><a href="#v:cc_tyvar">cc_tyvar</a> :: <a href="TcType.html#t:TcTyVar">TcTyVar</a></li><li><a href="#v:cc_rhs">cc_rhs</a> :: <a href="TcRnTypes.html#t:Xi">Xi</a></li><li><a href="#v:cc_depth">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></li></ul> }</li><li>| <a href="#v:CFunEqCan">CFunEqCan</a> { <ul class="subs"><li><a href="#v:cc_id">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></li><li><a href="#v:cc_flavor">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></li><li><a href="#v:cc_fun">cc_fun</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li><a href="#v:cc_tyargs">cc_tyargs</a> :: [<a href="TcRnTypes.html#t:Xi">Xi</a>]</li><li><a href="#v:cc_rhs">cc_rhs</a> :: <a href="TcRnTypes.html#t:Xi">Xi</a></li><li><a href="#v:cc_depth">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></li></ul> }</li><li>| <a href="#v:CNonCanonical">CNonCanonical</a> { <ul class="subs"><li><a href="#v:cc_id">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></li><li><a href="#v:cc_flavor">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></li><li><a href="#v:cc_depth">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></li></ul> }</li></ul></li><li class="src short"><span class="keyword">type</span> <a href="#t:Cts">Cts</a> = <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:Ct">Ct</a></li><li class="src short"><a href="#v:emptyCts">emptyCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a></li><li class="src short"><a href="#v:andCts">andCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcRnTypes.html#t:Cts">Cts</a></li><li class="src short"><a href="#v:andManyCts">andManyCts</a> :: [<a href="TcRnTypes.html#t:Cts">Cts</a>] -> <a href="TcRnTypes.html#t:Cts">Cts</a></li><li class="src short"><a href="#v:singleCt">singleCt</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="TcRnTypes.html#t:Cts">Cts</a></li><li class="src short"><a href="#v:extendCts">extendCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="TcRnTypes.html#t:Cts">Cts</a></li><li class="src short"><a href="#v:isEmptyCts">isEmptyCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isCTyEqCan">isCTyEqCan</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isCDictCan_Maybe">isCDictCan_Maybe</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Class.html#t:Class">Class</a></li><li class="src short"><a href="#v:isCIPCan_Maybe">isCIPCan_Maybe</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>)</li><li class="src short"><a href="#v:isCFunEqCan_Maybe">isCFunEqCan_Maybe</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:isCIrredEvCan">isCIrredEvCan</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isCNonCanonical">isCNonCanonical</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:SubGoalDepth">SubGoalDepth</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:ctPred">ctPred</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="Type.html#t:PredType">PredType</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:WantedConstraints">WantedConstraints</a> = <a href="#v:WC">WC</a> {<ul class="subs"><li><a href="#v:wc_flat">wc_flat</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a></li><li><a href="#v:wc_impl">wc_impl</a> :: <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:Implication">Implication</a></li><li><a href="#v:wc_insol">wc_insol</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a></li></ul>}</li><li class="src short"><a href="#v:insolubleWC">insolubleWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:emptyWC">emptyWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></li><li class="src short"><a href="#v:isEmptyWC">isEmptyWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:andWC">andWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></li><li class="src short"><a href="#v:addFlats">addFlats</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></li><li class="src short"><a href="#v:addImplics">addImplics</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></li><li class="src short"><a href="#v:mkFlatWC">mkFlatWC</a> :: [<a href="TcRnTypes.html#t:Ct">Ct</a>] -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:EvVarX">EvVarX</a> a = <a href="#v:EvVarX">EvVarX</a> <a href="Var.html#t:EvVar">EvVar</a> a</li><li class="src short"><a href="#v:mkEvVarX">mkEvVarX</a> :: <a href="Var.html#t:EvVar">EvVar</a> -> a -> <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a</li><li class="src short"><a href="#v:evVarOf">evVarOf</a> :: <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a -> <a href="Var.html#t:EvVar">EvVar</a></li><li class="src short"><a href="#v:evVarX">evVarX</a> :: <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a -> a</li><li class="src short"><a href="#v:evVarOfPred">evVarOfPred</a> :: <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a -> <a href="Type.html#t:PredType">PredType</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:WantedEvVar">WantedEvVar</a> = <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> <a href="TcRnTypes.html#t:WantedLoc">WantedLoc</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:Implication">Implication</a> = <a href="#v:Implic">Implic</a> {<ul class="subs"><li><a href="#v:ic_untch">ic_untch</a> :: <a href="TcRnTypes.html#t:Untouchables">Untouchables</a></li><li><a href="#v:ic_env">ic_env</a> :: <a href="TcRnTypes.html#t:TcTypeEnv">TcTypeEnv</a></li><li><a href="#v:ic_skols">ic_skols</a> :: <a href="TcType.html#t:TcTyVarSet">TcTyVarSet</a></li><li><a href="#v:ic_given">ic_given</a> :: [<a href="Var.html#t:EvVar">EvVar</a>]</li><li><a href="#v:ic_loc">ic_loc</a> :: <a href="TcRnTypes.html#t:GivenLoc">GivenLoc</a></li><li><a href="#v:ic_wanted">ic_wanted</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></li><li><a href="#v:ic_insol">ic_insol</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:ic_binds">ic_binds</a> :: <a href="TcEvidence.html#t:EvBindsVar">EvBindsVar</a></li></ul>}</li><li class="src short"><span class="keyword">data</span> <a href="#t:CtLoc">CtLoc</a> orig = <a href="#v:CtLoc">CtLoc</a> orig <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>]</li><li class="src short"><a href="#v:ctLocSpan">ctLocSpan</a> :: <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></li><li class="src short"><a href="#v:ctLocOrigin">ctLocOrigin</a> :: <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o -> o</li><li class="src short"><a href="#v:setCtLocOrigin">setCtLocOrigin</a> :: <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o -> o' -> <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o'</li><li class="src short"><span class="keyword">data</span> <a href="#t:CtOrigin">CtOrigin</a> <ul class="subs"><li>= <a href="#v:OccurrenceOf">OccurrenceOf</a> <a href="Name.html#t:Name">Name</a> </li><li>| <a href="#v:AppOrigin">AppOrigin</a> </li><li>| <a href="#v:SpecPragOrigin">SpecPragOrigin</a> <a href="Name.html#t:Name">Name</a> </li><li>| <a href="#v:TypeEqOrigin">TypeEqOrigin</a> <a href="TcRnTypes.html#t:EqOrigin">EqOrigin</a> </li><li>| <a href="#v:IPOccOrigin">IPOccOrigin</a> (<a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>) </li><li>| <a href="#v:LiteralOrigin">LiteralOrigin</a> (<a href="HsLit.html#t:HsOverLit">HsOverLit</a> <a href="Name.html#t:Name">Name</a>) </li><li>| <a href="#v:NegateOrigin">NegateOrigin</a> </li><li>| <a href="#v:ArithSeqOrigin">ArithSeqOrigin</a> (<a href="HsExpr.html#t:ArithSeqInfo">ArithSeqInfo</a> <a href="Name.html#t:Name">Name</a>) </li><li>| <a href="#v:PArrSeqOrigin">PArrSeqOrigin</a> (<a href="HsExpr.html#t:ArithSeqInfo">ArithSeqInfo</a> <a href="Name.html#t:Name">Name</a>) </li><li>| <a href="#v:SectionOrigin">SectionOrigin</a> </li><li>| <a href="#v:TupleOrigin">TupleOrigin</a> </li><li>| <a href="#v:AmbigOrigin">AmbigOrigin</a> <a href="Name.html#t:Name">Name</a> </li><li>| <a href="#v:ExprSigOrigin">ExprSigOrigin</a> </li><li>| <a href="#v:PatSigOrigin">PatSigOrigin</a> </li><li>| <a href="#v:PatOrigin">PatOrigin</a> </li><li>| <a href="#v:RecordUpdOrigin">RecordUpdOrigin</a> </li><li>| <a href="#v:ViewPatOrigin">ViewPatOrigin</a> </li><li>| <a href="#v:ScOrigin">ScOrigin</a> </li><li>| <a href="#v:DerivOrigin">DerivOrigin</a> </li><li>| <a href="#v:StandAloneDerivOrigin">StandAloneDerivOrigin</a> </li><li>| <a href="#v:DefaultOrigin">DefaultOrigin</a> </li><li>| <a href="#v:DoOrigin">DoOrigin</a> </li><li>| <a href="#v:MCompOrigin">MCompOrigin</a> </li><li>| <a href="#v:IfOrigin">IfOrigin</a> </li><li>| <a href="#v:ProcOrigin">ProcOrigin</a> </li><li>| <a href="#v:AnnOrigin">AnnOrigin</a> </li><li>| <a href="#v:FunDepOrigin">FunDepOrigin</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:EqOrigin">EqOrigin</a> = <a href="#v:UnifyOrigin">UnifyOrigin</a> {<ul class="subs"><li><a href="#v:uo_actual">uo_actual</a> :: <a href="TcType.html#t:TcType">TcType</a></li><li><a href="#v:uo_expected">uo_expected</a> :: <a href="TcType.html#t:TcType">TcType</a></li></ul>}</li><li class="src short"><span class="keyword">type</span> <a href="#t:WantedLoc">WantedLoc</a> = <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:GivenLoc">GivenLoc</a> = <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> <a href="TcRnTypes.html#t:SkolemInfo">SkolemInfo</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:GivenKind">GivenKind</a> <ul class="subs"><li>= <a href="#v:GivenOrig">GivenOrig</a> </li><li>| <a href="#v:GivenSolved">GivenSolved</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="TcEvidence.html#t:EvTerm">EvTerm</a>) </li></ul></li><li class="src short"><a href="#v:pushErrCtxt">pushErrCtxt</a> :: orig -> <a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a> -> <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> orig -> <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> orig</li><li class="src short"><span class="keyword">data</span> <a href="#t:SkolemInfo">SkolemInfo</a> <ul class="subs"><li>= <a href="#v:SigSkol">SigSkol</a> <a href="TcType.html#t:UserTypeCtxt">UserTypeCtxt</a> <a href="Type.html#t:Type">Type</a> </li><li>| <a href="#v:ClsSkol">ClsSkol</a> <a href="Class.html#t:Class">Class</a> </li><li>| <a href="#v:InstSkol">InstSkol</a> </li><li>| <a href="#v:DataSkol">DataSkol</a> </li><li>| <a href="#v:FamInstSkol">FamInstSkol</a> </li><li>| <a href="#v:PatSkol">PatSkol</a> <a href="DataCon.html#t:DataCon">DataCon</a> (<a href="HsExpr.html#t:HsMatchContext">HsMatchContext</a> <a href="Name.html#t:Name">Name</a>) </li><li>| <a href="#v:ArrowSkol">ArrowSkol</a> </li><li>| <a href="#v:IPSkol">IPSkol</a> [<a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>] </li><li>| <a href="#v:RuleSkol">RuleSkol</a> <a href="BasicTypes.html#t:RuleName">RuleName</a> </li><li>| <a href="#v:InferSkol">InferSkol</a> [(<a href="Name.html#t:Name">Name</a>, <a href="TcType.html#t:TcType">TcType</a>)] </li><li>| <a href="#v:BracketSkol">BracketSkol</a> </li><li>| <a href="#v:UnifyForAllSkol">UnifyForAllSkol</a> <a href="TcType.html#t:TcType">TcType</a> </li><li>| <a href="#v:UnkSkol">UnkSkol</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:CtFlavor">CtFlavor</a> <ul class="subs"><li>= <a href="#v:Given">Given</a> <a href="TcRnTypes.html#t:GivenLoc">GivenLoc</a> <a href="TcRnTypes.html#t:GivenKind">GivenKind</a> </li><li>| <a href="#v:Derived">Derived</a> <a href="TcRnTypes.html#t:WantedLoc">WantedLoc</a> </li><li>| <a href="#v:Wanted">Wanted</a> <a href="TcRnTypes.html#t:WantedLoc">WantedLoc</a> </li></ul></li><li class="src short"><a href="#v:pprFlavorArising">pprFlavorArising</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:isWanted">isWanted</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isGivenOrSolved">isGivenOrSolved</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isGiven_maybe">isGiven_maybe</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="TcRnTypes.html#t:GivenKind">GivenKind</a></li><li class="src short"><a href="#v:isSolved">isSolved</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isDerived">isDerived</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:pprEvVarTheta">pprEvVarTheta</a> :: [<a href="Var.html#t:EvVar">EvVar</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprWantedEvVar">pprWantedEvVar</a> :: <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprWantedsWithLocs">pprWantedsWithLocs</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprEvVars">pprEvVars</a> :: [<a href="Var.html#t:EvVar">EvVar</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprEvVarWithType">pprEvVarWithType</a> :: <a href="Var.html#t:EvVar">EvVar</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprWantedEvVarWithLoc">pprWantedEvVarWithLoc</a> :: <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprArising">pprArising</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:pprArisingAt">pprArisingAt</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> o => <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o -> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:TcId">TcId</a> = <a href="Var.html#t:Id">Id</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:TcIdSet">TcIdSet</a> = <a href="VarSet.html#t:IdSet">IdSet</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:TcTyVarBind">TcTyVarBind</a> = <a href="#v:TcTyVarBind">TcTyVarBind</a> <a href="TcType.html#t:TcTyVar">TcTyVar</a> <a href="TcType.html#t:TcType">TcType</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:TcTyVarBinds">TcTyVarBinds</a> = <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:TcTyVarBind">TcTyVarBind</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcRnIf" class="def">TcRnIf</a> a b c = <a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> a b) c</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcRn" class="def">TcRn</a> a = <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcM" class="def">TcM</a> a = <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:RnM" class="def">RnM</a> a = <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfM" class="def">IfM</a> lcl a = <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> <a href="TcRnTypes.html#t:IfGblEnv">IfGblEnv</a> lcl a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfL" class="def">IfL</a> a = <a href="TcRnTypes.html#t:IfM">IfM</a> <a href="TcRnTypes.html#t:IfLclEnv">IfLclEnv</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfG" class="def">IfG</a> a = <a href="TcRnTypes.html#t:IfM">IfM</a> () a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcRef" class="def">TcRef</a> a = <a href="IOEnv.html#t:IORef">IORef</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Env" class="def">Env</a> gbl lcl </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Env" class="def">Env</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:env_top" class="def">env_top</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:env_us" class="def">env_us</a> :: !(<a href="IOEnv.html#t:IORef">IORef</a> <a href="UniqSupply.html#t:UniqSupply">UniqSupply</a>)</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:env_gbl" class="def">env_gbl</a> :: gbl</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:env_lcl" class="def">env_lcl</a> :: lcl</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Env" class="caption collapser" onclick="toggleSection('i:Env')">Instances</p><div id="section.i:Env" class="show"><table><tr><td class="src"><a href="../template-haskell-2.7.0.0/Language-Haskell-TH-Syntax.html#t:Quasi">Quasi</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a>))</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="UniqSupply.html#t:MonadUnique">MonadUnique</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> gbl lcl))</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="HscTypes.html#t:MonadThings">MonadThings</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a>))</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="HscTypes.html#t:MonadThings">MonadThings</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> DsGblEnv DsLclEnv))</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TcGblEnv" class="def">TcGblEnv</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:TcGblEnv" class="def">TcGblEnv</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:tcg_mod" class="def">tcg_mod</a> :: <a href="Module.html#t:Module">Module</a></dt><dd class="doc"><p>Module being compiled </p></dd><dt class="src"><a name="v:tcg_src" class="def">tcg_src</a> :: <a href="DriverPhases.html#t:HscSource">HscSource</a></dt><dd class="doc"><p>What kind of module (regular Haskell, hs-boot, ext-core) </p></dd><dt class="src"><a name="v:tcg_rdr_env" class="def">tcg_rdr_env</a> :: <a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a></dt><dd class="doc"><p>Top level envt; used during renaming </p></dd><dt class="src"><a name="v:tcg_default" class="def">tcg_default</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="Type.html#t:Type">Type</a>]</dt><dd class="doc"><p>Types used for defaulting. <code>Nothing</code> => no <code>default</code> decl </p></dd><dt class="src"><a name="v:tcg_fix_env" class="def">tcg_fix_env</a> :: <a href="HscTypes.html#t:FixityEnv">FixityEnv</a></dt><dd class="doc"><p>Just for things in this module </p></dd><dt class="src"><a name="v:tcg_field_env" class="def">tcg_field_env</a> :: <a href="TcRnTypes.html#t:RecFieldEnv">RecFieldEnv</a></dt><dd class="doc"><p>Just for things in this module </p></dd><dt class="src"><a name="v:tcg_type_env" class="def">tcg_type_env</a> :: <a href="HscTypes.html#t:TypeEnv">TypeEnv</a></dt><dd class="doc"><p>Global type env for the module we are compiling now. All TyCons and Classes (for this module) end up in here right away, along with their derived constructors, selectors. </p><p>(Ids defined in this module start in the local envt, though they move to the global envt during zonking) </p></dd><dt class="src"><a name="v:tcg_type_env_var" class="def">tcg_type_env_var</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="HscTypes.html#t:TypeEnv">TypeEnv</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_inst_env" class="def">tcg_inst_env</a> :: <a href="InstEnv.html#t:InstEnv">InstEnv</a></dt><dd class="doc"><p>Instance envt for <em>home-package</em> modules; Includes the dfuns in tcg_insts </p></dd><dt class="src"><a name="v:tcg_fam_inst_env" class="def">tcg_fam_inst_env</a> :: <a href="FamInstEnv.html#t:FamInstEnv">FamInstEnv</a></dt><dd class="doc"><p>Ditto for family instances </p></dd><dt class="src"><a name="v:tcg_exports" class="def">tcg_exports</a> :: [<a href="Avail.html#t:AvailInfo">AvailInfo</a>]</dt><dd class="doc"><p>What is exported </p></dd><dt class="src"><a name="v:tcg_imports" class="def">tcg_imports</a> :: <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a></dt><dd class="doc"><p>Information about what was imported from where, including things bound in this module. Also store Safe Haskell info here about transative trusted packaage requirements. </p></dd><dt class="src"><a name="v:tcg_dus" class="def">tcg_dus</a> :: <a href="NameSet.html#t:DefUses">DefUses</a></dt><dd class="doc"><p>What is defined in this module and what is used. The latter is used to generate </p><p>(a) version tracking; no need to recompile if these things have not changed version stamp </p><p>(b) unused-import info </p></dd><dt class="src"><a name="v:tcg_keep" class="def">tcg_keep</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="NameSet.html#t:NameSet">NameSet</a></dt><dd class="doc"><p>Locally-defined top-level names to keep alive. </p><p><a href="Keep alive.html">Keep alive</a> means give them an Exported flag, so that the simplifier does not discard them as dead code, and so that they are exposed in the interface file (but not to export to the user). </p><p>Some things, like dict-fun Ids and default-method Ids are <a href="born.html">born</a> with the Exported flag on, for exactly the above reason, but some we only discover as we go. Specifically: </p><ul><li> The to/from functions for generic data types </li><li> Top-level variables appearing free in the RHS of an orphan rule </li><li> Top-level variables appearing free in a TH bracket </li></ul></dd><dt class="src"><a name="v:tcg_th_used" class="def">tcg_th_used</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc"><p><code>True</code> <a href="=">=</a> Template Haskell syntax used. </p><p>We need this so that we can generate a dependency on the Template Haskell package, becuase the desugarer is going to emit loads of references to TH symbols. The reference is implicit rather than explicit, so we have to zap a mutable variable. </p></dd><dt class="src"><a name="v:tcg_th_splice_used" class="def">tcg_th_splice_used</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc"><p><code>True</code> <a href="=">=</a> A Template Haskell splice was used. </p><p>Splices disable recompilation avoidance (see #481) </p></dd><dt class="src"><a name="v:tcg_dfun_n" class="def">tcg_dfun_n</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="OccName.html#t:OccSet">OccSet</a></dt><dd class="doc"><p>Allows us to choose unique DFun names. </p></dd><dt class="src"><a name="v:tcg_rn_exports" class="def">tcg_rn_exports</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="SrcLoc.html#t:Located">Located</a> (<a href="HsImpExp.html#t:IE">IE</a> <a href="Name.html#t:Name">Name</a>)]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_rn_imports" class="def">tcg_rn_imports</a> :: [<a href="HsImpExp.html#t:LImportDecl">LImportDecl</a> <a href="Name.html#t:Name">Name</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_used_rdrnames" class="def">tcg_used_rdrnames</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> (<a href="../containers-0.4.2.1/Data-Set.html#t:Set">Set</a> <a href="RdrName.html#t:RdrName">RdrName</a>)</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_rn_decls" class="def">tcg_rn_decls</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsDecls.html#t:HsGroup">HsGroup</a> <a href="Name.html#t:Name">Name</a>)</dt><dd class="doc"><p>Renamed decls, maybe. <code>Nothing</code> <a href="=">=</a> Don't retain renamed decls. </p></dd><dt class="src"><a name="v:tcg_dependent_files" class="def">tcg_dependent_files</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> [<a href="../base-4.5.1.0/System-IO.html#t:FilePath">FilePath</a>]</dt><dd class="doc"><p>dependencies from addDependentFile </p></dd><dt class="src"><a name="v:tcg_ev_binds" class="def">tcg_ev_binds</a> :: <a href="Bag.html#t:Bag">Bag</a> <a href="TcEvidence.html#t:EvBind">EvBind</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_binds" class="def">tcg_binds</a> :: <a href="HsBinds.html#t:LHsBinds">LHsBinds</a> <a href="Var.html#t:Id">Id</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_sigs" class="def">tcg_sigs</a> :: <a href="NameSet.html#t:NameSet">NameSet</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_imp_specs" class="def">tcg_imp_specs</a> :: [<a href="HsBinds.html#t:LTcSpecPrag">LTcSpecPrag</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_warns" class="def">tcg_warns</a> :: <a href="HscTypes.html#t:Warnings">Warnings</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_anns" class="def">tcg_anns</a> :: [<a href="Annotations.html#t:Annotation">Annotation</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_tcs" class="def">tcg_tcs</a> :: [<a href="TyCon.html#t:TyCon">TyCon</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_insts" class="def">tcg_insts</a> :: [<a href="InstEnv.html#t:Instance">Instance</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_fam_insts" class="def">tcg_fam_insts</a> :: [<a href="FamInstEnv.html#t:FamInst">FamInst</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_rules" class="def">tcg_rules</a> :: [<a href="HsDecls.html#t:LRuleDecl">LRuleDecl</a> <a href="Var.html#t:Id">Id</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_fords" class="def">tcg_fords</a> :: [<a href="HsDecls.html#t:LForeignDecl">LForeignDecl</a> <a href="Var.html#t:Id">Id</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_vects" class="def">tcg_vects</a> :: [<a href="HsDecls.html#t:LVectDecl">LVectDecl</a> <a href="Var.html#t:Id">Id</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcg_doc_hdr" class="def">tcg_doc_hdr</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="HsDoc.html#t:LHsDocString">LHsDocString</a></dt><dd class="doc"><p>Maybe Haddock header docs </p></dd><dt class="src"><a name="v:tcg_hpc" class="def">tcg_hpc</a> :: <a href="HscTypes.html#t:AnyHpcUsage">AnyHpcUsage</a></dt><dd class="doc"><p><code>True</code> if any part of the prog uses hpc instrumentation. </p></dd><dt class="src"><a name="v:tcg_main" class="def">tcg_main</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Name.html#t:Name">Name</a></dt><dd class="doc"><p>The Name of the main function, if this module is the main module. </p></dd><dt class="src"><a name="v:tcg_safeInfer" class="def">tcg_safeInfer</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:TcGblEnv" class="caption collapser" onclick="toggleSection('i:TcGblEnv')">Instances</p><div id="section.i:TcGblEnv" class="show"><table><tr><td class="src"><a href="../template-haskell-2.7.0.0/Language-Haskell-TH-Syntax.html#t:Quasi">Quasi</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a>))</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="HscTypes.html#t:MonadThings">MonadThings</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a>))</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TcLclEnv" class="def">TcLclEnv</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:TcLclEnv" class="def">TcLclEnv</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:tcl_loc" class="def">tcl_loc</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_ctxt" class="def">tcl_ctxt</a> :: [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_errs" class="def">tcl_errs</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="ErrUtils.html#t:Messages">Messages</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_th_ctxt" class="def">tcl_th_ctxt</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_arrow_ctxt" class="def">tcl_arrow_ctxt</a> :: <a href="TcRnTypes.html#t:ArrowCtxt">ArrowCtxt</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_rdr" class="def">tcl_rdr</a> :: <a href="RdrName.html#t:LocalRdrEnv">LocalRdrEnv</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_env" class="def">tcl_env</a> :: <a href="TcRnTypes.html#t:TcTypeEnv">TcTypeEnv</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_tyvars" class="def">tcl_tyvars</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcType.html#t:TcTyVarSet">TcTyVarSet</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_lie" class="def">tcl_lie</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_meta" class="def">tcl_meta</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="Unique.html#t:Unique">Unique</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tcl_untch" class="def">tcl_untch</a> :: <a href="Unique.html#t:Unique">Unique</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:TcLclEnv" class="caption collapser" onclick="toggleSection('i:TcLclEnv')">Instances</p><div id="section.i:TcLclEnv" class="show"><table><tr><td class="src"><a href="../template-haskell-2.7.0.0/Language-Haskell-TH-Syntax.html#t:Quasi">Quasi</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a>))</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="HscTypes.html#t:MonadThings">MonadThings</a> (<a href="IOEnv.html#t:IOEnv">IOEnv</a> (<a href="TcRnTypes.html#t:Env">Env</a> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</a>))</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IfGblEnv" class="def">IfGblEnv</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfGblEnv" class="def">IfGblEnv</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:if_rec_types" class="def">if_rec_types</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Module.html#t:Module">Module</a>, <a href="TcRnTypes.html#t:IfG">IfG</a> <a href="HscTypes.html#t:TypeEnv">TypeEnv</a>)</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IfLclEnv" class="def">IfLclEnv</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfLclEnv" class="def">IfLclEnv</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:if_mod" class="def">if_mod</a> :: <a href="Module.html#t:Module">Module</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:if_loc" class="def">if_loc</a> :: <a href="Outputable.html#t:SDoc">SDoc</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:if_tv_env" class="def">if_tv_env</a> :: <a href="UniqFM.html#t:UniqFM">UniqFM</a> <a href="Var.html#t:TyVar">TyVar</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:if_id_env" class="def">if_id_env</a> :: <a href="UniqFM.html#t:UniqFM">UniqFM</a> <a href="Var.html#t:Id">Id</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:ErrCtxt" class="def">ErrCtxt</a> = (<a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="VarEnv.html#t:TidyEnv">TidyEnv</a>, <a href="ErrUtils.html#t:Message">Message</a>))</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:RecFieldEnv" class="def">RecFieldEnv</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:RecFields" class="def">RecFields</a> (<a href="NameEnv.html#t:NameEnv">NameEnv</a> [<a href="Name.html#t:Name">Name</a>]) <a href="NameSet.html#t:NameSet">NameSet</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:ImportAvails" class="def">ImportAvails</a> </p><div class="doc"><p><code><a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a></code> summarises what was imported from where, irrespective of whether the imported things are actually used or not. It is used: </p><ul><li> when processing the export list, </li><li> when constructing usage info for the interface file, </li><li> to identify the list of directly imported modules for initialisation purposes and for optimised overlap checking of family instances, </li><li> when figuring out what things are really unused </li></ul></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ImportAvails" class="def">ImportAvails</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:imp_mods" class="def">imp_mods</a> :: <a href="HscTypes.html#t:ImportedMods">ImportedMods</a></dt><dd class="doc"><p>Domain is all directly-imported modules The <code><a href="Module.html#t:ModuleName">ModuleName</a></code> is what the module was imported as, e.g. in <code> import Foo as Bar </code> it is <code>Bar</code>. </p><p>The <code><a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></code> means: </p><ul><li> <code>True</code> => import was <code>import Foo ()</code> </li><li> <code>False</code> => import was some other form </li></ul><p>Used </p><p>(a) to help construct the usage information in the interface file; if we import somethign we need to recompile if the export version changes </p><p>(b) to specify what child modules to initialise </p><p>We need a full ModuleEnv rather than a ModuleNameEnv here, because we might be importing modules of the same name from different packages. (currently not the case, but might be in the future). </p></dd><dt class="src"><a name="v:imp_dep_mods" class="def">imp_dep_mods</a> :: <a href="Module.html#t:ModuleNameEnv">ModuleNameEnv</a> (<a href="Module.html#t:ModuleName">ModuleName</a>, <a href="HscTypes.html#t:IsBootInterface">IsBootInterface</a>)</dt><dd class="doc"><p>Home-package modules needed by the module being compiled </p><p>It doesn't matter whether any of these dependencies are actually <em>used</em> when compiling the module; they are listed if they are below it at all. For example, suppose M imports A which imports X. Then compiling M might not need to consult X.hi, but X is still listed in M's dependencies. </p></dd><dt class="src"><a name="v:imp_dep_pkgs" class="def">imp_dep_pkgs</a> :: [<a href="Module.html#t:PackageId">PackageId</a>]</dt><dd class="doc"><p>Packages needed by the module being compiled, whether directly, or via other modules in this package, or via modules imported from other packages. </p></dd><dt class="src"><a name="v:imp_trust_pkgs" class="def">imp_trust_pkgs</a> :: [<a href="Module.html#t:PackageId">PackageId</a>]</dt><dd class="doc"><p>This is strictly a subset of imp_dep_pkgs and records the packages the current module needs to trust for Safe Haskell compilation to succeed. A package is required to be trusted if we are dependent on a trustworthy module in that package. While perhaps making imp_dep_pkgs a tuple of (PackageId, Bool) where True for the bool indicates the package is required to be trusted is the more logical design, doing so complicates a lot of code not concerned with Safe Haskell. See Note [RnNames . Tracking Trust Transitively] </p></dd><dt class="src"><a name="v:imp_trust_own_pkg" class="def">imp_trust_own_pkg</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc"><p>Do we require that our own package is trusted? This is to handle efficiently the case where a Safe module imports a Trustworthy module that resides in the same package as it. See Note [RnNames . Trust Own Package] </p></dd><dt class="src"><a name="v:imp_orphs" class="def">imp_orphs</a> :: [<a href="Module.html#t:Module">Module</a>]</dt><dd class="doc"><p>Orphan modules below us in the import tree (and maybe including us for imported modules) </p></dd><dt class="src"><a name="v:imp_finsts" class="def">imp_finsts</a> :: [<a href="Module.html#t:Module">Module</a>]</dt><dd class="doc"><p>Family instance modules below us in the import tree (and maybe including us for imported modules) </p></dd></dl><div class="clear"></div></div></td></tr></table></div></div><div class="top"><p class="src"><a name="v:emptyImportAvails" class="def">emptyImportAvails</a> :: <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a></p></div><div class="top"><p class="src"><a name="v:plusImportAvails" class="def">plusImportAvails</a> :: <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a> -> <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a> -> <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a></p><div class="doc"><p>Union two ImportAvails </p><p>This function is a key part of Import handling, basically for each import we create a seperate ImportAvails structure and then union them all together with this function. </p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:WhereFrom" class="def">WhereFrom</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ImportByUser" class="def">ImportByUser</a> <a href="HscTypes.html#t:IsBootInterface">IsBootInterface</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ImportBySystem" class="def">ImportBySystem</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:WhereFrom" class="caption collapser" onclick="toggleSection('i:WhereFrom')">Instances</p><div id="section.i:WhereFrom" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:WhereFrom">WhereFrom</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:mkModDeps" class="def">mkModDeps</a> :: [(<a href="Module.html#t:ModuleName">ModuleName</a>, <a href="HscTypes.html#t:IsBootInterface">IsBootInterface</a>)] -> <a href="Module.html#t:ModuleNameEnv">ModuleNameEnv</a> (<a href="Module.html#t:ModuleName">ModuleName</a>, <a href="HscTypes.html#t:IsBootInterface">IsBootInterface</a>)</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcTypeEnv" class="def">TcTypeEnv</a> = <a href="NameEnv.html#t:NameEnv">NameEnv</a> <a href="TcRnTypes.html#t:TcTyThing">TcTyThing</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TcTyThing" class="def">TcTyThing</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:AGlobal" class="def">AGlobal</a> <a href="Type.html#t:TyThing">TyThing</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ATcId" class="def">ATcId</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:tct_id" class="def">tct_id</a> :: <a href="TcRnTypes.html#t:TcId">TcId</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tct_closed" class="def">tct_closed</a> :: <a href="BasicTypes.html#t:TopLevelFlag">TopLevelFlag</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:tct_level" class="def">tct_level</a> :: <a href="TcRnTypes.html#t:ThLevel">ThLevel</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:ATyVar" class="def">ATyVar</a> <a href="Name.html#t:Name">Name</a> <a href="TcType.html#t:TcType">TcType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AThing" class="def">AThing</a> <a href="TcType.html#t:TcKind">TcKind</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ANothing" class="def">ANothing</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TcTyThing" class="caption collapser" onclick="toggleSection('i:TcTyThing')">Instances</p><div id="section.i:TcTyThing" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:TcTyThing">TcTyThing</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:pprTcTyThingCategory" class="def">pprTcTyThingCategory</a> :: <a href="TcRnTypes.html#t:TcTyThing">TcTyThing</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:ThStage" class="def">ThStage</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Splice" class="def">Splice</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Comp" class="def">Comp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Brack" class="def">Brack</a> <a href="TcRnTypes.html#t:ThStage">ThStage</a> (<a href="TcRnTypes.html#t:TcRef">TcRef</a> [<a href="HsExpr.html#t:PendingSplice">PendingSplice</a>]) (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a>)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:ThStage" class="caption collapser" onclick="toggleSection('i:ThStage')">Instances</p><div id="section.i:ThStage" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:ThStage">ThStage</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:topStage" class="def">topStage</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a></p></div><div class="top"><p class="src"><a name="v:topAnnStage" class="def">topAnnStage</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a></p></div><div class="top"><p class="src"><a name="v:topSpliceStage" class="def">topSpliceStage</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:ThLevel" class="def">ThLevel</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:impLevel" class="def">impLevel</a> :: <a href="TcRnTypes.html#t:ThLevel">ThLevel</a></p></div><div class="top"><p class="src"><a name="v:outerLevel" class="def">outerLevel</a> :: <a href="TcRnTypes.html#t:ThLevel">ThLevel</a></p></div><div class="top"><p class="src"><a name="v:thLevel" class="def">thLevel</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</a> -> <a href="TcRnTypes.html#t:ThLevel">ThLevel</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:ArrowCtxt" class="def">ArrowCtxt</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:NoArrowCtxt" class="def">NoArrowCtxt</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a name="v:newArrowScope" class="def">newArrowScope</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> a</p></div><div class="top"><p class="src"><a name="v:escapeArrowScope" class="def">escapeArrowScope</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Untouchables" class="def">Untouchables</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:NoUntouchables" class="def">NoUntouchables</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TouchableRange" class="def">TouchableRange</a> <a href="Unique.html#t:Unique">Unique</a> <a href="Unique.html#t:Unique">Unique</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Untouchables" class="caption collapser" onclick="toggleSection('i:Untouchables')">Instances</p><div id="section.i:Untouchables" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:Untouchables">Untouchables</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:inTouchableRange" class="def">inTouchableRange</a> :: <a href="TcRnTypes.html#t:Untouchables">Untouchables</a> -> <a href="TcType.html#t:TcTyVar">TcTyVar</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isNoUntouchables" class="def">isNoUntouchables</a> :: <a href="TcRnTypes.html#t:Untouchables">Untouchables</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Xi" class="def">Xi</a> = <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Ct" class="def">Ct</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:CDictCan" class="def">CDictCan</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:cc_id" class="def">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_flavor" class="def">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_class" class="def">cc_class</a> :: <a href="Class.html#t:Class">Class</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_tyargs" class="def">cc_tyargs</a> :: [<a href="TcRnTypes.html#t:Xi">Xi</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_depth" class="def">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:CIPCan" class="def">CIPCan</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:cc_id" class="def">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_flavor" class="def">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_ip_nm" class="def">cc_ip_nm</a> :: <a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_ip_ty" class="def">cc_ip_ty</a> :: <a href="TcType.html#t:TcTauType">TcTauType</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_depth" class="def">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:CIrredEvCan" class="def">CIrredEvCan</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:cc_id" class="def">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_flavor" class="def">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_ty" class="def">cc_ty</a> :: <a href="TcRnTypes.html#t:Xi">Xi</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_depth" class="def">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:CTyEqCan" class="def">CTyEqCan</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:cc_id" class="def">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_flavor" class="def">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_tyvar" class="def">cc_tyvar</a> :: <a href="TcType.html#t:TcTyVar">TcTyVar</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_rhs" class="def">cc_rhs</a> :: <a href="TcRnTypes.html#t:Xi">Xi</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_depth" class="def">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:CFunEqCan" class="def">CFunEqCan</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:cc_id" class="def">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_flavor" class="def">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_fun" class="def">cc_fun</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_tyargs" class="def">cc_tyargs</a> :: [<a href="TcRnTypes.html#t:Xi">Xi</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_rhs" class="def">cc_rhs</a> :: <a href="TcRnTypes.html#t:Xi">Xi</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_depth" class="def">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr><tr><td class="src"><a name="v:CNonCanonical" class="def">CNonCanonical</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:cc_id" class="def">cc_id</a> :: <a href="Var.html#t:EvVar">EvVar</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_flavor" class="def">cc_flavor</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cc_depth" class="def">cc_depth</a> :: <a href="TcRnTypes.html#t:SubGoalDepth">SubGoalDepth</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Ct" class="caption collapser" onclick="toggleSection('i:Ct')">Instances</p><div id="section.i:Ct" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:Ct">Ct</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Cts" class="def">Cts</a> = <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:Ct">Ct</a></p></div><div class="top"><p class="src"><a name="v:emptyCts" class="def">emptyCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a></p></div><div class="top"><p class="src"><a name="v:andCts" class="def">andCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcRnTypes.html#t:Cts">Cts</a></p></div><div class="top"><p class="src"><a name="v:andManyCts" class="def">andManyCts</a> :: [<a href="TcRnTypes.html#t:Cts">Cts</a>] -> <a href="TcRnTypes.html#t:Cts">Cts</a></p></div><div class="top"><p class="src"><a name="v:singleCt" class="def">singleCt</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="TcRnTypes.html#t:Cts">Cts</a></p></div><div class="top"><p class="src"><a name="v:extendCts" class="def">extendCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="TcRnTypes.html#t:Cts">Cts</a></p></div><div class="top"><p class="src"><a name="v:isEmptyCts" class="def">isEmptyCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isCTyEqCan" class="def">isCTyEqCan</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isCDictCan_Maybe" class="def">isCDictCan_Maybe</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Class.html#t:Class">Class</a></p></div><div class="top"><p class="src"><a name="v:isCIPCan_Maybe" class="def">isCIPCan_Maybe</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:isCFunEqCan_Maybe" class="def">isCFunEqCan_Maybe</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:isCIrredEvCan" class="def">isCIrredEvCan</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isCNonCanonical" class="def">isCNonCanonical</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:SubGoalDepth" class="def">SubGoalDepth</a> = <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:ctPred" class="def">ctPred</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="Type.html#t:PredType">PredType</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:WantedConstraints" class="def">WantedConstraints</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:WC" class="def">WC</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:wc_flat" class="def">wc_flat</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:wc_impl" class="def">wc_impl</a> :: <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:Implication">Implication</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:wc_insol" class="def">wc_insol</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:WantedConstraints" class="caption collapser" onclick="toggleSection('i:WantedConstraints')">Instances</p><div id="section.i:WantedConstraints" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:insolubleWC" class="def">insolubleWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:emptyWC" class="def">emptyWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></p></div><div class="top"><p class="src"><a name="v:isEmptyWC" class="def">isEmptyWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:andWC" class="def">andWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></p></div><div class="top"><p class="src"><a name="v:addFlats" class="def">addFlats</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></p></div><div class="top"><p class="src"><a name="v:addImplics" class="def">addImplics</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></p></div><div class="top"><p class="src"><a name="v:mkFlatWC" class="def">mkFlatWC</a> :: [<a href="TcRnTypes.html#t:Ct">Ct</a>] -> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:EvVarX" class="def">EvVarX</a> a </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:EvVarX" class="def">EvVarX</a> <a href="Var.html#t:EvVar">EvVar</a> a</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:EvVarX" class="caption collapser" onclick="toggleSection('i:EvVarX')">Instances</p><div id="section.i:EvVarX" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> (<a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:mkEvVarX" class="def">mkEvVarX</a> :: <a href="Var.html#t:EvVar">EvVar</a> -> a -> <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a</p></div><div class="top"><p class="src"><a name="v:evVarOf" class="def">evVarOf</a> :: <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a -> <a href="Var.html#t:EvVar">EvVar</a></p></div><div class="top"><p class="src"><a name="v:evVarX" class="def">evVarX</a> :: <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a -> a</p></div><div class="top"><p class="src"><a name="v:evVarOfPred" class="def">evVarOfPred</a> :: <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> a -> <a href="Type.html#t:PredType">PredType</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:WantedEvVar" class="def">WantedEvVar</a> = <a href="TcRnTypes.html#t:EvVarX">EvVarX</a> <a href="TcRnTypes.html#t:WantedLoc">WantedLoc</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Implication" class="def">Implication</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Implic" class="def">Implic</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:ic_untch" class="def">ic_untch</a> :: <a href="TcRnTypes.html#t:Untouchables">Untouchables</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ic_env" class="def">ic_env</a> :: <a href="TcRnTypes.html#t:TcTypeEnv">TcTypeEnv</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ic_skols" class="def">ic_skols</a> :: <a href="TcType.html#t:TcTyVarSet">TcTyVarSet</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ic_given" class="def">ic_given</a> :: [<a href="Var.html#t:EvVar">EvVar</a>]</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ic_loc" class="def">ic_loc</a> :: <a href="TcRnTypes.html#t:GivenLoc">GivenLoc</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ic_wanted" class="def">ic_wanted</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ic_insol" class="def">ic_insol</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:ic_binds" class="def">ic_binds</a> :: <a href="TcEvidence.html#t:EvBindsVar">EvBindsVar</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:Implication" class="caption collapser" onclick="toggleSection('i:Implication')">Instances</p><div id="section.i:Implication" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:Implication">Implication</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:CtLoc" class="def">CtLoc</a> orig </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:CtLoc" class="def">CtLoc</a> orig <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>]</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a name="v:ctLocSpan" class="def">ctLocSpan</a> :: <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></p></div><div class="top"><p class="src"><a name="v:ctLocOrigin" class="def">ctLocOrigin</a> :: <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o -> o</p></div><div class="top"><p class="src"><a name="v:setCtLocOrigin" class="def">setCtLocOrigin</a> :: <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o -> o' -> <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o'</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:CtOrigin" class="def">CtOrigin</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:OccurrenceOf" class="def">OccurrenceOf</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AppOrigin" class="def">AppOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SpecPragOrigin" class="def">SpecPragOrigin</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TypeEqOrigin" class="def">TypeEqOrigin</a> <a href="TcRnTypes.html#t:EqOrigin">EqOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IPOccOrigin" class="def">IPOccOrigin</a> (<a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:LiteralOrigin" class="def">LiteralOrigin</a> (<a href="HsLit.html#t:HsOverLit">HsOverLit</a> <a href="Name.html#t:Name">Name</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NegateOrigin" class="def">NegateOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ArithSeqOrigin" class="def">ArithSeqOrigin</a> (<a href="HsExpr.html#t:ArithSeqInfo">ArithSeqInfo</a> <a href="Name.html#t:Name">Name</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:PArrSeqOrigin" class="def">PArrSeqOrigin</a> (<a href="HsExpr.html#t:ArithSeqInfo">ArithSeqInfo</a> <a href="Name.html#t:Name">Name</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SectionOrigin" class="def">SectionOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TupleOrigin" class="def">TupleOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AmbigOrigin" class="def">AmbigOrigin</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ExprSigOrigin" class="def">ExprSigOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:PatSigOrigin" class="def">PatSigOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:PatOrigin" class="def">PatOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:RecordUpdOrigin" class="def">RecordUpdOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ViewPatOrigin" class="def">ViewPatOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ScOrigin" class="def">ScOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:DerivOrigin" class="def">DerivOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StandAloneDerivOrigin" class="def">StandAloneDerivOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:DefaultOrigin" class="def">DefaultOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:DoOrigin" class="def">DoOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:MCompOrigin" class="def">MCompOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfOrigin" class="def">IfOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ProcOrigin" class="def">ProcOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AnnOrigin" class="def">AnnOrigin</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:FunDepOrigin" class="def">FunDepOrigin</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:CtOrigin" class="caption collapser" onclick="toggleSection('i:CtOrigin')">Instances</p><div id="section.i:CtOrigin" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:EqOrigin" class="def">EqOrigin</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:UnifyOrigin" class="def">UnifyOrigin</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:uo_actual" class="def">uo_actual</a> :: <a href="TcType.html#t:TcType">TcType</a></dt><dd class="doc empty"> </dd><dt class="src"><a name="v:uo_expected" class="def">uo_expected</a> :: <a href="TcType.html#t:TcType">TcType</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:EqOrigin" class="caption collapser" onclick="toggleSection('i:EqOrigin')">Instances</p><div id="section.i:EqOrigin" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:EqOrigin">EqOrigin</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:WantedLoc" class="def">WantedLoc</a> = <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:GivenLoc" class="def">GivenLoc</a> = <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> <a href="TcRnTypes.html#t:SkolemInfo">SkolemInfo</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:GivenKind" class="def">GivenKind</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:GivenOrig" class="def">GivenOrig</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:GivenSolved" class="def">GivenSolved</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="TcEvidence.html#t:EvTerm">EvTerm</a>)</td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a name="v:pushErrCtxt" class="def">pushErrCtxt</a> :: orig -> <a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a> -> <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> orig -> <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> orig</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:SkolemInfo" class="def">SkolemInfo</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:SigSkol" class="def">SigSkol</a> <a href="TcType.html#t:UserTypeCtxt">UserTypeCtxt</a> <a href="Type.html#t:Type">Type</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ClsSkol" class="def">ClsSkol</a> <a href="Class.html#t:Class">Class</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InstSkol" class="def">InstSkol</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:DataSkol" class="def">DataSkol</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:FamInstSkol" class="def">FamInstSkol</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:PatSkol" class="def">PatSkol</a> <a href="DataCon.html#t:DataCon">DataCon</a> (<a href="HsExpr.html#t:HsMatchContext">HsMatchContext</a> <a href="Name.html#t:Name">Name</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ArrowSkol" class="def">ArrowSkol</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IPSkol" class="def">IPSkol</a> [<a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:RuleSkol" class="def">RuleSkol</a> <a href="BasicTypes.html#t:RuleName">RuleName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InferSkol" class="def">InferSkol</a> [(<a href="Name.html#t:Name">Name</a>, <a href="TcType.html#t:TcType">TcType</a>)]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:BracketSkol" class="def">BracketSkol</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:UnifyForAllSkol" class="def">UnifyForAllSkol</a> <a href="TcType.html#t:TcType">TcType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:UnkSkol" class="def">UnkSkol</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:SkolemInfo" class="caption collapser" onclick="toggleSection('i:SkolemInfo')">Instances</p><div id="section.i:SkolemInfo" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:SkolemInfo">SkolemInfo</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:CtFlavor" class="def">CtFlavor</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Given" class="def">Given</a> <a href="TcRnTypes.html#t:GivenLoc">GivenLoc</a> <a href="TcRnTypes.html#t:GivenKind">GivenKind</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Derived" class="def">Derived</a> <a href="TcRnTypes.html#t:WantedLoc">WantedLoc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Wanted" class="def">Wanted</a> <a href="TcRnTypes.html#t:WantedLoc">WantedLoc</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:CtFlavor" class="caption collapser" onclick="toggleSection('i:CtFlavor')">Instances</p><div id="section.i:CtFlavor" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:pprFlavorArising" class="def">pprFlavorArising</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:isWanted" class="def">isWanted</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isGivenOrSolved" class="def">isGivenOrSolved</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isGiven_maybe" class="def">isGiven_maybe</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="TcRnTypes.html#t:GivenKind">GivenKind</a></p></div><div class="top"><p class="src"><a name="v:isSolved" class="def">isSolved</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:isDerived" class="def">isDerived</a> :: <a href="TcRnTypes.html#t:CtFlavor">CtFlavor</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p></div><div class="top"><p class="src"><a name="v:pprEvVarTheta" class="def">pprEvVarTheta</a> :: [<a href="Var.html#t:EvVar">EvVar</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprWantedEvVar" class="def">pprWantedEvVar</a> :: <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprWantedsWithLocs" class="def">pprWantedsWithLocs</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprEvVars" class="def">pprEvVars</a> :: [<a href="Var.html#t:EvVar">EvVar</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprEvVarWithType" class="def">pprEvVarWithType</a> :: <a href="Var.html#t:EvVar">EvVar</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprWantedEvVarWithLoc" class="def">pprWantedEvVarWithLoc</a> :: <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprArising" class="def">pprArising</a> :: <a href="TcRnTypes.html#t:CtOrigin">CtOrigin</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprArisingAt" class="def">pprArisingAt</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> o => <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> o -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcId" class="def">TcId</a> = <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcIdSet" class="def">TcIdSet</a> = <a href="VarSet.html#t:IdSet">IdSet</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:TcTyVarBind" class="def">TcTyVarBind</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:TcTyVarBind" class="def">TcTyVarBind</a> <a href="TcType.html#t:TcTyVar">TcTyVar</a> <a href="TcType.html#t:TcType">TcType</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:TcTyVarBind" class="caption collapser" onclick="toggleSection('i:TcTyVarBind')">Instances</p><div id="section.i:TcTyVarBind" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcRnTypes.html#t:TcTyVarBind">TcTyVarBind</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcTyVarBinds" class="def">TcTyVarBinds</a> = <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:TcTyVarBind">TcTyVarBind</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>