purescript-0.10.4: PureScript Programming Language Compiler
Language.PureScript.Kinds
Synopsis
data Kind Source #
The data type of kinds
Constructors
Unification variable of type Kind
Kinds for labelled, unordered rows without duplicates
Function kinds
A named kind
Instances
Methods
(==) :: Kind -> Kind -> Bool #
(/=) :: Kind -> Kind -> Bool #
compare :: Kind -> Kind -> Ordering #
(<) :: Kind -> Kind -> Bool #
(<=) :: Kind -> Kind -> Bool #
(>) :: Kind -> Kind -> Bool #
(>=) :: Kind -> Kind -> Bool #
max :: Kind -> Kind -> Kind #
min :: Kind -> Kind -> Kind #
showsPrec :: Int -> Kind -> ShowS #
show :: Kind -> String #
showList :: [Kind] -> ShowS #
toJSON :: Kind -> Value #
toEncoding :: Kind -> Encoding #
parseJSON :: Value -> Parser Kind #
everywhereOnKinds :: (Kind -> Kind) -> Kind -> Kind Source #
everywhereOnKindsM :: Monad m => (Kind -> m Kind) -> Kind -> m Kind Source #
everythingOnKinds :: (r -> r -> r) -> (Kind -> r) -> Kind -> r Source #