Safe Haskell	Safe-Infered

Kind

Contents

Main data type

Synopsis

Main data type

type Kind = Type Source

The key type representing kinds in the compiler. Invariant: a kind is always in one of these forms:

 FunTy k1 k2
 TyConApp PrimTyCon [...]
 TyVar kv   -- (during inference only)
 ForAll ... -- (for top-level coercions)

typeKind :: Type -> Kind Source

anyKind, constraintKind, ubxTupleKind, argTypeKind, openTypeKind, unliftedTypeKind, liftedTypeKind :: Kind Source

See Type for details of the distinction between these Kinds

mkArrowKind :: Kind -> Kind -> Kind Source

Given two kinds k1 and k2, creates the Kind k1 -> k2

mkArrowKinds :: [Kind] -> Kind -> Kind Source

Iterated application of mkArrowKind

tySuperKindTyCon, constraintKindTyCon, argTypeKindTyCon, ubxTupleKindTyCon, unliftedTypeKindTyCon, openTypeKindTyCon, liftedTypeKindTyCon, anyKindTyCon :: TyCon Source

See Type for details of the distinction between the Kind TyCons

tySuperKind :: SuperKindSource

pprKind, pprParendKind :: Kind -> SDoc Source

Deconstructing Kinds

kindFunResult :: Kind -> KindOrType -> Kind Source

Essentially funResultTy on kinds handling pi-types too

kindAppResult :: Kind -> [Type] -> Kind Source

synTyConResKind :: TyCon -> Kind Source

Find the result Kind of a type synonym, after applying it to its arity number of type variables Actually this function works fine on data types too, but they'd always return *, so we never need to ask

splitKindFunTys :: Kind -> ([Kind], Kind)Source

Essentially splitFunTys on kinds

splitKindFunTysN :: Int -> Kind -> ([Kind], Kind)Source

Essentially splitFunTysN on kinds

splitKindFunTy_maybe :: Kind -> Maybe (Kind, Kind)Source

Predicates on Kinds

isLiftedTypeKind :: Kind -> Bool Source

isUbxTupleKind, isConstraintOrLiftedKind, isAnyKind, isConstraintKind, isUnliftedTypeKind, isArgTypeKind, isOpenTypeKind :: Kind -> Bool Source

See Type for details of the distinction between these Kinds

isKind :: Kind -> Bool Source

Is this a kind (i.e. a type-of-types)?

isSuperKind :: Type -> Bool Source

Is this a super-kind (i.e. a type-of-kinds)?

noHashInKind :: Kind -> Bool Source

isLiftedTypeKindCon :: TyCon -> Bool Source

isAnyKindCon, isConstraintKindCon, isSubOpenTypeKindCon :: TyCon -> Bool Source

isSubArgTypeKind, tcIsSubArgTypeKind :: Kind -> Bool Source

True of any sub-kind of ArgTypeKind

isSubOpenTypeKind, tcIsSubOpenTypeKind :: Kind -> Bool Source

True of any sub-kind of OpenTypeKind

isSubKind, tcIsSubKind :: Kind -> Kind -> Bool Source

defaultKind :: Kind -> Kind Source

Used when generalising: default OpenKind and ArgKind to *. See Type for more information on what that means

isSubKindCon :: TyCon -> TyCon -> Bool Source

kc1 `isSubKindCon` kc2 checks that kc1 <: kc2

tcIsSubKindCon :: TyCon -> TyCon -> Bool Source

Functions on variables

isKiVar :: TyVar -> Bool Source

splitKiTyVars :: [TyVar] -> ([KindVar], [TyVar])Source

partitionKiTyVars :: [TyVar] -> ([KindVar], [TyVar])Source

kiVarsOfKind :: Kind -> VarSet Source

kiVarsOfKinds :: [Kind] -> VarSet Source

Promotion related functions

promoteType :: Type -> Kind Source

Promotes a type to a kind. Assumes the argument is promotable.

isPromotableType :: Type -> Bool Source

isPromotableKind :: Kind -> Maybe Int Source