purescript-0.11.3: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell2010

Language.PureScript.Kinds

Synopsis

Documentation

data Kind Source #

The data type of kinds

Constructors

KUnknown Int

Unification variable of type Kind

Row Kind

Kinds for labelled, unordered rows without duplicates

FunKind Kind Kind

Function kinds

NamedKind (Qualified (ProperName KindName))

A named kind

Instances

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