Safe Haskell	None
Language	GHC2021

Data.InternalCategory.Codiscrete

Documentation

Constructors

Instances details

Eq a => ICategory a (Codisc a) Source #
Instance details Defined in Data.InternalCategory.Codiscrete Methods foldPath :: Path a (Codisc a) -> Codisc a Source #
IQuiver a (Codisc a) Source #
Instance details Defined in Data.InternalCategory.Codiscrete Methods src :: Codisc a -> a Source # tgt :: Codisc a -> a Source #
Read a => Read (Codisc a) Source #
Instance details Defined in Data.InternalCategory.Codiscrete Methods readsPrec :: Int -> ReadS (Codisc a) # readList :: ReadS [Codisc a] # readPrec :: ReadPrec (Codisc a) # readListPrec :: ReadPrec [Codisc a] #
Show a => Show (Codisc a) Source #
Instance details Defined in Data.InternalCategory.Codiscrete Methods showsPrec :: Int -> Codisc a -> ShowS # show :: Codisc a -> String # showList :: [Codisc a] -> ShowS #
Eq a => Eq (Codisc a) Source #
Instance details Defined in Data.InternalCategory.Codiscrete Methods (==) :: Codisc a -> Codisc a -> Bool # (/=) :: Codisc a -> Codisc a -> Bool #
Ord a => Ord (Codisc a) Source #
Instance details Defined in Data.InternalCategory.Codiscrete Methods compare :: Codisc a -> Codisc a -> Ordering # (<) :: Codisc a -> Codisc a -> Bool # (<=) :: Codisc a -> Codisc a -> Bool # (>) :: Codisc a -> Codisc a -> Bool # (>=) :: Codisc a -> Codisc a -> Bool # max :: Codisc a -> Codisc a -> Codisc a # min :: Codisc a -> Codisc a -> Codisc a #