purescript-0.13.0: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell2010

Language.PureScript.Kinds

Synopsis

Documentation

data Kind a Source #

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 Source # 
Instance details

Defined in Language.PureScript.Kinds

Methods

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

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

Foldable Kind Source # 
Instance details

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 Source # 
Instance details

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) Source # 
Instance details

Defined in Language.PureScript.Kinds

Methods

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

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

Ord (Kind a) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.PureScript.Kinds

Methods

showsPrec :: Int -> Kind a -> ShowS #

show :: Kind a -> String #

showList :: [Kind a] -> ShowS #

Generic (Kind a) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.PureScript.Kinds

Methods

rnf :: Kind a -> () #

ToJSON a => ToJSON (Kind a) Source # 
Instance details

Defined in Language.PureScript.Kinds

FromJSON (Kind ()) Source # 
Instance details

Defined in Language.PureScript.Kinds

Methods

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

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

FromJSON a => FromJSON (Kind a) Source # 
Instance details

Defined in Language.PureScript.Kinds

FromJSON (Kind SourceAnn) Source # 
Instance details

Defined in Language.PureScript.Kinds

type Rep (Kind a) Source # 
Instance details

Defined in Language.PureScript.Kinds

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

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

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

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

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

setAnnForKind :: a -> Kind a -> Kind a Source #

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