<!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>RnTypes</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_RnTypes.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">RnTypes</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:rnHsType" class="def">rnHsType</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> <a href="HsTypes.html#t:HsType">HsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsTypes.html#t:HsType">HsType</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:rnLHsType" class="def">rnLHsType</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:rnLHsTypes" class="def">rnLHsTypes</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> [<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</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>) [<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a>]</p></div><div class="top"><p class="src"><a name="v:rnContext" class="def">rnContext</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> <a href="HsTypes.html#t:LHsContext">LHsContext</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsTypes.html#t:LHsContext">LHsContext</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:rnHsKind" class="def">rnHsKind</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> <a href="HsTypes.html#t:HsKind">HsKind</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsTypes.html#t:HsKind">HsKind</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:rnLHsKind" class="def">rnLHsKind</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> <a href="HsTypes.html#t:LHsKind">LHsKind</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsTypes.html#t:LHsKind">LHsKind</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:rnLHsMaybeKind" class="def">rnLHsMaybeKind</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsTypes.html#t:LHsKind">LHsKind</a> <a href="RdrName.html#t:RdrName">RdrName</a>) -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="HsTypes.html#t:LHsKind">LHsKind</a> <a href="Name.html#t:Name">Name</a>))</p></div><div class="top"><p class="src"><a name="v:rnHsSigType" class="def">rnHsSigType</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:rnLHsInstType" class="def">rnLHsInstType</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:rnHsTypeFVs" class="def">rnHsTypeFVs</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a>, <a href="NameSet.html#t:FreeVars">FreeVars</a>)</p></div><div class="top"><p class="src"><a name="v:rnConDeclFields" class="def">rnConDeclFields</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> [<a href="HsTypes.html#t:ConDeclField">ConDeclField</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="TcRnTypes.html#t:RnM">RnM</a> [<a href="HsTypes.html#t:ConDeclField">ConDeclField</a> <a href="Name.html#t:Name">Name</a>]</p></div><div class="top"><p class="src"><a name="v:rnIPName" class="def">rnIPName</a> :: <a href="BasicTypes.html#t:IPName">IPName</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</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:mkOpAppRn" class="def">mkOpAppRn</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Name.html#t:Name">Name</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Name.html#t:Name">Name</a> -> <a href="BasicTypes.html#t:Fixity">Fixity</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsExpr.html#t:HsExpr">HsExpr</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:mkNegAppRn" class="def">mkNegAppRn</a> :: <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> id -> <a href="HsExpr.html#t:SyntaxExpr">SyntaxExpr</a> id -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsExpr.html#t:HsExpr">HsExpr</a> id)</p></div><div class="top"><p class="src"><a name="v:mkOpFormRn" class="def">mkOpFormRn</a> :: <a href="HsExpr.html#t:LHsCmdTop">LHsCmdTop</a> <a href="Name.html#t:Name">Name</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Name.html#t:Name">Name</a> -> <a href="BasicTypes.html#t:Fixity">Fixity</a> -> <a href="HsExpr.html#t:LHsCmdTop">LHsCmdTop</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsExpr.html#t:HsCmd">HsCmd</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:mkConOpPatRn" class="def">mkConOpPatRn</a> :: <a href="SrcLoc.html#t:Located">Located</a> <a href="Name.html#t:Name">Name</a> -> <a href="BasicTypes.html#t:Fixity">Fixity</a> -> <a href="HsPat.html#t:LPat">LPat</a> <a href="Name.html#t:Name">Name</a> -> <a href="HsPat.html#t:LPat">LPat</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsPat.html#t:Pat">Pat</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:checkPrecMatch" class="def">checkPrecMatch</a> :: <a href="Name.html#t:Name">Name</a> -> <a href="HsExpr.html#t:MatchGroup">MatchGroup</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> ()</p></div><div class="top"><p class="src"><a name="v:checkSectionPrec" class="def">checkSectionPrec</a> :: <a href="BasicTypes.html#t:FixityDirection">FixityDirection</a> -> <a href="HsExpr.html#t:HsExpr">HsExpr</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Name.html#t:Name">Name</a> -> <a href="HsExpr.html#t:LHsExpr">LHsExpr</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> ()</p></div><div class="top"><p class="src"><a name="v:warnUnusedForAlls" class="def">warnUnusedForAlls</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> [<a href="SrcLoc.html#t:Located">Located</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:rnSplice" class="def">rnSplice</a> :: <a href="HsExpr.html#t:HsSplice">HsSplice</a> <a href="RdrName.html#t:RdrName">RdrName</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> (<a href="HsExpr.html#t:HsSplice">HsSplice</a> <a href="Name.html#t:Name">Name</a>, <a href="NameSet.html#t:FreeVars">FreeVars</a>)</p></div><div class="top"><p class="src"><a name="v:checkTH" class="def">checkTH</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> a => a -> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> <a href="TcRnTypes.html#t:RnM">RnM</a> ()</p></div><div class="top"><p class="src"><a name="v:bindTyVarsRn" class="def">bindTyVarsRn</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> ([<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="Name.html#t:Name">Name</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:bindTyVarsFV" class="def">bindTyVarsFV</a> :: <a href="RnEnv.html#t:HsDocContext">HsDocContext</a> -> [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="RdrName.html#t:RdrName">RdrName</a>] -> ([<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="Name.html#t:Name">Name</a>] -> <a href="TcRnTypes.html#t:RnM">RnM</a> (a, <a href="NameSet.html#t:FreeVars">FreeVars</a>)) -> <a href="TcRnTypes.html#t:RnM">RnM</a> (a, <a href="NameSet.html#t:FreeVars">FreeVars</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
>
3028
