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