purescript-0.12.0: 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

Eq Kind Source # 

Methods

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

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

Ord Kind Source # 

Methods

compare :: Kind -> Kind -> Ordering #

(<) :: Kind -> Kind -> Bool #

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

(>) :: Kind -> Kind -> Bool #

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

max :: Kind -> Kind -> Kind #

min :: Kind -> Kind -> Kind #

Show Kind Source # 

Methods

showsPrec :: Int -> Kind -> ShowS #

show :: Kind -> String #

showList :: [Kind] -> ShowS #

Generic Kind Source # 

Associated Types

type Rep Kind :: * -> * #

Methods

from :: Kind -> Rep Kind x #

to :: Rep Kind x -> Kind #

ToJSON Kind Source # 
FromJSON Kind Source # 
NFData Kind Source # 

Methods

rnf :: Kind -> () #

type Rep Kind Source # 

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