diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 56247300b9ba8df63df2605a0b38cffbc361f206..4c60b6e54fa5830fc0518b754ba3e83672f7d46e 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -30,12 +30,12 @@ module TyCoRep ( PredType, ThetaType, -- Synonyms VisibilityFlag(..), - -- Coercions + -- * Coercions Coercion(..), LeftOrRight(..), UnivCoProvenance(..), CoercionHole(..), CoercionN, CoercionR, CoercionP, KindCoercion, - -- Functions over types + -- * Functions over types mkTyConTy, mkTyVarTy, mkTyVarTys, mkFunTy, mkFunTys, mkForAllTys, isLiftedTypeKind, isUnliftedTypeKind, @@ -43,14 +43,14 @@ module TyCoRep ( isRuntimeRepKindedTy, dropRuntimeRepArgs, sameVis, - -- Functions over binders + -- * Functions over binders binderType, delBinderVar, isInvisibleBinder, isVisibleBinder, isNamedBinder, isAnonBinder, - -- Functions over coercions + -- * Functions over coercions pickLR, - -- Pretty-printing + -- * Pretty-printing pprType, pprParendType, pprTypeApp, pprTvBndr, pprTvBndrs, pprTyThing, pprTyThingCategory, pprSigmaType, pprTheta, pprForAll, pprForAllImplicit, pprUserForAll,