Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Kind

Documentation

Constructors

Star
Arrow Kind Kind

Instances details

Generic Kind Source #
Instance details Defined in Unison.Kind Associated Types type Rep Kind :: Type -> Type # Methods from :: Kind -> Rep Kind x # to :: Rep Kind x -> Kind #
Read Kind Source #
Instance details Defined in Unison.Kind Methods readsPrec :: Int -> ReadS Kind # readList :: ReadS [Kind] # readPrec :: ReadPrec Kind # readListPrec :: ReadPrec [Kind] #
Show Kind Source #
Instance details Defined in Unison.Kind Methods showsPrec :: Int -> Kind -> ShowS # show :: Kind -> String # showList :: [Kind] -> ShowS #
Eq Kind Source #
Instance details Defined in Unison.Kind Methods (==) :: Kind -> Kind -> Bool # (/=) :: Kind -> Kind -> Bool #
Ord Kind Source #
Instance details Defined in Unison.Kind 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 #
type Rep Kind Source #
Instance details Defined in Unison.Kind type Rep Kind = D1 ('MetaData "Kind" "Unison.Kind" "unison-core1-0.0.0-81K0NP5FQX63ztzOFtUCNN" 'False) (C1 ('MetaCons "Star" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Arrow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind)))