Safe Haskell	None
Language	Haskell2010

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 #
Methods toJSON :: Kind -> Value # toEncoding :: Kind -> Encoding # toJSONList :: [Kind] -> Value # toEncodingList :: [Kind] -> Encoding #
FromJSON Kind Source #
Methods parseJSON :: Value -> Parser Kind # parseJSONList :: Value -> Parser [Kind] #
NFData Kind Source #
Methods rnf :: Kind -> () #
type Rep Kind Source #
type Rep Kind = D1 (MetaData "Kind" "Language.PureScript.Kinds" "purescript-0.11.6-chPJf69BpsDF9pnv32AcV" False) ((:+:) ((:+:) (C1 (MetaCons "KUnknown" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) (C1 (MetaCons "Row" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Kind)))) ((:+:) (C1 (MetaCons "FunKind" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Kind)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Kind)))) (C1 (MetaCons "NamedKind" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Qualified (ProperName KindName)))))))

kindFromJSON :: Parse Text Kind Source #

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 #