Language.PureScript.Kinds

Documentation

data Kind

The data type of kinds

Constructors

KUnknown Int

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

Ord Kind

Read Kind

Show Kind

FromJSON Kind

ToJSON Kind

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

everywhereOnKindsM :: (Functor m, Applicative m, Monad m) => (Kind -> m Kind) -> Kind -> m Kind

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