<!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>TcMType</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_TcMType.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">TcMType</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcTyVar" class="def">TcTyVar</a> = <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcKind" class="def">TcKind</a> = <a href="Kind.html#t:Kind">Kind</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcType" class="def">TcType</a> = <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcTauType" class="def">TcTauType</a> = <a href="TcMType.html#t:TcType">TcType</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcThetaType" class="def">TcThetaType</a> = <a href="Type.html#t:ThetaType">ThetaType</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:TcTyVarSet" class="def">TcTyVarSet</a> = <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:newFlexiTyVar" class="def">newFlexiTyVar</a> :: <a href="Kind.html#t:Kind">Kind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcTyVar">TcTyVar</a></p></div><div class="top"><p class="src"><a name="v:newFlexiTyVarTy" class="def">newFlexiTyVarTy</a> :: <a href="Kind.html#t:Kind">Kind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcType">TcType</a></p></div><div class="top"><p class="src"><a name="v:newFlexiTyVarTys" class="def">newFlexiTyVarTys</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Kind.html#t:Kind">Kind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcMType.html#t:TcType">TcType</a>]</p></div><div class="top"><p class="src"><a name="v:newMetaKindVar" class="def">newMetaKindVar</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcKind">TcKind</a></p></div><div class="top"><p class="src"><a name="v:newMetaKindVars" class="def">newMetaKindVars</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcMType.html#t:TcKind">TcKind</a>]</p></div><div class="top"><p class="src"><a name="v:mkTcTyVarName" class="def">mkTcTyVarName</a> :: <a href="Unique.html#t:Unique">Unique</a> -> <a href="FastString.html#t:FastString">FastString</a> -> <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:newMetaTyVar" class="def">newMetaTyVar</a> :: <a href="TcType.html#t:MetaInfo">MetaInfo</a> -> <a href="Kind.html#t:Kind">Kind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcTyVar">TcTyVar</a></p></div><div class="top"><p class="src"><a name="v:readMetaTyVar" class="def">readMetaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcType.html#t:MetaDetails">MetaDetails</a></p></div><div class="top"><p class="src"><a name="v:writeMetaTyVar" class="def">writeMetaTyVar</a> :: <a href="TcMType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:writeMetaTyVarRef" class="def">writeMetaTyVarRef</a> :: <a href="TcMType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcRnTypes.html#t:TcRef">TcRef</a> <a href="TcType.html#t:MetaDetails">MetaDetails</a> -> <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:isFilledMetaTyVar" class="def">isFilledMetaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</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:isFlexiMetaTyVar" class="def">isFlexiMetaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</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:newEvVar" class="def">newEvVar</a> :: <a href="TcType.html#t:TcPredType">TcPredType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Var.html#t:EvVar">EvVar</a></p></div><div class="top"><p class="src"><a name="v:newEvVars" class="def">newEvVars</a> :: <a href="TcMType.html#t:TcThetaType">TcThetaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="Var.html#t:EvVar">EvVar</a>]</p></div><div class="top"><p class="src"><a name="v:newEq" class="def">newEq</a> :: <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Var.html#t:EvVar">EvVar</a></p></div><div class="top"><p class="src"><a name="v:newIP" class="def">newIP</a> :: <a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a> -> <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Var.html#t:IpId">IpId</a></p></div><div class="top"><p class="src"><a name="v:newDict" class="def">newDict</a> :: <a href="Class.html#t:Class">Class</a> -> [<a href="TcMType.html#t:TcType">TcType</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Var.html#t:DictId">DictId</a></p></div><div class="top"><p class="src"><a name="v:newWantedEvVar" class="def">newWantedEvVar</a> :: <a href="TcType.html#t:TcPredType">TcPredType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Var.html#t:EvVar">EvVar</a></p></div><div class="top"><p class="src"><a name="v:newWantedEvVars" class="def">newWantedEvVars</a> :: <a href="TcMType.html#t:TcThetaType">TcThetaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="Var.html#t:EvVar">EvVar</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:tcInstTyVars" class="def">tcInstTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="TcMType.html#t:TcTyVar">TcTyVar</a>], [<a href="TcMType.html#t:TcType">TcType</a>], <a href="Type.html#t:TvSubst">TvSubst</a>)</p></div><div class="top"><p class="src"><a name="v:tcInstSigTyVars" class="def">tcInstSigTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcMType.html#t:TcTyVar">TcTyVar</a>]</p></div><div class="top"><p class="src"><a name="v:tcInstType" class="def">tcInstType</a> :: ([<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcMType.html#t:TcTyVar">TcTyVar</a>]) -> <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="TcMType.html#t:TcTyVar">TcTyVar</a>], <a href="TcMType.html#t:TcThetaType">TcThetaType</a>, <a href="TcMType.html#t:TcType">TcType</a>)</p></div><div class="top"><p class="src"><a name="v:tcInstSkolTyVars" class="def">tcInstSkolTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcMType.html#t:TcTyVar">TcTyVar</a>]</p></div><div class="top"><p class="src"><a name="v:tcInstSuperSkolTyVars" class="def">tcInstSuperSkolTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcMType.html#t:TcTyVar">TcTyVar</a>]</p></div><div class="top"><p class="src"><a name="v:tcInstSkolTyVarsX" class="def">tcInstSkolTyVarsX</a> :: <a href="Type.html#t:TvSubst">TvSubst</a> -> [<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="Type.html#t:TvSubst">TvSubst</a>, [<a href="TcMType.html#t:TcTyVar">TcTyVar</a>])</p></div><div class="top"><p class="src"><a name="v:tcInstSuperSkolTyVarsX" class="def">tcInstSuperSkolTyVarsX</a> :: <a href="Type.html#t:TvSubst">TvSubst</a> -> [<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="Type.html#t:TvSubst">TvSubst</a>, [<a href="TcMType.html#t:TcTyVar">TcTyVar</a>])</p></div><div class="top"><p class="src"><a name="v:tcInstSkolTyVar" class="def">tcInstSkolTyVar</a> :: <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Type.html#t:TvSubst">TvSubst</a> -> <a href="Var.html#t:TyVar">TyVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> (<a href="Type.html#t:TvSubst">TvSubst</a>, <a href="TcMType.html#t:TcTyVar">TcTyVar</a>)</p></div><div class="top"><p class="src"><a name="v:tcInstSkolType" class="def">tcInstSkolType</a> :: <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="TcMType.html#t:TcTyVar">TcTyVar</a>], <a href="TcMType.html#t:TcThetaType">TcThetaType</a>, <a href="TcMType.html#t:TcType">TcType</a>)</p></div><div class="top"><p class="src"><a name="v:tcSkolDFunType" class="def">tcSkolDFunType</a> :: <a href="Type.html#t:Type">Type</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ([<a href="TcMType.html#t:TcTyVar">TcTyVar</a>], <a href="TcMType.html#t:TcThetaType">TcThetaType</a>, <a href="TcMType.html#t:TcType">TcType</a>)</p></div><div class="top"><p class="src"><a name="v:tcSuperSkolTyVars" class="def">tcSuperSkolTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> [<a href="TcMType.html#t:TcTyVar">TcTyVar</a>]</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Rank" class="def">Rank</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:checkValidType" class="def">checkValidType</a> :: <a href="TcMType.html#t:UserTypeCtxt">UserTypeCtxt</a> -> <a href="Type.html#t:Type">Type</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:checkValidMonoType" class="def">checkValidMonoType</a> :: <a href="Type.html#t:Type">Type</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:expectedKindInCtxt" class="def">expectedKindInCtxt</a> :: <a href="TcMType.html#t:UserTypeCtxt">UserTypeCtxt</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:checkValidTheta" class="def">checkValidTheta</a> :: <a href="TcMType.html#t:UserTypeCtxt">UserTypeCtxt</a> -> <a href="Type.html#t:ThetaType">ThetaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:checkValidInstHead" class="def">checkValidInstHead</a> :: <a href="TcMType.html#t:UserTypeCtxt">UserTypeCtxt</a> -> <a href="Class.html#t:Class">Class</a> -> [<a href="Type.html#t:Type">Type</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:checkValidInstance" class="def">checkValidInstance</a> :: <a href="TcMType.html#t:UserTypeCtxt">UserTypeCtxt</a> -> <a href="HsTypes.html#t:LHsType">LHsType</a> <a href="Name.html#t:Name">Name</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="TcMType.html#t:TcType">TcType</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:validDerivPred" class="def">validDerivPred</a> :: <a href="VarSet.html#t:TyVarSet">TyVarSet</a> -> <a href="Type.html#t:PredType">PredType</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:checkInstTermination" class="def">checkInstTermination</a> :: [<a href="TcMType.html#t:TcType">TcType</a>] -> <a href="Type.html#t:ThetaType">ThetaType</a> -> [<a href="ErrUtils.html#t:Message">Message</a>]</p></div><div class="top"><p class="src"><a name="v:checkValidFamInst" class="def">checkValidFamInst</a> :: [<a href="Type.html#t:Type">Type</a>] -> <a href="Type.html#t:Type">Type</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:checkTyFamFreeness" class="def">checkTyFamFreeness</a> :: <a href="Type.html#t:Type">Type</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> ()</p></div><div class="top"><p class="src"><a name="v:arityErr" class="def">arityErr</a> :: <a href="Outputable.html#t:Outputable">Outputable</a> a => <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> -> a -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:growPredTyVars" class="def">growPredTyVars</a> :: <a href="TcType.html#t:TcPredType">TcPredType</a> -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a> -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:growThetaTyVars" class="def">growThetaTyVars</a> :: <a href="TcMType.html#t:TcThetaType">TcThetaType</a> -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a> -> <a href="VarSet.html#t:TyVarSet">TyVarSet</a></p></div><div class="top"><p class="src"><a name="v:zonkType" class="def">zonkType</a> :: (<a href="TcMType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Type.html#t:Type">Type</a>) -> <a href="TcMType.html#t:TcType">TcType</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:zonkKind" class="def">zonkKind</a> :: (<a href="TcMType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Kind.html#t:Kind">Kind</a>) -> <a href="TcMType.html#t:TcKind">TcKind</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:zonkTcPredType" class="def">zonkTcPredType</a> :: <a href="TcType.html#t:TcPredType">TcPredType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcType.html#t:TcPredType">TcPredType</a></p></div><div class="top"><p class="src"><a name="v:zonkTcTypeCarefully" class="def">zonkTcTypeCarefully</a> :: <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcType">TcType</a></p></div><div class="top"><p class="src"><a name="v:skolemiseUnboundMetaTyVar" class="def">skolemiseUnboundMetaTyVar</a> :: <a href="TcMType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcType.html#t:TcTyVarDetails">TcTyVarDetails</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:zonkTcTyVar" class="def">zonkTcTyVar</a> :: <a href="TcMType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcType">TcType</a></p></div><div class="top"><p class="src"><a name="v:zonkTcTyVars" class="def">zonkTcTyVars</a> :: [<a href="TcMType.html#t:TcTyVar">TcTyVar</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcMType.html#t:TcType">TcType</a>]</p></div><div class="top"><p class="src"><a name="v:zonkTcTyVarsAndFV" class="def">zonkTcTyVarsAndFV</a> :: <a href="TcMType.html#t:TcTyVarSet">TcTyVarSet</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcTyVarSet">TcTyVarSet</a></p></div><div class="top"><p class="src"><a name="v:zonkSigTyVar" class="def">zonkSigTyVar</a> :: <a href="TcMType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcTyVar">TcTyVar</a></p></div><div class="top"><p class="src"><a name="v:zonkQuantifiedTyVar" class="def">zonkQuantifiedTyVar</a> :: <a href="TcMType.html#t:TcTyVar">TcTyVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcTyVar">TcTyVar</a></p></div><div class="top"><p class="src"><a name="v:zonkQuantifiedTyVars" class="def">zonkQuantifiedTyVars</a> :: <a href="TcMType.html#t:TcTyVarSet">TcTyVarSet</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcMType.html#t:TcTyVar">TcTyVar</a>]</p></div><div class="top"><p class="src"><a name="v:zonkTcType" class="def">zonkTcType</a> :: <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcType">TcType</a></p></div><div class="top"><p class="src"><a name="v:zonkTcTypes" class="def">zonkTcTypes</a> :: [<a href="TcMType.html#t:TcType">TcType</a>] -> <a href="TcRnTypes.html#t:TcM">TcM</a> [<a href="TcMType.html#t:TcType">TcType</a>]</p></div><div class="top"><p class="src"><a name="v:zonkTcThetaType" class="def">zonkTcThetaType</a> :: <a href="TcMType.html#t:TcThetaType">TcThetaType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcThetaType">TcThetaType</a></p></div><div class="top"><p class="src"><a name="v:zonkTcKind" class="def">zonkTcKind</a> :: <a href="TcMType.html#t:TcKind">TcKind</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcKind">TcKind</a></p></div><div class="top"><p class="src"><a name="v:defaultKindVarToStar" class="def">defaultKindVarToStar</a> :: <a href="TcMType.html#t:TcTyVar">TcTyVar</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:zonkCt" class="def">zonkCt</a> :: <a href="TcRnTypes.html#t:Ct">Ct</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcRnTypes.html#t:Ct">Ct</a></p></div><div class="top"><p class="src"><a name="v:zonkCts" class="def">zonkCts</a> :: <a href="TcRnTypes.html#t:Cts">Cts</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcRnTypes.html#t:Cts">Cts</a></p></div><div class="top"><p class="src"><a name="v:zonkImplication" class="def">zonkImplication</a> :: <a href="TcRnTypes.html#t:Implication">Implication</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcRnTypes.html#t:Implication">Implication</a></p></div><div class="top"><p class="src"><a name="v:zonkEvVar" class="def">zonkEvVar</a> :: <a href="Var.html#t:EvVar">EvVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="Var.html#t:EvVar">EvVar</a></p></div><div class="top"><p class="src"><a name="v:zonkWantedEvVar" class="def">zonkWantedEvVar</a> :: <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a></p></div><div class="top"><p class="src"><a name="v:zonkWC" class="def">zonkWC</a> :: <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcRnTypes.html#t:WantedConstraints">WantedConstraints</a></p></div><div class="top"><p class="src"><a name="v:zonkWantedEvVars" class="def">zonkWantedEvVars</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> (<a href="Bag.html#t:Bag">Bag</a> <a href="TcRnTypes.html#t:WantedEvVar">WantedEvVar</a>)</p></div><div class="top"><p class="src"><a name="v:zonkTcTypeAndSubst" class="def">zonkTcTypeAndSubst</a> :: <a href="Type.html#t:TvSubst">TvSubst</a> -> <a href="TcMType.html#t:TcType">TcType</a> -> <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcType">TcType</a></p></div><div class="top"><p class="src"><a name="v:tcGetGlobalTyVars" class="def">tcGetGlobalTyVars</a> :: <a href="TcRnTypes.html#t:TcM">TcM</a> <a href="TcMType.html#t:TcTyVarSet">TcTyVarSet</a></p></div><div class="top"><p class="src"><a name="v:compatKindTcM" class="def">compatKindTcM</a> :: <a href="Kind.html#t:Kind">Kind</a> -> <a href="Kind.html#t:Kind">Kind</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:isSubKindTcM" class="def">isSubKindTcM</a> :: <a href="Kind.html#t:Kind">Kind</a> -> <a href="Kind.html#t:Kind">Kind</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></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
>
3110
