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

Symbol

Type-level strings

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

ToJSON Kind

Methods

toJSON :: Kind -> Value

toEncoding :: Kind -> Encoding

FromJSON Kind

Methods

parseJSON :: Value -> Parser Kind

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

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

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