Kind

Main data type

type Kind

typeKind

Predicates on Kinds

isLiftedTypeKind

isUnliftedTypeKind

isConstraintKind

returnsTyCon

returnsConstraintKind

isConstraintKindCon

okArrowArgKind

okArrowResultKind

classifiesTypeWithValues

isStarKind

isStarKindSynonymTyCon

isRuntimeRepPolymorphic