Kind

Main data type

type Kind

typeKind

Predicates on Kinds

isLiftedTypeKind

isUnliftedTypeKind

isConstraintKind

isTYPEApp

returnsTyCon

returnsConstraintKind

isConstraintKindCon

okArrowArgKind

okArrowResultKind

classifiesTypeWithValues

isStarKind

isStarKindSynonymTyCon

tcIsStarKind

isKindLevPoly