Sophie: ghc-7.4.2-4.mga5 i586

ghc-7.4.2-4.mga5.i586.rpm

<!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>TcType</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">TcType</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcType" target="main">TcType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcSigmaType" target="main">TcSigmaType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcRhoType" target="main">TcRhoType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcTauType" target="main">TcTauType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcPredType" target="main">TcPredType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcThetaType" target="main">TcThetaType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcTyVar" target="main">TcTyVar</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcTyVarSet" target="main">TcTyVarSet</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcKind" target="main">TcKind</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TcCoVar" target="main">TcCoVar</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcType.html#t:UserTypeCtxt" target="main">UserTypeCtxt</a> </p></div><div class="top"><p class="src"><a href="TcType.html#v:pprUserTypeCtxt" target="main">pprUserTypeCtxt</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcType.html#t:TcTyVarDetails" target="main">TcTyVarDetails</a> </p></div><div class="top"><p class="src"><a href="TcType.html#v:pprTcTyVarDetails" target="main">pprTcTyVarDetails</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:vanillaSkolemTv" target="main">vanillaSkolemTv</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:superSkolemTv" target="main">superSkolemTv</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcType.html#t:MetaDetails" target="main">MetaDetails</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcType.html#t:MetaInfo" target="main">MetaInfo</a> </p></div><div class="top"><p class="src"><a href="TcType.html#v:isImmutableTyVar" target="main">isImmutableTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isSkolemTyVar" target="main">isSkolemTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isMetaTyVar" target="main">isMetaTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isMetaTyVarTy" target="main">isMetaTyVarTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isTyVarTy" target="main">isTyVarTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isSigTyVar" target="main">isSigTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isOverlappableTyVar" target="main">isOverlappableTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isTyConableTyVar" target="main">isTyConableTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isAmbiguousTyVar" target="main">isAmbiguousTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:metaTvRef" target="main">metaTvRef</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFlexi" target="main">isFlexi</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isIndirect" target="main">isIndirect</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isRuntimeUnkSkol" target="main">isRuntimeUnkSkol</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkPhiTy" target="main">mkPhiTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkSigmaTy" target="main">mkSigmaTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcView" target="main">tcView</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitForAllTys" target="main">tcSplitForAllTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitPhiTy" target="main">tcSplitPhiTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitPredFunTy_maybe" target="main">tcSplitPredFunTy_maybe</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitFunTy_maybe" target="main">tcSplitFunTy_maybe</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitFunTys" target="main">tcSplitFunTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcFunArgTy" target="main">tcFunArgTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcFunResultTy" target="main">tcFunResultTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitFunTysN" target="main">tcSplitFunTysN</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitTyConApp" target="main">tcSplitTyConApp</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitTyConApp_maybe" target="main">tcSplitTyConApp_maybe</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcTyConAppTyCon" target="main">tcTyConAppTyCon</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcTyConAppArgs" target="main">tcTyConAppArgs</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitAppTy_maybe" target="main">tcSplitAppTy_maybe</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitAppTy" target="main">tcSplitAppTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitAppTys" target="main">tcSplitAppTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:repSplitAppTy_maybe" target="main">repSplitAppTy_maybe</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcInstHeadTyNotSynonym" target="main">tcInstHeadTyNotSynonym</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcInstHeadTyAppAllTyVars" target="main">tcInstHeadTyAppAllTyVars</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcGetTyVar_maybe" target="main">tcGetTyVar_maybe</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcGetTyVar" target="main">tcGetTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitSigmaTy" target="main">tcSplitSigmaTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcDeepSplitSigmaTy_maybe" target="main">tcDeepSplitSigmaTy_maybe</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:eqType" target="main">eqType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:eqTypes" target="main">eqTypes</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:eqPred" target="main">eqPred</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:cmpType" target="main">cmpType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:cmpTypes" target="main">cmpTypes</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:cmpPred" target="main">cmpPred</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:eqTypeX" target="main">eqTypeX</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:eqKind" target="main">eqKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isSigmaTy" target="main">isSigmaTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isOverloadedTy" target="main">isOverloadedTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isDoubleTy" target="main">isDoubleTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFloatTy" target="main">isFloatTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isIntTy" target="main">isIntTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isWordTy" target="main">isWordTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isStringTy" target="main">isStringTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isIntegerTy" target="main">isIntegerTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isBoolTy" target="main">isBoolTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isUnitTy" target="main">isUnitTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isCharTy" target="main">isCharTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isTauTy" target="main">isTauTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isTauTyCon" target="main">isTauTyCon</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcIsTyVarTy" target="main">tcIsTyVarTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcIsForAllTy" target="main">tcIsForAllTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isSynFamilyTyConApp" target="main">isSynFamilyTyConApp</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isPredTy" target="main">isPredTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isTyVarClassPred" target="main">isTyVarClassPred</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:shallowPredTypePredTree" target="main">shallowPredTypePredTree</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:deNoteType" target="main">deNoteType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:orphNamesOfType" target="main">orphNamesOfType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:orphNamesOfDFunHead" target="main">orphNamesOfDFunHead</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:orphNamesOfCo" target="main">orphNamesOfCo</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:getDFunTyKey" target="main">getDFunTyKey</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:evVarPred_maybe" target="main">evVarPred_maybe</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:evVarPred" target="main">evVarPred</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkMinimalBySCs" target="main">mkMinimalBySCs</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:transSuperClasses" target="main">transSuperClasses</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:immSuperClasses" target="main">immSuperClasses</a></p></div><h1>Finding type instances
</h1><div class="top"><p class="src"><a href="TcType.html#v:tcTyFamInsts" target="main">tcTyFamInsts</a></p></div><h1>Finding <a href="exact.html">exact</a> (non-dead) type variables
</h1><div class="top"><p class="src"><a href="TcType.html#v:exactTyVarsOfType" target="main">exactTyVarsOfType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:exactTyVarsOfTypes" target="main">exactTyVarsOfTypes</a></p></div><h1>Tidying type related things up for printing
</h1><div class="top"><p class="src"><a href="TcType.html#v:tidyType" target="main">tidyType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyTypes" target="main">tidyTypes</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyOpenType" target="main">tidyOpenType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyOpenTypes" target="main">tidyOpenTypes</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyOpenKind" target="main">tidyOpenKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyTyVarBndr" target="main">tidyTyVarBndr</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyFreeTyVars" target="main">tidyFreeTyVars</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyOpenTyVar" target="main">tidyOpenTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyOpenTyVars" target="main">tidyOpenTyVars</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyTopType" target="main">tidyTopType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyKind" target="main">tidyKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyCo" target="main">tidyCo</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tidyCos" target="main">tidyCos</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIArgumentTy" target="main">isFFIArgumentTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIImportResultTy" target="main">isFFIImportResultTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIExportResultTy" target="main">isFFIExportResultTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIExternalTy" target="main">isFFIExternalTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIDynArgumentTy" target="main">isFFIDynArgumentTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIDynResultTy" target="main">isFFIDynResultTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIPrimArgumentTy" target="main">isFFIPrimArgumentTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIPrimResultTy" target="main">isFFIPrimResultTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFILabelTy" target="main">isFFILabelTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIDotnetTy" target="main">isFFIDotnetTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFIDotnetObjTy" target="main">isFFIDotnetObjTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFFITy" target="main">isFFITy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isFunPtrTy" target="main">isFunPtrTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitIOType_maybe" target="main">tcSplitIOType_maybe</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:Kind" target="main">Kind</a> </p></div><div class="top"><p class="src"><a href="TcType.html#v:typeKind" target="main">typeKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:unliftedTypeKind" target="main">unliftedTypeKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:liftedTypeKind" target="main">liftedTypeKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:argTypeKind" target="main">argTypeKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:openTypeKind" target="main">openTypeKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:constraintKind" target="main">constraintKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkArrowKind" target="main">mkArrowKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkArrowKinds" target="main">mkArrowKinds</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isLiftedTypeKind" target="main">isLiftedTypeKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isUnliftedTypeKind" target="main">isUnliftedTypeKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isSubOpenTypeKind" target="main">isSubOpenTypeKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isSubArgTypeKind" target="main">isSubArgTypeKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isSubKind" target="main">isSubKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:splitKindFunTys" target="main">splitKindFunTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:defaultKind" target="main">defaultKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkMetaKindVar" target="main">mkMetaKindVar</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcType.html#t:Type" target="main">Type</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:PredType" target="main">PredType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:ThetaType" target="main">ThetaType</a> </p></div><div class="top"><p class="src"><a href="TcType.html#v:mkForAllTy" target="main">mkForAllTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkForAllTys" target="main">mkForAllTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkFunTy" target="main">mkFunTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkFunTys" target="main">mkFunTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:zipFunTys" target="main">zipFunTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkTyConApp" target="main">mkTyConApp</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkAppTy" target="main">mkAppTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkAppTys" target="main">mkAppTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:applyTy" target="main">applyTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:applyTys" target="main">applyTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkTyVarTy" target="main">mkTyVarTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkTyVarTys" target="main">mkTyVarTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkTyConTy" target="main">mkTyConTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isClassPred" target="main">isClassPred</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isEqPred" target="main">isEqPred</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isIPPred" target="main">isIPPred</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkClassPred" target="main">mkClassPred</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkIPPred" target="main">mkIPPred</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isDictLikeTy" target="main">isDictLikeTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitDFunTy" target="main">tcSplitDFunTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcSplitDFunHead" target="main">tcSplitDFunHead</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkEqPred" target="main">mkEqPred</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TcType.html#t:TvSubst" target="main">TvSubst</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TcType.html#t:TvSubstEnv" target="main">TvSubstEnv</a> </p></div><div class="top"><p class="src"><a href="TcType.html#v:emptyTvSubst" target="main">emptyTvSubst</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkOpenTvSubst" target="main">mkOpenTvSubst</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:zipOpenTvSubst" target="main">zipOpenTvSubst</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:zipTopTvSubst" target="main">zipTopTvSubst</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkTopTvSubst" target="main">mkTopTvSubst</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:notElemTvSubst" target="main">notElemTvSubst</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:unionTvSubst" target="main">unionTvSubst</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:getTvSubstEnv" target="main">getTvSubstEnv</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:setTvSubstEnv" target="main">setTvSubstEnv</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:getTvInScope" target="main">getTvInScope</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:extendTvInScope" target="main">extendTvInScope</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:lookupTyVar" target="main">lookupTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:extendTvSubst" target="main">extendTvSubst</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:substTyVarBndr" target="main">substTyVarBndr</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:extendTvSubstList" target="main">extendTvSubstList</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isInScope" target="main">isInScope</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:mkTvSubst" target="main">mkTvSubst</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:zipTyEnv" target="main">zipTyEnv</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:substTy" target="main">substTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:substTys" target="main">substTys</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:substTyWith" target="main">substTyWith</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:substTheta" target="main">substTheta</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:substTyVar" target="main">substTyVar</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:substTyVars" target="main">substTyVars</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isUnLiftedType" target="main">isUnLiftedType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isUnboxedTupleType" target="main">isUnboxedTupleType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:isPrimitiveType" target="main">isPrimitiveType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tyVarsOfType" target="main">tyVarsOfType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tyVarsOfTypes" target="main">tyVarsOfTypes</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcTyVarsOfType" target="main">tcTyVarsOfType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:tcTyVarsOfTypes" target="main">tcTyVarsOfTypes</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:pprKind" target="main">pprKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:pprParendKind" target="main">pprParendKind</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:pprType" target="main">pprType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:pprParendType" target="main">pprParendType</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:pprTypeApp" target="main">pprTypeApp</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:pprTyThingCategory" target="main">pprTyThingCategory</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:pprTheta" target="main">pprTheta</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:pprThetaArrowTy" target="main">pprThetaArrowTy</a></p></div><div class="top"><p class="src"><a href="TcType.html#v:pprClassPred" target="main">pprClassPred</a></p></div></div></body></html>