Base.Kinds

This module modules provides the definitions for the internal representation of kinds in the compiler.

Documentation

data Kind

Constructors

KindStar

KindVariable Int

KindArrow Kind Kind

Instances

Eq Kind

Methods

(==) :: Kind -> Kind -> Bool

(/=) :: Kind -> Kind -> Bool

Show Kind

Methods

showsPrec :: Int -> Kind -> ShowS

show :: Kind -> String

showList :: [Kind] -> ShowS

SubstKind Kind

Methods

subst :: KindSubst -> Kind -> Kind

kindArity :: Kind -> Int

The function kindArity computes the arity n of a kind.

kindVars :: Kind -> [Int]

The function kindVars returns a list of all kind variables occurring in a kind.

defaultKind :: Kind -> Kind

The function defaultKind instantiates all kind variables occurring in a kind to *.

simpleKind :: Int -> Kind

The function simpleKind returns the kind of a type constructor with arity n whose arguments all have kind *.

isSimpleKind :: Kind -> Bool

The function isSimpleKind returns whether a kind is simple or not.