<!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();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">TcMType</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcMType.html#t:TcTyVar" target="main">TcTyVar</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcMType.html#t:TcKind" target="main">TcKind</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcMType.html#t:TcType" target="main">TcType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcMType.html#t:TcTauType" target="main">TcTauType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcMType.html#t:TcThetaType" target="main">TcThetaType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcMType.html#t:TcTyVarSet" target="main">TcTyVarSet</a> </p></div><div class="top"><p class="src"><a href="TcMType.html#v:newFlexiTyVar" target="main">newFlexiTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newFlexiTyVarTy" target="main">newFlexiTyVarTy</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newFlexiTyVarTys" target="main">newFlexiTyVarTys</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newMetaKindVar" target="main">newMetaKindVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newMetaKindVars" target="main">newMetaKindVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:mkTcTyVarName" target="main">mkTcTyVarName</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newMetaTyVar" target="main">newMetaTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:readMetaTyVar" target="main">readMetaTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:writeMetaTyVar" target="main">writeMetaTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:writeMetaTyVarRef" target="main">writeMetaTyVarRef</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:isFilledMetaTyVar" target="main">isFilledMetaTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:isFlexiMetaTyVar" target="main">isFlexiMetaTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newEvVar" target="main">newEvVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newEvVars" target="main">newEvVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newEq" target="main">newEq</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newIP" target="main">newIP</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newDict" target="main">newDict</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newWantedEvVar" target="main">newWantedEvVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newWantedEvVars" target="main">newWantedEvVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:newTcEvBinds" target="main">newTcEvBinds</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:addTcEvBind" target="main">addTcEvBind</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcInstTyVars" target="main">tcInstTyVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcInstSigTyVars" target="main">tcInstSigTyVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcInstType" target="main">tcInstType</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcInstSkolTyVars" target="main">tcInstSkolTyVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcInstSuperSkolTyVars" target="main">tcInstSuperSkolTyVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcInstSkolTyVarsX" target="main">tcInstSkolTyVarsX</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcInstSuperSkolTyVarsX" target="main">tcInstSuperSkolTyVarsX</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcInstSkolTyVar" target="main">tcInstSkolTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcInstSkolType" target="main">tcInstSkolType</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcSkolDFunType" target="main">tcSkolDFunType</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcSuperSkolTyVars" target="main">tcSuperSkolTyVars</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcMType.html#t:Rank" target="main">Rank</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcMType.html#t:UserTypeCtxt" target="main">UserTypeCtxt</a> </p></div><div class="top"><p class="src"><a href="TcMType.html#v:checkValidType" target="main">checkValidType</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:checkValidMonoType" target="main">checkValidMonoType</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:expectedKindInCtxt" target="main">expectedKindInCtxt</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:checkValidTheta" target="main">checkValidTheta</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:checkValidInstHead" target="main">checkValidInstHead</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:checkValidInstance" target="main">checkValidInstance</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:validDerivPred" target="main">validDerivPred</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:checkInstTermination" target="main">checkInstTermination</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:checkValidFamInst" target="main">checkValidFamInst</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:checkTyFamFreeness" target="main">checkTyFamFreeness</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:arityErr" target="main">arityErr</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:growPredTyVars" target="main">growPredTyVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:growThetaTyVars" target="main">growThetaTyVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkType" target="main">zonkType</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkKind" target="main">zonkKind</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcPredType" target="main">zonkTcPredType</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcTypeCarefully" target="main">zonkTcTypeCarefully</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:skolemiseUnboundMetaTyVar" target="main">skolemiseUnboundMetaTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcTyVar" target="main">zonkTcTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcTyVars" target="main">zonkTcTyVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcTyVarsAndFV" target="main">zonkTcTyVarsAndFV</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkSigTyVar" target="main">zonkSigTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkQuantifiedTyVar" target="main">zonkQuantifiedTyVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkQuantifiedTyVars" target="main">zonkQuantifiedTyVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcType" target="main">zonkTcType</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcTypes" target="main">zonkTcTypes</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcThetaType" target="main">zonkTcThetaType</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcKind" target="main">zonkTcKind</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:defaultKindVarToStar" target="main">defaultKindVarToStar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkCt" target="main">zonkCt</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkCts" target="main">zonkCts</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkImplication" target="main">zonkImplication</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkEvVar" target="main">zonkEvVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkWantedEvVar" target="main">zonkWantedEvVar</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkWC" target="main">zonkWC</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkWantedEvVars" target="main">zonkWantedEvVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:zonkTcTypeAndSubst" target="main">zonkTcTypeAndSubst</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:tcGetGlobalTyVars" target="main">tcGetGlobalTyVars</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:compatKindTcM" target="main">compatKindTcM</a></p></div><div class="top"><p class="src"><a href="TcMType.html#v:isSubKindTcM" target="main">isSubKindTcM</a></p></div></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
3570
