Kind

Main data type

type Kind

typeKind

anyKind

liftedTypeKind

unliftedTypeKind

openTypeKind

argTypeKind

ubxTupleKind

constraintKind

mkArrowKind

mkArrowKinds

anyKindTyCon

liftedTypeKindTyCon

openTypeKindTyCon

unliftedTypeKindTyCon

argTypeKindTyCon

ubxTupleKindTyCon

constraintKindTyCon

tySuperKind

tySuperKindTyCon

pprKind

pprParendKind

Deconstructing Kinds

kindFunResult

kindAppResult

synTyConResKind

splitKindFunTys

splitKindFunTysN

splitKindFunTy_maybe

Predicates on Kinds

isLiftedTypeKind

isUnliftedTypeKind

isOpenTypeKind

isUbxTupleKind

isArgTypeKind

isConstraintKind

isConstraintOrLiftedKind

isKind

isSuperKind

noHashInKind

isLiftedTypeKindCon

isConstraintKindCon

isAnyKind

isAnyKindCon

isSubArgTypeKind

tcIsSubArgTypeKind

isSubOpenTypeKind

tcIsSubOpenTypeKind

isSubKind

tcIsSubKind

defaultKind

isSubKindCon

tcIsSubKindCon

isSubOpenTypeKindCon

Functions on variables

isKiVar

splitKiTyVars

partitionKiTyVars

kiVarsOfKind

kiVarsOfKinds

Promotion related functions

promoteType

isPromotableType

isPromotableKind