Language.PureScript.Kinds

Documentation

type SourceKind = Kind SourceAnn

data Kind a

The data type of kinds

Constructors

KUnknown a Int

Unification variable of type Kind

Row a (Kind a)

Kinds for labelled, unordered rows without duplicates

FunKind a (Kind a) (Kind a)

Function kinds

NamedKind a (Qualified (ProperName KindName))

A named kind

Instances

Functor Kind

Defined in Language.PureScript.Kinds

Methods

fmap :: (a -> b) -> Kind a -> Kind b

(<$) :: a -> Kind b -> Kind a

Foldable Kind

Defined in Language.PureScript.Kinds

Methods

fold :: Monoid m => Kind m -> m

foldMap :: Monoid m => (a -> m) -> Kind a -> m

foldr :: (a -> b -> b) -> b -> Kind a -> b

foldr' :: (a -> b -> b) -> b -> Kind a -> b

foldl :: (b -> a -> b) -> b -> Kind a -> b

foldl' :: (b -> a -> b) -> b -> Kind a -> b

foldr1 :: (a -> a -> a) -> Kind a -> a

foldl1 :: (a -> a -> a) -> Kind a -> a

toList :: Kind a -> [a]

null :: Kind a -> Bool

length :: Kind a -> Int

elem :: Eq a => a -> Kind a -> Bool

maximum :: Ord a => Kind a -> a

minimum :: Ord a => Kind a -> a

sum :: Num a => Kind a -> a

product :: Num a => Kind a -> a

Traversable Kind

Defined in Language.PureScript.Kinds

Methods

traverse :: Applicative f => (a -> f b) -> Kind a -> f (Kind b)

sequenceA :: Applicative f => Kind (f a) -> f (Kind a)

mapM :: Monad m => (a -> m b) -> Kind a -> m (Kind b)

sequence :: Monad m => Kind (m a) -> m (Kind a)

Eq (Kind a)

Defined in Language.PureScript.Kinds

Methods

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

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

Ord (Kind a)

Defined in Language.PureScript.Kinds

Methods

compare :: Kind a -> Kind a -> Ordering

(<) :: Kind a -> Kind a -> Bool

(<=) :: Kind a -> Kind a -> Bool

(>) :: Kind a -> Kind a -> Bool

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

max :: Kind a -> Kind a -> Kind a

min :: Kind a -> Kind a -> Kind a

Show a => Show (Kind a)

Defined in Language.PureScript.Kinds

Methods

showsPrec :: Int -> Kind a -> ShowS

show :: Kind a -> String

showList :: [Kind a] -> ShowS

Generic (Kind a)

Defined in Language.PureScript.Kinds

Associated Types

type Rep (Kind a) :: Type -> Type

Methods

from :: Kind a -> Rep (Kind a) x

to :: Rep (Kind a) x -> Kind a

NFData a => NFData (Kind a)

Defined in Language.PureScript.Kinds

Methods

rnf :: Kind a -> ()

ToJSON a => ToJSON (Kind a)

Defined in Language.PureScript.Kinds

Methods

toJSON :: Kind a -> Value

toEncoding :: Kind a -> Encoding

toJSONList :: [Kind a] -> Value

toEncodingList :: [Kind a] -> Encoding

FromJSON (Kind ())

Defined in Language.PureScript.Kinds

Methods

parseJSON :: Value -> Parser (Kind ())

parseJSONList :: Value -> Parser [Kind ()]

FromJSON a => FromJSON (Kind a)

Defined in Language.PureScript.Kinds

Methods

parseJSON :: Value -> Parser (Kind a)

parseJSONList :: Value -> Parser [Kind a]

FromJSON (Kind SourceAnn)

Defined in Language.PureScript.Kinds

Methods

parseJSON :: Value -> Parser (Kind SourceAnn)

parseJSONList :: Value -> Parser [Kind SourceAnn]

type Rep (Kind a)

Defined in Language.PureScript.Kinds

type Rep (Kind a) = D1 (MetaData "Kind" "Language.PureScript.Kinds" "purescript-0.12.5-BmlRllnzqPMKrVc1PPQsbR" False) ((C1 (MetaCons "KUnknown" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "Row" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Kind a)))) :+: (C1 (MetaCons "FunKind" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Kind a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Kind a)))) :+: C1 (MetaCons "NamedKind" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Qualified (ProperName KindName))))))

srcKUnknown :: Int -> SourceKind

srcRow :: SourceKind -> SourceKind

srcFunKind :: SourceKind -> SourceKind -> SourceKind

srcNamedKind :: Qualified (ProperName KindName) -> SourceKind

kindToJSON :: forall a. (a -> Value) -> Kind a -> Value

kindFromJSON :: forall a. Parser a -> (Value -> Parser a) -> Value -> Parser (Kind a)

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

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

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

annForKind :: Lens' (Kind a) a

getAnnForKind :: Kind a -> a

setAnnForKind :: a -> Kind a -> Kind a

eqKind :: Kind a -> Kind b -> Bool

compareKind :: Kind a -> Kind b -> Ordering