<!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>TcHsType</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_TcHsType.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">TcHsType</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:tcHsSigType" class="def">tcHsSigType</a> :: <a href="TcHsType.html#t:UserTypeCtxt">UserTypeCtxt</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:tcHsSigTypeNC" class="def">tcHsSigTypeNC</a> :: <a href="TcHsType.html#t:UserTypeCtxt">UserTypeCtxt</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:tcHsDeriv" class="def">tcHsDeriv</a> :: <a href="HsTypes.html#t:HsType">HsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="Var.html#t:TyVar">TyVar</a>], <a href="Class.html#t:Class">Class</a>, [<a href="Type.html#t:Type">Type</a>])</p></div><div class="top"><p class="src"><a name="v:tcHsVectInst" class="def">tcHsVectInst</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="Class.html#t:Class">Class</a>, [<a href="Type.html#t:Type">Type</a>])</p></div><div class="top"><p class="src"><a name="v:tcHsInstHead" class="def">tcHsInstHead</a> :: <a href="TcHsType.html#t:UserTypeCtxt">UserTypeCtxt</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="Var.html#t:TyVar">TyVar</a>], <a href="Type.html#t:ThetaType">ThetaType</a>, <a href="Class.html#t:Class">Class</a>, [<a href="Type.html#t:Type">Type</a>])</p></div><div class="top"><p class="src"><a name="v:tcHsQuantifiedType" class="def">tcHsQuantifiedType</a> :: [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="Name.html#t:Name">Name</a>] -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="Var.html#t:TyVar">TyVar</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:UserTypeCtxt" class="def">UserTypeCtxt</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:FunSigCtxt" class="def">FunSigCtxt</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InfSigCtxt" class="def">InfSigCtxt</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ExprSigCtxt" class="def">ExprSigCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ConArgCtxt" class="def">ConArgCtxt</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TySynCtxt" class="def">TySynCtxt</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:LamPatSigCtxt" class="def">LamPatSigCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:BindPatSigCtxt" class="def">BindPatSigCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ResSigCtxt" class="def">ResSigCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ForSigCtxt" class="def">ForSigCtxt</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:DefaultDeclCtxt" class="def">DefaultDeclCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InstDeclCtxt" class="def">InstDeclCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SpecInstCtxt" class="def">SpecInstCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ThBrackCtxt" class="def">ThBrackCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:GenSigCtxt" class="def">GenSigCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:GhciCtxt" class="def">GhciCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ClassSCCtxt" class="def">ClassSCCtxt</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SigmaCtxt" class="def">SigmaCtxt</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:DataTyCtxt" class="def">DataTyCtxt</a> <a href="Name.html#t:Name">Name</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><a name="v:kcHsTyVars" class="def">kcHsTyVars</a> :: [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="Name.html#t:Name">Name</a>] -> ([<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="Name.html#t:Name">Name</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:kcHsSigType" class="def">kcHsSigType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</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:kcHsLiftedSigType" class="def">kcHsLiftedSigType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</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:kcLHsType" class="def">kcLHsType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a>, <a href="TcType.html#t:TcKind">TcKind</a>)</p></div><div class="top"><p class="src"><a name="v:kcCheckLHsType" class="def">kcCheckLHsType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcHsType.html#t:ExpKind">ExpKind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</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:kcHsContext" class="def">kcHsContext</a> :: <a href="HsTypes.html#t:LHsContext">LHsContext</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</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:kcApps" class="def">kcApps</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> a => a -> <a href="TcType.html#t:TcKind">TcKind</a> -> [<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a>], <a href="TcType.html#t:TcKind">TcKind</a>)</p></div><div class="top"><p class="src"><a name="v:kindGeneralizeKind" class="def">kindGeneralizeKind</a> :: <a href="TcType.html#t:TcKind">TcKind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="Var.html#t:KindVar">KindVar</a>], <a href="Kind.html#t:Kind">Kind</a>)</p></div><div class="top"><p class="src"><a name="v:kindGeneralizeKinds" class="def">kindGeneralizeKinds</a> :: [<a href="TcType.html#t:TcKind">TcKind</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="Var.html#t:KindVar">KindVar</a>], [<a href="Kind.html#t:Kind">Kind</a>])</p></div><div class="top"><p class="src"><a name="v:scDsLHsKind" class="def">scDsLHsKind</a> :: <a href="HsTypes.html#t:LHsKind">LHsKind</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Kind.html#t:Kind">Kind</a></p></div><div class="top"><p class="src"><a name="v:scDsLHsMaybeKind" class="def">scDsLHsMaybeKind</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>) -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Kind.html#t:Kind">Kind</a>)</p></div><div class="top"><p class="src"><a name="v:tcHsType" class="def">tcHsType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:tcCheckHsType" class="def">tcCheckHsType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="Kind.html#t:Kind">Kind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:tcHsKindedContext" class="def">tcHsKindedContext</a> :: <a href="HsTypes.html#t:LHsContext">LHsContext</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Type.html#t:ThetaType">ThetaType</a></p></div><div class="top"><p class="src"><a name="v:tcHsKindedType" class="def">tcHsKindedType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:tcHsBangType" class="def">tcHsBangType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:tcTyVarBndrs" class="def">tcTyVarBndrs</a> :: [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="Name.html#t:Name">Name</a>] -> ([<a href="Var.html#t:TyVar">TyVar</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:tcTyVarBndrsKindGen" class="def">tcTyVarBndrsKindGen</a> :: [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="Name.html#t:Name">Name</a>] -> ([<a href="Var.html#t:TyVar">TyVar</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:dsHsType" class="def">dsHsType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:tcDataKindSig" class="def">tcDataKindSig</a> :: <a href="Kind.html#t:Kind">Kind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="Var.html#t:TyVar">TyVar</a>]</p></div><div class="top"><p class="src"><a name="v:tcTyClTyVars" class="def">tcTyClTyVars</a> :: <a href="Name.html#t:Name">Name</a> -> [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> <a href="Name.html#t:Name">Name</a>] -> ([<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="Kind.html#t:Kind">Kind</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:ExpKind" class="def">ExpKind</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:EK" class="def">EK</a> <a href="TcType.html#t:TcKind">TcKind</a> <a href="Outputable.html#t:SDoc">SDoc</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:ExpKind" class="caption collapser" onclick="toggleSection('i:ExpKind')">Instances</p><div id="section.i:ExpKind" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="TcHsType.html#t:ExpKind">ExpKind</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:ekConstraint" class="def">ekConstraint</a> :: <a href="TcHsType.html#t:ExpKind">ExpKind</a></p></div><div class="top"><p class="src"><a name="v:expArgKind" class="def">expArgKind</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="TcType.html#t:TcKind">TcKind</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="TcHsType.html#t:ExpKind">ExpKind</a></p></div><div class="top"><p class="src"><a name="v:checkExpectedKind" class="def">checkExpectedKind</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> a => a -> <a href="TcType.html#t:TcKind">TcKind</a> -> <a href="TcHsType.html#t:ExpKind">ExpKind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:tcHsPatSigType" class="def">tcHsPatSigType</a> :: <a href="TcHsType.html#t:UserTypeCtxt">UserTypeCtxt</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="Var.html#t:TyVar">TyVar</a>], <a href="Type.html#t:Type">Type</a>)</p></div><div class="top"><p class="src"><a name="v:tcPatSig" class="def">tcPatSig</a> :: <a href="TcHsType.html#t:UserTypeCtxt">UserTypeCtxt</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcType.html#t:TcSigmaType">TcSigmaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="TcType.html#t:TcType">TcType</a>, [(<a href="Name.html#t:Name">Name</a>, <a href="TcType.html#t:TcType">TcType</a>)], <a href="TcEvidence.html#t:HsWrapper">HsWrapper</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
>
3106
