Kind

Main data type

type Kind

typeKind

anyKind

constraintKind

ubxTupleKind

argTypeKind

openTypeKind

unliftedTypeKind

liftedTypeKind

mkArrowKind

mkArrowKinds

tySuperKindTyCon

constraintKindTyCon

argTypeKindTyCon

ubxTupleKindTyCon

unliftedTypeKindTyCon

openTypeKindTyCon

liftedTypeKindTyCon

anyKindTyCon

tySuperKind

pprKind

pprParendKind

Deconstructing Kinds

kindFunResult

kindAppResult

synTyConResKind

splitKindFunTys

splitKindFunTysN

splitKindFunTy_maybe

Predicates on Kinds

isLiftedTypeKind

isUbxTupleKind

isConstraintOrLiftedKind

isAnyKind

isConstraintKind

isUnliftedTypeKind

isArgTypeKind

isOpenTypeKind

isKind

isSuperKind

noHashInKind

isLiftedTypeKindCon

isAnyKindCon

isConstraintKindCon

isSubOpenTypeKindCon

isSubArgTypeKind

tcIsSubArgTypeKind

isSubOpenTypeKind

tcIsSubOpenTypeKind

isSubKind

tcIsSubKind

defaultKind

isSubKindCon

tcIsSubKindCon

Functions on variables

isKiVar

splitKiTyVars

partitionKiTyVars

kiVarsOfKind

kiVarsOfKinds

Promotion related functions

promoteType

isPromotableType

isPromotableKind