Kind
type Kind
typeKind
anyKind
constraintKind
ubxTupleKind
argTypeKind
openTypeKind
unliftedTypeKind
liftedTypeKind
mkArrowKind
mkArrowKinds
tySuperKindTyCon
constraintKindTyCon
argTypeKindTyCon
ubxTupleKindTyCon
unliftedTypeKindTyCon
openTypeKindTyCon
liftedTypeKindTyCon
anyKindTyCon
tySuperKind
pprKind
pprParendKind
kindFunResult
kindAppResult
synTyConResKind
splitKindFunTys
splitKindFunTysN
splitKindFunTy_maybe
isLiftedTypeKind
isUbxTupleKind
isConstraintOrLiftedKind
isAnyKind
isConstraintKind
isUnliftedTypeKind
isArgTypeKind
isOpenTypeKind
isKind
isSuperKind
noHashInKind
isLiftedTypeKindCon
isAnyKindCon
isConstraintKindCon
isSubOpenTypeKindCon
isSubArgTypeKind
tcIsSubArgTypeKind
isSubOpenTypeKind
tcIsSubOpenTypeKind
isSubKind
tcIsSubKind
defaultKind
isSubKindCon
tcIsSubKindCon
isKiVar
splitKiTyVars
partitionKiTyVars
kiVarsOfKind
kiVarsOfKinds
promoteType
isPromotableType
isPromotableKind