<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >TcType</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >TcType</DIV ><DIV CLASS="mini-synopsis" ><DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATcType" TARGET="main" >TcType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATcSigmaType" TARGET="main" >TcSigmaType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATcRhoType" TARGET="main" >TcRhoType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATcTauType" TARGET="main" >TcTauType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATcPredType" TARGET="main" >TcPredType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATcThetaType" TARGET="main" >TcThetaType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATcTyVar" TARGET="main" >TcTyVar</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATcTyVarSet" TARGET="main" >TcTyVarSet</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATcKind" TARGET="main" >TcKind</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ABoxyTyVar" TARGET="main" >BoxyTyVar</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ABoxySigmaType" TARGET="main" >BoxySigmaType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ABoxyRhoType" TARGET="main" >BoxyRhoType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ABoxyThetaType" TARGET="main" >BoxyThetaType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ABoxyType" TARGET="main" >BoxyType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcType.html#t%3AUserTypeCtxt" TARGET="main" >UserTypeCtxt</A > </DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprUserTypeCtxt" TARGET="main" >pprUserTypeCtxt</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcType.html#t%3ATcTyVarDetails" TARGET="main" >TcTyVarDetails</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcType.html#t%3ABoxInfo" TARGET="main" >BoxInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprTcTyVarDetails" TARGET="main" >pprTcTyVarDetails</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcType.html#t%3AMetaDetails" TARGET="main" >MetaDetails</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcType.html#t%3ASkolemInfo" TARGET="main" >SkolemInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprSkolTvBinding" TARGET="main" >pprSkolTvBinding</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprSkolInfo" TARGET="main" >pprSkolInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisImmutableTyVar" TARGET="main" >isImmutableTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisSkolemTyVar" TARGET="main" >isSkolemTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisMetaTyVar" TARGET="main" >isMetaTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisBoxyTyVar" TARGET="main" >isBoxyTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisSigTyVar" TARGET="main" >isSigTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisExistentialTyVar" TARGET="main" >isExistentialTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisTyConableTyVar" TARGET="main" >isTyConableTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmetaTvRef" TARGET="main" >metaTvRef</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFlexi" TARGET="main" >isFlexi</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisIndirect" TARGET="main" >isIndirect</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisRuntimeUnk" TARGET="main" >isRuntimeUnk</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisUnk" TARGET="main" >isUnk</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkPhiTy" TARGET="main" >mkPhiTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkSigmaTy" TARGET="main" >mkSigmaTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcView" TARGET="main" >tcView</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitForAllTys" TARGET="main" >tcSplitForAllTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitPhiTy" TARGET="main" >tcSplitPhiTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitPredFunTy_maybe" TARGET="main" >tcSplitPredFunTy_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitFunTy_maybe" TARGET="main" >tcSplitFunTy_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitFunTys" TARGET="main" >tcSplitFunTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcFunArgTy" TARGET="main" >tcFunArgTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcFunResultTy" TARGET="main" >tcFunResultTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitFunTysN" TARGET="main" >tcSplitFunTysN</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitTyConApp" TARGET="main" >tcSplitTyConApp</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitTyConApp_maybe" TARGET="main" >tcSplitTyConApp_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcTyConAppTyCon" TARGET="main" >tcTyConAppTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcTyConAppArgs" TARGET="main" >tcTyConAppArgs</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitAppTy_maybe" TARGET="main" >tcSplitAppTy_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitAppTy" TARGET="main" >tcSplitAppTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitAppTys" TARGET="main" >tcSplitAppTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ArepSplitAppTy_maybe" TARGET="main" >repSplitAppTy_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcInstHeadTyNotSynonym" TARGET="main" >tcInstHeadTyNotSynonym</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcInstHeadTyAppAllTyVars" TARGET="main" >tcInstHeadTyAppAllTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcGetTyVar_maybe" TARGET="main" >tcGetTyVar_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcGetTyVar" TARGET="main" >tcGetTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitSigmaTy" TARGET="main" >tcSplitSigmaTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcMultiSplitSigmaTy" TARGET="main" >tcMultiSplitSigmaTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcEqType" TARGET="main" >tcEqType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcEqTypes" TARGET="main" >tcEqTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcEqPred" TARGET="main" >tcEqPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcCmpType" TARGET="main" >tcCmpType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcCmpTypes" TARGET="main" >tcCmpTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcCmpPred" TARGET="main" >tcCmpPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcEqTypeX" TARGET="main" >tcEqTypeX</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AeqKind" TARGET="main" >eqKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisSigmaTy" TARGET="main" >isSigmaTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisOverloadedTy" TARGET="main" >isOverloadedTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisRigidTy" TARGET="main" >isRigidTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisBoxyTy" TARGET="main" >isBoxyTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisDoubleTy" TARGET="main" >isDoubleTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFloatTy" TARGET="main" >isFloatTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisIntTy" TARGET="main" >isIntTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisWordTy" TARGET="main" >isWordTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisStringTy" TARGET="main" >isStringTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisIntegerTy" TARGET="main" >isIntegerTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisBoolTy" TARGET="main" >isBoolTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisUnitTy" TARGET="main" >isUnitTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisCharTy" TARGET="main" >isCharTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisTauTy" TARGET="main" >isTauTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisTauTyCon" TARGET="main" >isTauTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcIsTyVarTy" TARGET="main" >tcIsTyVarTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcIsForAllTy" TARGET="main" >tcIsForAllTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisOpenSynTyConApp" TARGET="main" >isOpenSynTyConApp</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AdeNoteType" TARGET="main" >deNoteType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtyClsNamesOfType" TARGET="main" >tyClsNamesOfType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtyClsNamesOfDFunHead" TARGET="main" >tyClsNamesOfDFunHead</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AgetDFunTyKey" TARGET="main" >getDFunTyKey</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AgetClassPredTys_maybe" TARGET="main" >getClassPredTys_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AgetClassPredTys" TARGET="main" >getClassPredTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisClassPred" TARGET="main" >isClassPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisTyVarClassPred" TARGET="main" >isTyVarClassPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisEqPred" TARGET="main" >isEqPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkDictTy" TARGET="main" >mkDictTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitPredTy_maybe" TARGET="main" >tcSplitPredTy_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisPredTy" TARGET="main" >isPredTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisDictTy" TARGET="main" >isDictTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisDictLikeTy" TARGET="main" >isDictLikeTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitDFunTy" TARGET="main" >tcSplitDFunTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitDFunHead" TARGET="main" >tcSplitDFunHead</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApredTyUnique" TARGET="main" >predTyUnique</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkClassPred" TARGET="main" >mkClassPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisInheritablePred" TARGET="main" >isInheritablePred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisIPPred" TARGET="main" >isIPPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisRefineableTy" TARGET="main" >isRefineableTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisRefineablePred" TARGET="main" >isRefineablePred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIArgumentTy" TARGET="main" >isFFIArgumentTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIImportResultTy" TARGET="main" >isFFIImportResultTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIExportResultTy" TARGET="main" >isFFIExportResultTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIExternalTy" TARGET="main" >isFFIExternalTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIDynArgumentTy" TARGET="main" >isFFIDynArgumentTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIDynResultTy" TARGET="main" >isFFIDynResultTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIPrimArgumentTy" TARGET="main" >isFFIPrimArgumentTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIPrimResultTy" TARGET="main" >isFFIPrimResultTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFILabelTy" TARGET="main" >isFFILabelTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIDotnetTy" TARGET="main" >isFFIDotnetTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFIDotnetObjTy" TARGET="main" >isFFIDotnetObjTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFFITy" TARGET="main" >isFFITy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisFunPtrTy" TARGET="main" >isFunPtrTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcSplitIOType_maybe" TARGET="main" >tcSplitIOType_maybe</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3AKind" TARGET="main" >Kind</A > </DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AunliftedTypeKind" TARGET="main" >unliftedTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AliftedTypeKind" TARGET="main" >liftedTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AargTypeKind" TARGET="main" >argTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AopenTypeKind" TARGET="main" >openTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkArrowKind" TARGET="main" >mkArrowKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkArrowKinds" TARGET="main" >mkArrowKinds</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisLiftedTypeKind" TARGET="main" >isLiftedTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisUnliftedTypeKind" TARGET="main" >isUnliftedTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisSubOpenTypeKind" TARGET="main" >isSubOpenTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisSubArgTypeKind" TARGET="main" >isSubArgTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisSubKind" TARGET="main" >isSubKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsplitKindFunTys" TARGET="main" >splitKindFunTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AdefaultKind" TARGET="main" >defaultKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AkindVarRef" TARGET="main" >kindVarRef</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkKindVar" TARGET="main" >mkKindVar</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcType.html#t%3AType" TARGET="main" >Type</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcType.html#t%3APredType" TARGET="main" >PredType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3AThetaType" TARGET="main" >ThetaType</A > </DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkForAllTy" TARGET="main" >mkForAllTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkForAllTys" TARGET="main" >mkForAllTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkFunTy" TARGET="main" >mkFunTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkFunTys" TARGET="main" >mkFunTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AzipFunTys" TARGET="main" >zipFunTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkTyConApp" TARGET="main" >mkTyConApp</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkAppTy" TARGET="main" >mkAppTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkAppTys" TARGET="main" >mkAppTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AapplyTy" TARGET="main" >applyTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AapplyTys" TARGET="main" >applyTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkTyVarTy" TARGET="main" >mkTyVarTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkTyVarTys" TARGET="main" >mkTyVarTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkTyConTy" TARGET="main" >mkTyConTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkPredTy" TARGET="main" >mkPredTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkPredTys" TARGET="main" >mkPredTys</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="TcType.html#t%3ATvSubst" TARGET="main" >TvSubst</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="TcType.html#t%3ATvSubstEnv" TARGET="main" >TvSubstEnv</A > </DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AemptyTvSubst" TARGET="main" >emptyTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsubstEqSpec" TARGET="main" >substEqSpec</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkOpenTvSubst" TARGET="main" >mkOpenTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AzipOpenTvSubst" TARGET="main" >zipOpenTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AzipTopTvSubst" TARGET="main" >zipTopTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkTopTvSubst" TARGET="main" >mkTopTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AnotElemTvSubst" TARGET="main" >notElemTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AgetTvSubstEnv" TARGET="main" >getTvSubstEnv</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsetTvSubstEnv" TARGET="main" >setTvSubstEnv</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AgetTvInScope" TARGET="main" >getTvInScope</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AextendTvInScope" TARGET="main" >extendTvInScope</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AlookupTyVar" TARGET="main" >lookupTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AextendTvSubst" TARGET="main" >extendTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AextendTvSubstList" TARGET="main" >extendTvSubstList</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisInScope" TARGET="main" >isInScope</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AmkTvSubst" TARGET="main" >mkTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AzipTyEnv" TARGET="main" >zipTyEnv</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsubstTy" TARGET="main" >substTy</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsubstTys" TARGET="main" >substTys</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsubstTyWith" TARGET="main" >substTyWith</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsubstTheta" TARGET="main" >substTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsubstTyVar" TARGET="main" >substTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsubstTyVars" TARGET="main" >substTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AsubstTyVarBndr" TARGET="main" >substTyVarBndr</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisUnLiftedType" TARGET="main" >isUnLiftedType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisUnboxedTupleType" TARGET="main" >isUnboxedTupleType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AisPrimitiveType" TARGET="main" >isPrimitiveType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyTopType" TARGET="main" >tidyTopType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyType" TARGET="main" >tidyType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyPred" TARGET="main" >tidyPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyTypes" TARGET="main" >tidyTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyFreeTyVars" TARGET="main" >tidyFreeTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyOpenType" TARGET="main" >tidyOpenType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyOpenTypes" TARGET="main" >tidyOpenTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyTyVarBndr" TARGET="main" >tidyTyVarBndr</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyOpenTyVar" TARGET="main" >tidyOpenTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyOpenTyVars" TARGET="main" >tidyOpenTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidySkolemTyVar" TARGET="main" >tidySkolemTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtypeKind" TARGET="main" >typeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtidyKind" TARGET="main" >tidyKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtyVarsOfType" TARGET="main" >tyVarsOfType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtyVarsOfTypes" TARGET="main" >tyVarsOfTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtyVarsOfPred" TARGET="main" >tyVarsOfPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtyVarsOfTheta" TARGET="main" >tyVarsOfTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcTyVarsOfType" TARGET="main" >tcTyVarsOfType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcTyVarsOfTypes" TARGET="main" >tcTyVarsOfTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AtcTyVarsOfPred" TARGET="main" >tcTyVarsOfPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AexactTyVarsOfType" TARGET="main" >exactTyVarsOfType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3AexactTyVarsOfTypes" TARGET="main" >exactTyVarsOfTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprKind" TARGET="main" >pprKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprParendKind" TARGET="main" >pprParendKind</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprType" TARGET="main" >pprType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprParendType" TARGET="main" >pprParendType</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprTypeApp" TARGET="main" >pprTypeApp</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprTyThingCategory" TARGET="main" >pprTyThingCategory</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprPred" TARGET="main" >pprPred</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprTheta" TARGET="main" >pprTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprThetaArrow" TARGET="main" >pprThetaArrow</A ></DIV > <DIV CLASS="decl" ><A HREF="TcType.html#v%3ApprClassPred" TARGET="main" >pprClassPred</A ></DIV ></DIV ></DIV ></BODY ></HTML >