Safe Haskell	None
Language	Haskell98

Language.PureScript.Kinds

Synopsis

Documentation

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 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 #
ToJSON Kind Source #
Methods toJSON :: Kind -> Value # toEncoding :: Kind -> Encoding #
FromJSON Kind Source #
Methods parseJSON :: Value -> Parser Kind #

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