Safe Haskell	None
Language	Haskell2010

Language.PureScript.Kinds

Synopsis

type SourceKind = Kind SourceAnn
data Kind a
- = KUnknown a Int
- | Row a (Kind a)
- | FunKind a (Kind a) (Kind a)
- | NamedKind a (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
eqMaybeKind :: Maybe (Kind a) -> Maybe (Kind b) -> Bool
compareKind :: Kind a -> Kind b -> Ordering
compareMaybeKind :: Maybe (Kind a) -> Maybe (Kind b) -> Ordering

Documentation

type SourceKind = Kind SourceAnn Source #

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 Methods toJSON :: Kind a -> Value # toEncoding :: Kind a -> Encoding # toJSONList :: [Kind a] -> Value # toEncodingList :: [Kind a] -> Encoding #
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 Methods parseJSON :: Value -> Parser (Kind a) # parseJSONList :: Value -> Parser [Kind a] #
FromJSON (Kind SourceAnn) Source #
Instance details Defined in Language.PureScript.Kinds Methods parseJSON :: Value -> Parser (Kind SourceAnn) # parseJSONList :: Value -> Parser [Kind SourceAnn] #
type Rep (Kind a) Source #
Instance details Defined in Language.PureScript.Kinds type Rep (Kind a) = D1 (MetaData "Kind" "Language.PureScript.Kinds" "purescript-0.13.0-1whdl2565Nb1wvlLK7uK18" 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 Source #

srcRow :: SourceKind -> SourceKind Source #

srcFunKind :: SourceKind -> SourceKind -> SourceKind Source #

srcNamedKind :: Qualified (ProperName KindName) -> SourceKind Source #

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 #

annForKind :: Lens' (Kind a) a Source #

getAnnForKind :: Kind a -> a Source #

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

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

eqMaybeKind :: Maybe (Kind a) -> Maybe (Kind b) -> Bool Source #

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

compareMaybeKind :: Maybe (Kind a) -> Maybe (Kind b) -> Ordering Source #