Sophie: ghc-0:6.10.4-1mdv2010.0 i586

ghc-6.10.4-1mdv2010.0.i586.rpm

<!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
>&nbsp;<A HREF="Type.html#t%3ATyThing" TARGET="main"
>TyThing</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>&nbsp;<A HREF="Type.html#t%3AType" TARGET="main"
>Type</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>&nbsp;<A HREF="Type.html#t%3APredType" TARGET="main"
>PredType</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<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
>&nbsp;<A HREF="Type.html#t%3AKind" TARGET="main"
>Kind</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<A HREF="Type.html#t%3ASimpleKind" TARGET="main"
>SimpleKind</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<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
> <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
>&nbsp;<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
>&nbsp;<A HREF="Type.html#t%3ATvSubstEnv" TARGET="main"
>TvSubstEnv</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>&nbsp;<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
>