purescript-0.11.5: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell2010

Language.PureScript.Kinds

Synopsis

Documentation

data Kind #

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 # 

Methods

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

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

Ord Kind # 

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 # 

Methods

showsPrec :: Int -> Kind -> ShowS #

show :: Kind -> String #

showList :: [Kind] -> ShowS #

Generic Kind # 

Associated Types

type Rep Kind :: * -> * #

Methods

from :: Kind -> Rep Kind x #

to :: Rep Kind x -> Kind #

ToJSON Kind # 
FromJSON Kind # 
NFData Kind # 

Methods

rnf :: Kind -> () #

type Rep Kind # 

everywhereOnKindsM :: Monad m => (Kind -> m Kind) -> Kind -> m Kind #

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