Commit 009a9997 authored by Ben Gamari's avatar Ben Gamari 🐢

TyCoRep: Add haddock sections

parent a9dc62ae
......@@ -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,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment