Kind

Main data type

type Kind

typeKind

liftedTypeKind

ubxTupleKind

argTypeKind

openTypeKind

unliftedTypeKind

mkArrowKind

mkArrowKinds

tySuperKindTyCon

argTypeKindTyCon

ubxTupleKindTyCon

unliftedTypeKindTyCon

openTypeKindTyCon

liftedTypeKindTyCon

tySuperKind

pprKind

pprParendKind

Deconstructing Kinds

kindFunResult

kindAppResult

synTyConResKind

splitKindFunTys

splitKindFunTysN

splitKindFunTy_maybe

Predicates on Kinds

isLiftedTypeKind

isUbxTupleKind

isUnliftedTypeKind

isArgTypeKind

isOpenTypeKind

isKind

isTySuperKind

isSuperKind

isCoercionKind

isLiftedTypeKindCon

isSubArgTypeKind

isSubOpenTypeKind

isSubKind

defaultKind

isSubKindCon