<!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>TcRnMonad</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_TcRnMonad.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">TcRnMonad</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"><a href="#v:initTc">initTc</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="DriverPhases.html#t:HscSource">HscSource</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r)</li><li class="src short"><a href="#v:initTcPrintErrors">initTcPrintErrors</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r)</li><li class="src short"><a href="#v:initTcRnIf">initTcRnIf</a> :: <a href="../base-4.5.1.0/Data-Char.html#t:Char">Char</a> -> <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> gbl -> lcl -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> a</li><li class="src short"><a href="#v:getTopEnv">getTopEnv</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="HscTypes.html#t:HscEnv">HscEnv</a></li><li class="src short"><a href="#v:getGblEnv">getGblEnv</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl gbl</li><li class="src short"><a href="#v:updGblEnv">updGblEnv</a> :: (gbl -> gbl) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:setGblEnv">setGblEnv</a> :: gbl -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:getLclEnv">getLclEnv</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl lcl</li><li class="src short"><a href="#v:updLclEnv">updLclEnv</a> :: (lcl -> lcl) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:setLclEnv">setLclEnv</a> :: lcl' -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl' a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:getEnvs">getEnvs</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl (gbl, lcl)</li><li class="src short"><a href="#v:setEnvs">setEnvs</a> :: (gbl', lcl') -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl' lcl' a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:getDOpts">getDOpts</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="DynFlags.html#t:DynFlags">DynFlags</a></li><li class="src short"><a href="#v:xoptM">xoptM</a> :: <a href="DynFlags.html#t:ExtensionFlag">ExtensionFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:doptM">doptM</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:woptM">woptM</a> :: <a href="DynFlags.html#t:WarningFlag">WarningFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:setXOptM">setXOptM</a> :: <a href="DynFlags.html#t:ExtensionFlag">ExtensionFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:unsetDOptM">unsetDOptM</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:unsetWOptM">unsetWOptM</a> :: <a href="DynFlags.html#t:WarningFlag">WarningFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:ifDOptM">ifDOptM</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl () -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</li><li class="src short"><a href="#v:ifWOptM">ifWOptM</a> :: <a href="DynFlags.html#t:WarningFlag">WarningFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl () -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</li><li class="src short"><a href="#v:ifXOptM">ifXOptM</a> :: <a href="DynFlags.html#t:ExtensionFlag">ExtensionFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl () -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</li><li class="src short"><a href="#v:getGhcMode">getGhcMode</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="DynFlags.html#t:GhcMode">GhcMode</a></li><li class="src short"><a href="#v:getEpsVar">getEpsVar</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a>)</li><li class="src short"><a href="#v:getEps">getEps</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a></li><li class="src short"><a href="#v:updateEps">updateEps</a> :: (<a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a> -> (<a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a>, a)) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:updateEps_">updateEps_</a> :: (<a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a> -> <a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a>) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</li><li class="src short"><a href="#v:getHpt">getHpt</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="HscTypes.html#t:HomePackageTable">HomePackageTable</a></li><li class="src short"><a href="#v:getEpsAndHpt">getEpsAndHpt</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl (<a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a>, <a href="HscTypes.html#t:HomePackageTable">HomePackageTable</a>)</li><li class="src short"><a href="#v:newMetaUnique">newMetaUnique</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Unique.html#t:Unique">Unique</a></li><li class="src short"><a href="#v:newUnique">newUnique</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="Unique.html#t:Unique">Unique</a></li><li class="src short"><a href="#v:newUniqueSupply">newUniqueSupply</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="UniqSupply.html#t:UniqSupply">UniqSupply</a></li><li class="src short"><a href="#v:newLocalName">newLocalName</a> :: <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:newSysLocalIds">newSysLocalIds</a> :: <a href="FastString.html#t:FastString">FastString</a> -> [<a href="TcType.html#t:TcType">TcType</a>] -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl [<a href="TcRnTypes.html#t:TcId">TcId</a>]</li><li class="src short"><a href="#v:newName">newName</a> :: <a href="OccName.html#t:OccName">OccName</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:newTcRef">newTcRef</a> :: a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl (<a href="TcRnTypes.html#t:TcRef">TcRef</a> a)</li><li class="src short"><a href="#v:readTcRef">readTcRef</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:writeTcRef">writeTcRef</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> a -> a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</li><li class="src short"><a href="#v:updTcRef">updTcRef</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> a -> (a -> a) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</li><li class="src short"><a href="#v:traceTc">traceTc</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:traceTcN">traceTcN</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:traceRn">traceRn</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:traceSplice">traceSplice</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:traceIf">traceIf</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n ()</li><li class="src short"><a href="#v:traceHiDiffs">traceHiDiffs</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n ()</li><li class="src short"><a href="#v:traceOptIf">traceOptIf</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n ()</li><li class="src short"><a href="#v:traceOptTcRn">traceOptTcRn</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:dumpTcRn">dumpTcRn</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:debugDumpTcRn">debugDumpTcRn</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:dumpOptTcRn">dumpOptTcRn</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:getModule">getModule</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="Module.html#t:Module">Module</a></li><li class="src short"><a href="#v:setModule">setModule</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</li><li class="src short"><a href="#v:getIsGHCi">getIsGHCi</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:tcIsHsBoot">tcIsHsBoot</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:getGlobalRdrEnv">getGlobalRdrEnv</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a></li><li class="src short"><a href="#v:getRdrEnvs">getRdrEnvs</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a>, <a href="RdrName.html#t:LocalRdrEnv">LocalRdrEnv</a>)</li><li class="src short"><a href="#v:getImports">getImports</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a></li><li class="src short"><a href="#v:getFixityEnv">getFixityEnv</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="HscTypes.html#t:FixityEnv">FixityEnv</a></li><li class="src short"><a href="#v:extendFixityEnv">extendFixityEnv</a> :: [(<a href="Name.html#t:Name">Name</a>, <a href="HscTypes.html#t:FixItem">FixItem</a>)] -> <a href="TcRnTypes.html#t:RnM">RnM</a> a -> <a href="TcRnTypes.html#t:RnM">RnM</a> a</li><li class="src short"><a href="#v:getRecFieldEnv">getRecFieldEnv</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="TcRnTypes.html#t:RecFieldEnv">RecFieldEnv</a></li><li class="src short"><a href="#v:getDeclaredDefaultTys">getDeclaredDefaultTys</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</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 class="src short"><a href="#v:addDependentFiles">addDependentFiles</a> :: [<a href="../base-4.5.1.0/System-IO.html#t:FilePath">FilePath</a>] -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:getSrcSpanM">getSrcSpanM</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></li><li class="src short"><a href="#v:setSrcSpan">setSrcSpan</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</li><li class="src short"><a href="#v:addLocM">addLocM</a> :: (a -> <a href="TcRnTypes.html#t:TcM">TcM</a> b) -> <a href="SrcLoc.html#t:Located">Located</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> b</li><li class="src short"><a href="#v:wrapLocM">wrapLocM</a> :: (a -> <a href="TcRnTypes.html#t:TcM">TcM</a> b) -> <a href="SrcLoc.html#t:Located">Located</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="SrcLoc.html#t:Located">Located</a> b)</li><li class="src short"><a href="#v:wrapLocFstM">wrapLocFstM</a> :: (a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (b, c)) -> <a href="SrcLoc.html#t:Located">Located</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="SrcLoc.html#t:Located">Located</a> b, c)</li><li class="src short"><a href="#v:wrapLocSndM">wrapLocSndM</a> :: (a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (b, c)) -> <a href="SrcLoc.html#t:Located">Located</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (b, <a href="SrcLoc.html#t:Located">Located</a> c)</li><li class="src short"><a href="#v:getErrsVar">getErrsVar</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="ErrUtils.html#t:Messages">Messages</a>)</li><li class="src short"><a href="#v:setErrsVar">setErrsVar</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="ErrUtils.html#t:Messages">Messages</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</li><li class="src short"><a href="#v:addErr">addErr</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:failWith">failWith</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</li><li class="src short"><a href="#v:addErrAt">addErrAt</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:addErrs">addErrs</a> :: [(<a href="SrcLoc.html#t:SrcSpan">SrcSpan</a>, <a href="ErrUtils.html#t:Message">Message</a>)] -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:addWarn">addWarn</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:addWarnAt">addWarnAt</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:checkErr">checkErr</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:warnIf">warnIf</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:addMessages">addMessages</a> :: <a href="ErrUtils.html#t:Messages">Messages</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:discardWarnings">discardWarnings</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</li><li class="src short"><a href="#v:addReport">addReport</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:addReportAt">addReportAt</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:addLongErrAt">addLongErrAt</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:dumpDerivingInfo">dumpDerivingInfo</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:try_m">try_m</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="IOEnv.html#t:IOEnvFailure">IOEnvFailure</a> r)</li><li class="src short"><a href="#v:recoverM">recoverM</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> r</li><li class="src short"><a href="#v:mapAndRecoverM">mapAndRecoverM</a> :: (a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> b) -> [a] -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> [b]</li><li class="src short"><a href="#v:tryTc">tryTc</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:tryTcErrs">tryTcErrs</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:tryTcLIE">tryTcLIE</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:tryTcLIE_">tryTcLIE_</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="TcRnTypes.html#t:TcM">TcM</a> r</li><li class="src short"><a href="#v:checkNoErrs">checkNoErrs</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="TcRnTypes.html#t:TcM">TcM</a> r</li><li class="src short"><a href="#v:ifErrsM">ifErrsM</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> r</li><li class="src short"><a href="#v:failIfErrsM">failIfErrsM</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</li><li class="src short"><a href="#v:getErrCtxt">getErrCtxt</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>]</li><li class="src short"><a href="#v:setErrCtxt">setErrCtxt</a> :: [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</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:addErrCtxt">addErrCtxt</a> :: <a href="ErrUtils.html#t:Message">Message</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:addErrCtxtM">addErrCtxtM</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>)) -> <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:addLandmarkErrCtxt">addLandmarkErrCtxt</a> :: <a href="ErrUtils.html#t:Message">Message</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:updCtxt">updCtxt</a> :: ([<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>] -> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</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:popErrCtxt">popErrCtxt</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:getCtLoc">getCtLoc</a> :: orig -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="TcRnTypes.html#t:CtLoc">CtLoc</a> orig)</li><li class="src short"><a href="#v:setCtLoc">setCtLoc</a> :: <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> orig -> <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:addErrTc">addErrTc</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:addErrsTc">addErrsTc</a> :: [<a href="ErrUtils.html#t:Message">Message</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:addErrTcM">addErrTcM</a> :: (<a href="VarEnv.html#t:TidyEnv">TidyEnv</a>, <a href="ErrUtils.html#t:Message">Message</a>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:failWithTc">failWithTc</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> a</li><li class="src short"><a href="#v:failWithTcM">failWithTcM</a> :: (<a href="VarEnv.html#t:TidyEnv">TidyEnv</a>, <a href="ErrUtils.html#t:Message">Message</a>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> a</li><li class="src short"><a href="#v:checkTc">checkTc</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:addWarnTc">addWarnTc</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:addWarnTcM">addWarnTcM</a> :: (<a href="VarEnv.html#t:TidyEnv">TidyEnv</a>, <a href="ErrUtils.html#t:Message">Message</a>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:warnTc">warnTc</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:tcInitTidyEnv">tcInitTidyEnv</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="VarEnv.html#t:TidyEnv">TidyEnv</a></li><li class="src short"><a href="#v:add_err_tcm">add_err_tcm</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:mkErrInfo">mkErrInfo</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Outputable.html#t:SDoc">SDoc</a></li><li class="src short"><a href="#v:mAX_CONTEXTS">mAX_CONTEXTS</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><a href="#v:debugTc">debugTc</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> () -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:newTcEvBinds">newTcEvBinds</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcEvidence.html#t:EvBindsVar">EvBindsVar</a></li><li class="src short"><a href="#v:addTcEvBind">addTcEvBind</a> :: <a href="TcEvidence.html#t:EvBindsVar">EvBindsVar</a> -> <a href="Var.html#t:EvVar">EvVar</a> -> <a href="TcEvidence.html#t:EvTerm">EvTerm</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:chooseUniqueOccTc">chooseUniqueOccTc</a> :: (<a href="OccName.html#t:OccSet">OccSet</a> -> <a href="OccName.html#t:OccName">OccName</a>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="OccName.html#t:OccName">OccName</a></li><li class="src short"><a href="#v:getConstraintVar">getConstraintVar</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a>)</li><li class="src short"><a href="#v:setConstraintVar">setConstraintVar</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</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:emitConstraints">emitConstraints</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:emitFlat">emitFlat</a> :: <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:emitFlats">emitFlats</a> :: <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:emitWantedCts">emitWantedCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:emitImplication">emitImplication</a> :: <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:emitImplications">emitImplications</a> :: <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:captureConstraints">captureConstraints</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (a, <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a>)</li><li class="src short"><a href="#v:captureUntouchables">captureUntouchables</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (a, <a href="TcRnTypes.html#t:Untouchables">Untouchables</a>)</li><li class="src short"><a href="#v:isUntouchable">isUntouchable</a> :: <a href="TcType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:getLclTypeEnv">getLclTypeEnv</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcRnTypes.html#t:TcTypeEnv">TcTypeEnv</a></li><li class="src short"><a href="#v:setLclTypeEnv">setLclTypeEnv</a> :: <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</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:traceTcConstraints">traceTcConstraints</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:recordThUse">recordThUse</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:recordThSpliceUse">recordThSpliceUse</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:keepAliveTc">keepAliveTc</a> :: <a href="Var.html#t:Id">Id</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:keepAliveSetTc">keepAliveSetTc</a> :: <a href="NameSet.html#t:NameSet">NameSet</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:getStage">getStage</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcRnTypes.html#t:ThStage">ThStage</a></li><li class="src short"><a href="#v:setStage">setStage</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</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:recordUnsafeInfer">recordUnsafeInfer</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> ()</li><li class="src short"><a href="#v:finalSafeMode">finalSafeMode</a> :: <a href="DynFlags.html#t:DynFlags">DynFlags</a> -> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> <a href="DynFlags.html#t:SafeHaskellMode">SafeHaskellMode</a></li><li class="src short"><a href="#v:getLocalRdrEnv">getLocalRdrEnv</a> :: <a href="TcRnTypes.html#t:RnM">RnM</a> <a href="RdrName.html#t:LocalRdrEnv">LocalRdrEnv</a></li><li class="src short"><a href="#v:setLocalRdrEnv">setLocalRdrEnv</a> :: <a href="RdrName.html#t:LocalRdrEnv">LocalRdrEnv</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> a -> <a href="TcRnTypes.html#t:RnM">RnM</a> a</li><li class="src short"><a href="#v:mkIfLclEnv">mkIfLclEnv</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:IfLclEnv">IfLclEnv</a></li><li class="src short"><a href="#v:initIfaceTcRn">initIfaceTcRn</a> :: <a href="TcRnTypes.html#t:IfG">IfG</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</li><li class="src short"><a href="#v:initIfaceExtCore">initIfaceExtCore</a> :: <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</li><li class="src short"><a href="#v:initIfaceCheck">initIfaceCheck</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="TcRnTypes.html#t:IfG">IfG</a> a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> a</li><li class="src short"><a href="#v:initIfaceTc">initIfaceTc</a> :: <a href="HscTypes.html#t:ModIface">ModIface</a> -> (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="HscTypes.html#t:TypeEnv">TypeEnv</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</li><li class="src short"><a href="#v:initIfaceLcl">initIfaceLcl</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfM">IfM</a> lcl a</li><li class="src short"><a href="#v:getIfModule">getIfModule</a> :: <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Module.html#t:Module">Module</a></li><li class="src short"><a href="#v:failIfM">failIfM</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a</li><li class="src short"><a href="#v:forkM_maybe">forkM_maybe</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfL">IfL</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</li><li class="src short"><a href="#v:forkM">forkM</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfL">IfL</a> a</li><li class="src short">module <a href="TcRnTypes.html">TcRnTypes</a></li><li class="src short">module <a href="IOEnv.html">IOEnv</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:initTc" class="def">initTc</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="DriverPhases.html#t:HscSource">HscSource</a> -> <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r)</p><div class="doc"><p>Setup the initial typechecking environment
</p></div></div><div class="top"><p class="src"><a name="v:initTcPrintErrors" class="def">initTcPrintErrors</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> r)</p></div><div class="top"><p class="src"><a name="v:initTcRnIf" class="def">initTcRnIf</a> :: <a href="../base-4.5.1.0/Data-Char.html#t:Char">Char</a> -> <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> gbl -> lcl -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> a</p></div><div class="top"><p class="src"><a name="v:getTopEnv" class="def">getTopEnv</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="HscTypes.html#t:HscEnv">HscEnv</a></p></div><div class="top"><p class="src"><a name="v:getGblEnv" class="def">getGblEnv</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl gbl</p></div><div class="top"><p class="src"><a name="v:updGblEnv" class="def">updGblEnv</a> :: (gbl -> gbl) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:setGblEnv" class="def">setGblEnv</a> :: gbl -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:getLclEnv" class="def">getLclEnv</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl lcl</p></div><div class="top"><p class="src"><a name="v:updLclEnv" class="def">updLclEnv</a> :: (lcl -> lcl) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:setLclEnv" class="def">setLclEnv</a> :: lcl' -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl' a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:getEnvs" class="def">getEnvs</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl (gbl, lcl)</p></div><div class="top"><p class="src"><a name="v:setEnvs" class="def">setEnvs</a> :: (gbl', lcl') -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl' lcl' a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:getDOpts" class="def">getDOpts</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="DynFlags.html#t:DynFlags">DynFlags</a></p></div><div class="top"><p class="src"><a name="v:xoptM" class="def">xoptM</a> :: <a href="DynFlags.html#t:ExtensionFlag">ExtensionFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <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:doptM" class="def">doptM</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <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:woptM" class="def">woptM</a> :: <a href="DynFlags.html#t:WarningFlag">WarningFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <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:setXOptM" class="def">setXOptM</a> :: <a href="DynFlags.html#t:ExtensionFlag">ExtensionFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:unsetDOptM" class="def">unsetDOptM</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:unsetWOptM" class="def">unsetWOptM</a> :: <a href="DynFlags.html#t:WarningFlag">WarningFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:ifDOptM" class="def">ifDOptM</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl () -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</p><div class="doc"><p>Do it flag is true
</p></div></div><div class="top"><p class="src"><a name="v:ifWOptM" class="def">ifWOptM</a> :: <a href="DynFlags.html#t:WarningFlag">WarningFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl () -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</p></div><div class="top"><p class="src"><a name="v:ifXOptM" class="def">ifXOptM</a> :: <a href="DynFlags.html#t:ExtensionFlag">ExtensionFlag</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl () -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</p></div><div class="top"><p class="src"><a name="v:getGhcMode" class="def">getGhcMode</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="DynFlags.html#t:GhcMode">GhcMode</a></p></div><div class="top"><p class="src"><a name="v:getEpsVar" class="def">getEpsVar</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a>)</p></div><div class="top"><p class="src"><a name="v:getEps" class="def">getEps</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a></p></div><div class="top"><p class="src"><a name="v:updateEps" class="def">updateEps</a> :: (<a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a> -> (<a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a>, a)) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p><div class="doc"><p>Update the external package state. Returns the second result of the
modifier function.
</p><p>This is an atomic operation and forces evaluation of the modified EPS in
order to avoid space leaks.
</p></div></div><div class="top"><p class="src"><a name="v:updateEps_" class="def">updateEps_</a> :: (<a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a> -> <a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a>) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</p><div class="doc"><p>Update the external package state.
</p><p>This is an atomic operation and forces evaluation of the modified EPS in
order to avoid space leaks.
</p></div></div><div class="top"><p class="src"><a name="v:getHpt" class="def">getHpt</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="HscTypes.html#t:HomePackageTable">HomePackageTable</a></p></div><div class="top"><p class="src"><a name="v:getEpsAndHpt" class="def">getEpsAndHpt</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl (<a href="HscTypes.html#t:ExternalPackageState">ExternalPackageState</a>, <a href="HscTypes.html#t:HomePackageTable">HomePackageTable</a>)</p></div><div class="top"><p class="src"><a name="v:newMetaUnique" class="def">newMetaUnique</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Unique.html#t:Unique">Unique</a></p></div><div class="top"><p class="src"><a name="v:newUnique" class="def">newUnique</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="Unique.html#t:Unique">Unique</a></p></div><div class="top"><p class="src"><a name="v:newUniqueSupply" class="def">newUniqueSupply</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="UniqSupply.html#t:UniqSupply">UniqSupply</a></p></div><div class="top"><p class="src"><a name="v:newLocalName" class="def">newLocalName</a> :: <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:newSysLocalIds" class="def">newSysLocalIds</a> :: <a href="FastString.html#t:FastString">FastString</a> -> [<a href="TcType.html#t:TcType">TcType</a>] -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl [<a href="TcRnTypes.html#t:TcId">TcId</a>]</p></div><div class="top"><p class="src"><a name="v:newName" class="def">newName</a> :: <a href="OccName.html#t:OccName">OccName</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:newTcRef" class="def">newTcRef</a> :: a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl (<a href="TcRnTypes.html#t:TcRef">TcRef</a> a)</p></div><div class="top"><p class="src"><a name="v:readTcRef" class="def">readTcRef</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:writeTcRef" class="def">writeTcRef</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> a -> a -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</p></div><div class="top"><p class="src"><a name="v:updTcRef" class="def">updTcRef</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> a -> (a -> a) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl ()</p></div><div class="top"><p class="src"><a name="v:traceTc" class="def">traceTc</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:traceTcN" class="def">traceTcN</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:traceRn" class="def">traceRn</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:traceSplice" class="def">traceSplice</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:traceIf" class="def">traceIf</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n ()</p></div><div class="top"><p class="src"><a name="v:traceHiDiffs" class="def">traceHiDiffs</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n ()</p></div><div class="top"><p class="src"><a name="v:traceOptIf" class="def">traceOptIf</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n ()</p></div><div class="top"><p class="src"><a name="v:traceOptTcRn" class="def">traceOptTcRn</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:dumpTcRn" class="def">dumpTcRn</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:debugDumpTcRn" class="def">debugDumpTcRn</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:dumpOptTcRn" class="def">dumpOptTcRn</a> :: <a href="DynFlags.html#t:DynFlag">DynFlag</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:getModule" class="def">getModule</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="Module.html#t:Module">Module</a></p></div><div class="top"><p class="src"><a name="v:setModule" class="def">setModule</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</p></div><div class="top"><p class="src"><a name="v:getIsGHCi" class="def">getIsGHCi</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</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:tcIsHsBoot" class="def">tcIsHsBoot</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</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:getGlobalRdrEnv" class="def">getGlobalRdrEnv</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a></p></div><div class="top"><p class="src"><a name="v:getRdrEnvs" class="def">getRdrEnvs</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="RdrName.html#t:GlobalRdrEnv">GlobalRdrEnv</a>, <a href="RdrName.html#t:LocalRdrEnv">LocalRdrEnv</a>)</p></div><div class="top"><p class="src"><a name="v:getImports" class="def">getImports</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="TcRnTypes.html#t:ImportAvails">ImportAvails</a></p></div><div class="top"><p class="src"><a name="v:getFixityEnv" class="def">getFixityEnv</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="HscTypes.html#t:FixityEnv">FixityEnv</a></p></div><div class="top"><p class="src"><a name="v:extendFixityEnv" class="def">extendFixityEnv</a> :: [(<a href="Name.html#t:Name">Name</a>, <a href="HscTypes.html#t:FixItem">FixItem</a>)] -> <a href="TcRnTypes.html#t:RnM">RnM</a> a -> <a href="TcRnTypes.html#t:RnM">RnM</a> a</p></div><div class="top"><p class="src"><a name="v:getRecFieldEnv" class="def">getRecFieldEnv</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="TcRnTypes.html#t:RecFieldEnv">RecFieldEnv</a></p></div><div class="top"><p class="src"><a name="v:getDeclaredDefaultTys" class="def">getDeclaredDefaultTys</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="Type.html#t:Type">Type</a>])</p></div><div class="top"><p class="src"><a name="v:addDependentFiles" class="def">addDependentFiles</a> :: [<a href="../base-4.5.1.0/System-IO.html#t:FilePath">FilePath</a>] -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:getSrcSpanM" class="def">getSrcSpanM</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a></p></div><div class="top"><p class="src"><a name="v:setSrcSpan" class="def">setSrcSpan</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</p></div><div class="top"><p class="src"><a name="v:addLocM" class="def">addLocM</a> :: (a -> <a href="TcRnTypes.html#t:TcM">TcM</a> b) -> <a href="SrcLoc.html#t:Located">Located</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> b</p></div><div class="top"><p class="src"><a name="v:wrapLocM" class="def">wrapLocM</a> :: (a -> <a href="TcRnTypes.html#t:TcM">TcM</a> b) -> <a href="SrcLoc.html#t:Located">Located</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="SrcLoc.html#t:Located">Located</a> b)</p></div><div class="top"><p class="src"><a name="v:wrapLocFstM" class="def">wrapLocFstM</a> :: (a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (b, c)) -> <a href="SrcLoc.html#t:Located">Located</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="SrcLoc.html#t:Located">Located</a> b, c)</p></div><div class="top"><p class="src"><a name="v:wrapLocSndM" class="def">wrapLocSndM</a> :: (a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (b, c)) -> <a href="SrcLoc.html#t:Located">Located</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (b, <a href="SrcLoc.html#t:Located">Located</a> c)</p></div><div class="top"><p class="src"><a name="v:getErrsVar" class="def">getErrsVar</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="ErrUtils.html#t:Messages">Messages</a>)</p></div><div class="top"><p class="src"><a name="v:setErrsVar" class="def">setErrsVar</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="ErrUtils.html#t:Messages">Messages</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</p></div><div class="top"><p class="src"><a name="v:addErr" class="def">addErr</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:failWith" class="def">failWith</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</p></div><div class="top"><p class="src"><a name="v:addErrAt" class="def">addErrAt</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:addErrs" class="def">addErrs</a> :: [(<a href="SrcLoc.html#t:SrcSpan">SrcSpan</a>, <a href="ErrUtils.html#t:Message">Message</a>)] -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:addWarn" class="def">addWarn</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:addWarnAt" class="def">addWarnAt</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:checkErr" class="def">checkErr</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:warnIf" class="def">warnIf</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:addMessages" class="def">addMessages</a> :: <a href="ErrUtils.html#t:Messages">Messages</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:discardWarnings" class="def">discardWarnings</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</p></div><div class="top"><p class="src"><a name="v:addReport" class="def">addReport</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:addReportAt" class="def">addReportAt</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:addLongErrAt" class="def">addLongErrAt</a> :: <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:dumpDerivingInfo" class="def">dumpDerivingInfo</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:try_m" class="def">try_m</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="../base-4.5.1.0/Data-Either.html#t:Either">Either</a> <a href="IOEnv.html#t:IOEnvFailure">IOEnvFailure</a> r)</p></div><div class="top"><p class="src"><a name="v:recoverM" class="def">recoverM</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> r</p></div><div class="top"><p class="src"><a name="v:mapAndRecoverM" class="def">mapAndRecoverM</a> :: (a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> b) -> [a] -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> [b]</p></div><div class="top"><p class="src"><a name="v:tryTc" class="def">tryTc</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</p></div><div class="top"><p class="src"><a name="v:tryTcErrs" class="def">tryTcErrs</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</p></div><div class="top"><p class="src"><a name="v:tryTcLIE" class="def">tryTcLIE</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="ErrUtils.html#t:Messages">Messages</a>, <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</p></div><div class="top"><p class="src"><a name="v:tryTcLIE_" class="def">tryTcLIE_</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="TcRnTypes.html#t:TcM">TcM</a> r</p></div><div class="top"><p class="src"><a name="v:checkNoErrs" class="def">checkNoErrs</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> r -> <a href="TcRnTypes.html#t:TcM">TcM</a> r</p></div><div class="top"><p class="src"><a name="v:ifErrsM" class="def">ifErrsM</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> r -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> r</p></div><div class="top"><p class="src"><a name="v:failIfErrsM" class="def">failIfErrsM</a> :: <a href="TcRnTypes.html#t:TcRn">TcRn</a> ()</p></div><div class="top"><p class="src"><a name="v:getErrCtxt" class="def">getErrCtxt</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>]</p></div><div class="top"><p class="src"><a name="v:setErrCtxt" class="def">setErrCtxt</a> :: [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</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:addErrCtxt" class="def">addErrCtxt</a> :: <a href="ErrUtils.html#t:Message">Message</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:addErrCtxtM" class="def">addErrCtxtM</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>)) -> <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:addLandmarkErrCtxt" class="def">addLandmarkErrCtxt</a> :: <a href="ErrUtils.html#t:Message">Message</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:updCtxt" class="def">updCtxt</a> :: ([<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>] -> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</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:popErrCtxt" class="def">popErrCtxt</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:getCtLoc" class="def">getCtLoc</a> :: orig -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="TcRnTypes.html#t:CtLoc">CtLoc</a> orig)</p></div><div class="top"><p class="src"><a name="v:setCtLoc" class="def">setCtLoc</a> :: <a href="TcRnTypes.html#t:CtLoc">CtLoc</a> orig -> <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:addErrTc" class="def">addErrTc</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:addErrsTc" class="def">addErrsTc</a> :: [<a href="ErrUtils.html#t:Message">Message</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:addErrTcM" class="def">addErrTcM</a> :: (<a href="VarEnv.html#t:TidyEnv">TidyEnv</a>, <a href="ErrUtils.html#t:Message">Message</a>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:failWithTc" class="def">failWithTc</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> a</p></div><div class="top"><p class="src"><a name="v:failWithTcM" class="def">failWithTcM</a> :: (<a href="VarEnv.html#t:TidyEnv">TidyEnv</a>, <a href="ErrUtils.html#t:Message">Message</a>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> a</p></div><div class="top"><p class="src"><a name="v:checkTc" class="def">checkTc</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:addWarnTc" class="def">addWarnTc</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:addWarnTcM" class="def">addWarnTcM</a> :: (<a href="VarEnv.html#t:TidyEnv">TidyEnv</a>, <a href="ErrUtils.html#t:Message">Message</a>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:warnTc" class="def">warnTc</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:tcInitTidyEnv" class="def">tcInitTidyEnv</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="VarEnv.html#t:TidyEnv">TidyEnv</a></p></div><div class="top"><p class="src"><a name="v:add_err_tcm" class="def">add_err_tcm</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> <a href="ErrUtils.html#t:Message">Message</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:mkErrInfo" class="def">mkErrInfo</a> :: <a href="VarEnv.html#t:TidyEnv">TidyEnv</a> -> [<a href="TcRnTypes.html#t:ErrCtxt">ErrCtxt</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:mAX_CONTEXTS" class="def">mAX_CONTEXTS</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:debugTc" class="def">debugTc</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> () -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:newTcEvBinds" class="def">newTcEvBinds</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcEvidence.html#t:EvBindsVar">EvBindsVar</a></p></div><div class="top"><p class="src"><a name="v:addTcEvBind" class="def">addTcEvBind</a> :: <a href="TcEvidence.html#t:EvBindsVar">EvBindsVar</a> -> <a href="Var.html#t:EvVar">EvVar</a> -> <a href="TcEvidence.html#t:EvTerm">EvTerm</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:chooseUniqueOccTc" class="def">chooseUniqueOccTc</a> :: (<a href="OccName.html#t:OccSet">OccSet</a> -> <a href="OccName.html#t:OccName">OccName</a>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="OccName.html#t:OccName">OccName</a></p></div><div class="top"><p class="src"><a name="v:getConstraintVar" class="def">getConstraintVar</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a>)</p></div><div class="top"><p class="src"><a name="v:setConstraintVar" class="def">setConstraintVar</a> :: <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</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:emitConstraints" class="def">emitConstraints</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:emitFlat" class="def">emitFlat</a> :: <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:emitFlats" class="def">emitFlats</a> :: <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:emitWantedCts" class="def">emitWantedCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:emitImplication" class="def">emitImplication</a> :: <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:emitImplications" class="def">emitImplications</a> :: <a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:captureConstraints" class="def">captureConstraints</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (a, <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a>)</p></div><div class="top"><p class="src"><a name="v:captureUntouchables" class="def">captureUntouchables</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> a -> <a href="TcRnTypes.html#t:TcM">TcM</a> (a, <a href="TcRnTypes.html#t:Untouchables">Untouchables</a>)</p></div><div class="top"><p class="src"><a name="v:isUntouchable" class="def">isUntouchable</a> :: <a href="TcType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</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:getLclTypeEnv" class="def">getLclTypeEnv</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcRnTypes.html#t:TcTypeEnv">TcTypeEnv</a></p></div><div class="top"><p class="src"><a name="v:setLclTypeEnv" class="def">setLclTypeEnv</a> :: <a href="TcRnTypes.html#t:TcLclEnv">TcLclEnv</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:traceTcConstraints" class="def">traceTcConstraints</a> :: <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:recordThUse" class="def">recordThUse</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:recordThSpliceUse" class="def">recordThSpliceUse</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:keepAliveTc" class="def">keepAliveTc</a> :: <a href="Var.html#t:Id">Id</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:keepAliveSetTc" class="def">keepAliveSetTc</a> :: <a href="NameSet.html#t:NameSet">NameSet</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:getStage" class="def">getStage</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcRnTypes.html#t:ThStage">ThStage</a></p></div><div class="top"><p class="src"><a name="v:setStage" class="def">setStage</a> :: <a href="TcRnTypes.html#t:ThStage">ThStage</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:recordUnsafeInfer" class="def">recordUnsafeInfer</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p><div class="doc"><p>Mark that safe inference has failed
</p></div></div><div class="top"><p class="src"><a name="v:finalSafeMode" class="def">finalSafeMode</a> :: <a href="DynFlags.html#t:DynFlags">DynFlags</a> -> <a href="TcRnTypes.html#t:TcGblEnv">TcGblEnv</a> -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> <a href="DynFlags.html#t:SafeHaskellMode">SafeHaskellMode</a></p><div class="doc"><p>Figure out the final correct safe haskell mode
</p></div></div><div class="top"><p class="src"><a name="v:getLocalRdrEnv" class="def">getLocalRdrEnv</a> :: <a href="TcRnTypes.html#t:RnM">RnM</a> <a href="RdrName.html#t:LocalRdrEnv">LocalRdrEnv</a></p></div><div class="top"><p class="src"><a name="v:setLocalRdrEnv" class="def">setLocalRdrEnv</a> :: <a href="RdrName.html#t:LocalRdrEnv">LocalRdrEnv</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> a -> <a href="TcRnTypes.html#t:RnM">RnM</a> a</p></div><div class="top"><p class="src"><a name="v:mkIfLclEnv" class="def">mkIfLclEnv</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:IfLclEnv">IfLclEnv</a></p></div><div class="top"><p class="src"><a name="v:initIfaceTcRn" class="def">initIfaceTcRn</a> :: <a href="TcRnTypes.html#t:IfG">IfG</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</p></div><div class="top"><p class="src"><a name="v:initIfaceExtCore" class="def">initIfaceExtCore</a> :: <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:TcRn">TcRn</a> a</p></div><div class="top"><p class="src"><a name="v:initIfaceCheck" class="def">initIfaceCheck</a> :: <a href="HscTypes.html#t:HscEnv">HscEnv</a> -> <a href="TcRnTypes.html#t:IfG">IfG</a> a -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> a</p></div><div class="top"><p class="src"><a name="v:initIfaceTc" class="def">initIfaceTc</a> :: <a href="HscTypes.html#t:ModIface">ModIface</a> -> (<a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="HscTypes.html#t:TypeEnv">TypeEnv</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl a</p></div><div class="top"><p class="src"><a name="v:initIfaceLcl" class="def">initIfaceLcl</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfM">IfM</a> lcl a</p></div><div class="top"><p class="src"><a name="v:getIfModule" class="def">getIfModule</a> :: <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Module.html#t:Module">Module</a></p></div><div class="top"><p class="src"><a name="v:failIfM" class="def">failIfM</a> :: <a href="ErrUtils.html#t:Message">Message</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a</p></div><div class="top"><p class="src"><a name="v:forkM_maybe" class="def">forkM_maybe</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfL">IfL</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> a)</p></div><div class="top"><p class="src"><a name="v:forkM" class="def">forkM</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfL">IfL</a> a</p></div><div class="top"><p class="src">module <a href="TcRnTypes.html">TcRnTypes</a></p></div><div class="top"><p class="src">module <a href="IOEnv.html">IOEnv</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>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
3114
