<!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 >Type</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" >Type</DIV ><DIV CLASS="mini-synopsis" ><H1 >Main data types representing Types </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Type.html#t%3ATyThing" TARGET="main" >TyThing</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Type.html#t%3AType" TARGET="main" >Type</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Type.html#t%3APredType" TARGET="main" >PredType</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Type.html#t%3AThetaType" TARGET="main" >ThetaType</A > </DIV > <H2 >Constructing and deconstructing types </H2 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkTyVarTy" TARGET="main" >mkTyVarTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkTyVarTys" TARGET="main" >mkTyVarTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AgetTyVar" TARGET="main" >getTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AgetTyVar_maybe" TARGET="main" >getTyVar_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkAppTy" TARGET="main" >mkAppTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkAppTys" TARGET="main" >mkAppTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitAppTy" TARGET="main" >splitAppTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitAppTys" TARGET="main" >splitAppTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitAppTy_maybe" TARGET="main" >splitAppTy_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ArepSplitAppTy_maybe" TARGET="main" >repSplitAppTy_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkFunTy" TARGET="main" >mkFunTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkFunTys" TARGET="main" >mkFunTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitFunTy" TARGET="main" >splitFunTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitFunTy_maybe" TARGET="main" >splitFunTy_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitFunTys" TARGET="main" >splitFunTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitFunTysN" TARGET="main" >splitFunTysN</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AfunResultTy" TARGET="main" >funResultTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AfunArgTy" TARGET="main" >funArgTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AzipFunTys" TARGET="main" >zipFunTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkTyConApp" TARGET="main" >mkTyConApp</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkTyConTy" TARGET="main" >mkTyConTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtyConAppTyCon" TARGET="main" >tyConAppTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtyConAppArgs" TARGET="main" >tyConAppArgs</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitTyConApp_maybe" TARGET="main" >splitTyConApp_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitTyConApp" TARGET="main" >splitTyConApp</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkForAllTy" TARGET="main" >mkForAllTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkForAllTys" TARGET="main" >mkForAllTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitForAllTy_maybe" TARGET="main" >splitForAllTy_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitForAllTys" TARGET="main" >splitForAllTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AapplyTy" TARGET="main" >applyTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AapplyTys" TARGET="main" >applyTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AapplyTysD" TARGET="main" >applyTysD</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisForAllTy" TARGET="main" >isForAllTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AdropForAlls" TARGET="main" >dropForAlls</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AnewTyConInstRhs" TARGET="main" >newTyConInstRhs</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AcarefullySplitNewType_maybe" TARGET="main" >carefullySplitNewType_maybe</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtyFamInsts" TARGET="main" >tyFamInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApredFamInsts" TARGET="main" >predFamInsts</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkPredTy" TARGET="main" >mkPredTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkPredTys" TARGET="main" >mkPredTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkFamilyTyConApp" TARGET="main" >mkFamilyTyConApp</A ></DIV > <H2 >Common type constructors </H2 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AfunTyCon" TARGET="main" >funTyCon</A ></DIV > <H2 >Predicates on types </H2 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisTyVarTy" TARGET="main" >isTyVarTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisFunTy" TARGET="main" >isFunTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisUnLiftedType" TARGET="main" >isUnLiftedType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisUnboxedTupleType" TARGET="main" >isUnboxedTupleType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisAlgType" TARGET="main" >isAlgType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisClosedAlgType" TARGET="main" >isClosedAlgType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisPrimitiveType" TARGET="main" >isPrimitiveType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisStrictType" TARGET="main" >isStrictType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisStrictPred" TARGET="main" >isStrictPred</A ></DIV > <H1 >Main data types representing Kinds </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Type.html#t%3AKind" TARGET="main" >Kind</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Type.html#t%3ASimpleKind" TARGET="main" >SimpleKind</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Type.html#t%3AKindVar" TARGET="main" >KindVar</A > </DIV > <H2 >Deconstructing Kinds </H2 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AkindFunResult" TARGET="main" >kindFunResult</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitKindFunTys" TARGET="main" >splitKindFunTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsplitKindFunTysN" TARGET="main" >splitKindFunTysN</A ></DIV > <H2 >Common Kinds and SuperKinds </H2 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AliftedTypeKind" TARGET="main" >liftedTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AunliftedTypeKind" TARGET="main" >unliftedTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AopenTypeKind" TARGET="main" >openTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AargTypeKind" TARGET="main" >argTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AubxTupleKind" TARGET="main" >ubxTupleKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtySuperKind" TARGET="main" >tySuperKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AcoSuperKind" TARGET="main" >coSuperKind</A ></DIV > <H2 >Common Kind type constructors </H2 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AliftedTypeKindTyCon" TARGET="main" >liftedTypeKindTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AopenTypeKindTyCon" TARGET="main" >openTypeKindTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AunliftedTypeKindTyCon" TARGET="main" >unliftedTypeKindTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AargTypeKindTyCon" TARGET="main" >argTypeKindTyCon</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AubxTupleKindTyCon" TARGET="main" >ubxTupleKindTyCon</A ></DIV > <H2 >Predicates on Kinds </H2 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisLiftedTypeKind" TARGET="main" >isLiftedTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisUnliftedTypeKind" TARGET="main" >isUnliftedTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisOpenTypeKind" TARGET="main" >isOpenTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisUbxTupleKind" TARGET="main" >isUbxTupleKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisArgTypeKind" TARGET="main" >isArgTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisKind" TARGET="main" >isKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisTySuperKind" TARGET="main" >isTySuperKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisCoSuperKind" TARGET="main" >isCoSuperKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisSuperKind" TARGET="main" >isSuperKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisCoercionKind" TARGET="main" >isCoercionKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisEqPred" TARGET="main" >isEqPred</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkArrowKind" TARGET="main" >mkArrowKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkArrowKinds" TARGET="main" >mkArrowKinds</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisSubArgTypeKind" TARGET="main" >isSubArgTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisSubOpenTypeKind" TARGET="main" >isSubOpenTypeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisSubKind" TARGET="main" >isSubKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AdefaultKind" TARGET="main" >defaultKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AeqKind" TARGET="main" >eqKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisSubKindCon" TARGET="main" >isSubKindCon</A ></DIV > <H1 >Type free variables </H1 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtyVarsOfType" TARGET="main" >tyVarsOfType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtyVarsOfTypes" TARGET="main" >tyVarsOfTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtyVarsOfPred" TARGET="main" >tyVarsOfPred</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtyVarsOfTheta" TARGET="main" >tyVarsOfTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtypeKind" TARGET="main" >typeKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AexpandTypeSynonyms" TARGET="main" >expandTypeSynonyms</A ></DIV > <H1 >Tidying type related things up for printing </H1 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyType" TARGET="main" >tidyType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyTypes" TARGET="main" >tidyTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyOpenType" TARGET="main" >tidyOpenType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyOpenTypes" TARGET="main" >tidyOpenTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyTyVarBndr" TARGET="main" >tidyTyVarBndr</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyFreeTyVars" TARGET="main" >tidyFreeTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyOpenTyVar" TARGET="main" >tidyOpenTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyOpenTyVars" TARGET="main" >tidyOpenTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyTopType" TARGET="main" >tidyTopType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyPred" TARGET="main" >tidyPred</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtidyKind" TARGET="main" >tidyKind</A ></DIV > <H1 >Type comparison </H1 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AcoreEqType" TARGET="main" >coreEqType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcEqType" TARGET="main" >tcEqType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcEqTypes" TARGET="main" >tcEqTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcCmpType" TARGET="main" >tcCmpType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcCmpTypes" TARGET="main" >tcCmpTypes</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcEqPred" TARGET="main" >tcEqPred</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcEqPredX" TARGET="main" >tcEqPredX</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcCmpPred" TARGET="main" >tcCmpPred</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcEqTypeX" TARGET="main" >tcEqTypeX</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcPartOfType" TARGET="main" >tcPartOfType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcPartOfPred" TARGET="main" >tcPartOfPred</A ></DIV > <H1 >Forcing evaluation of types </H1 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AseqType" TARGET="main" >seqType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AseqTypes" TARGET="main" >seqTypes</A ></DIV > <H1 >Other views onto Types </H1 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AcoreView" TARGET="main" >coreView</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtcView" TARGET="main" >tcView</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AkindView" TARGET="main" >kindView</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ArepType" TARGET="main" >repType</A ></DIV > <H1 >Type representation for the code generator </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Type.html#t%3APrimRep" TARGET="main" >PrimRep</A > </DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AtypePrimRep" TARGET="main" >typePrimRep</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApredTypeRep" TARGET="main" >predTypeRep</A ></DIV > <H1 >Main type substitution data types </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="Type.html#t%3ATvSubstEnv" TARGET="main" >TvSubstEnv</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Type.html#t%3ATvSubst" TARGET="main" >TvSubst</A > </DIV > <H2 >Manipulating type substitutions </H2 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AemptyTvSubstEnv" TARGET="main" >emptyTvSubstEnv</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AemptyTvSubst" TARGET="main" >emptyTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkTvSubst" TARGET="main" >mkTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkOpenTvSubst" TARGET="main" >mkOpenTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AzipOpenTvSubst" TARGET="main" >zipOpenTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AzipTopTvSubst" TARGET="main" >zipTopTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AmkTopTvSubst" TARGET="main" >mkTopTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AnotElemTvSubst" TARGET="main" >notElemTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AgetTvSubstEnv" TARGET="main" >getTvSubstEnv</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsetTvSubstEnv" TARGET="main" >setTvSubstEnv</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AgetTvInScope" TARGET="main" >getTvInScope</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AextendTvInScope" TARGET="main" >extendTvInScope</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AextendTvSubst" TARGET="main" >extendTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AextendTvSubstList" TARGET="main" >extendTvSubstList</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisInScope" TARGET="main" >isInScope</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AcomposeTvSubst" TARGET="main" >composeTvSubst</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AzipTyEnv" TARGET="main" >zipTyEnv</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AisEmptyTvSubst" TARGET="main" >isEmptyTvSubst</A ></DIV > <H2 >Performing substitution on types </H2 > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsubstTy" TARGET="main" >substTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsubstTys" TARGET="main" >substTys</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsubstTyWith" TARGET="main" >substTyWith</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsubstTysWith" TARGET="main" >substTysWith</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsubstTheta" TARGET="main" >substTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsubstPred" TARGET="main" >substPred</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsubstTyVar" TARGET="main" >substTyVar</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsubstTyVars" TARGET="main" >substTyVars</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AsubstTyVarBndr" TARGET="main" >substTyVarBndr</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AdeShadowTy" TARGET="main" >deShadowTy</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3AlookupTyVar" TARGET="main" >lookupTyVar</A ></DIV > <H1 >Pretty-printing </H1 > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprType" TARGET="main" >pprType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprParendType" TARGET="main" >pprParendType</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprTypeApp" TARGET="main" >pprTypeApp</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprTyThingCategory" TARGET="main" >pprTyThingCategory</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprTyThing" TARGET="main" >pprTyThing</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprForAll" TARGET="main" >pprForAll</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprPred" TARGET="main" >pprPred</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprTheta" TARGET="main" >pprTheta</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprThetaArrow" TARGET="main" >pprThetaArrow</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprClassPred" TARGET="main" >pprClassPred</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprKind" TARGET="main" >pprKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprParendKind" TARGET="main" >pprParendKind</A ></DIV > <DIV CLASS="decl" ><A HREF="Type.html#v%3ApprSourceTyCon" TARGET="main" >pprSourceTyCon</A ></DIV ></DIV ></DIV ></BODY ></HTML >