Language.PureScript.Kinds

Documentation

data Kind

The data type of kinds

Constructors

KUnknown Unknown

Unification variable of type Kind

Star

The kind of types

Bang

The kind of effects

Row Kind

Kinds for labelled, unordered rows without duplicates

FunKind Kind Kind

Function kinds

Instances

Eq Kind

Data Kind

Show Kind

Partial Kind

Typeable * Kind

Unifiable Check Kind

everywhereOnKinds :: (Kind -> Kind) -> Kind -> Kind

everythingOnKinds :: (r -> r -> r) -> (Kind -> r) -> Kind -> r