Kind

Main data type

type SuperKind

type Kind

typeKind

anyKind

liftedTypeKind

unliftedTypeKind

openTypeKind

constraintKind

mkArrowKind

mkArrowKinds

anyKindTyCon

liftedTypeKindTyCon

openTypeKindTyCon

unliftedTypeKindTyCon

constraintKindTyCon

superKind

superKindTyCon

pprKind

pprParendKind

Deconstructing Kinds

kindAppResult

synTyConResKind

splitKindFunTys

splitKindFunTysN

splitKindFunTy_maybe

Predicates on Kinds

isLiftedTypeKind

isUnliftedTypeKind

isOpenTypeKind

isConstraintKind

isConstraintOrLiftedKind

returnsConstraintKind

isKind

isKindVar

isSuperKind

isSuperKindTyCon

isLiftedTypeKindCon

isConstraintKindCon

isAnyKind

isAnyKindCon

okArrowArgKind

okArrowResultKind

isSubOpenTypeKind

isSubOpenTypeKindKey

isSubKind

isSubKindCon

tcIsSubKind

tcIsSubKindCon

defaultKind

defaultKind_maybe

Functions on variables

kiVarsOfKind

kiVarsOfKinds