PrettyPrint (OrdinalCategory a) Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
Simplifiable (OrdinalCategory a) Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
Generic (OrdinalCategory a) Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
Show (OrdinalCategory a) Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
Eq (OrdinalCategory a) Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
(Enum a, Ord a) => Category (OrdinalCategory a) (IsSmallerThan a) a Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
(Enum a, Ord a) => HasCoequalizers (OrdinalCategory a) (IsSmallerThan a) a Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
(Enum a, Ord a) => HasEqualizers (OrdinalCategory a) (IsSmallerThan a) a Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
(Enum a, Ord a, Eq oIndex) => HasCoproducts (OrdinalCategory a) (IsSmallerThan a) a (OrdinalCategory a) (IsSmallerThan a) a oIndex Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
(Enum a, Ord a, Eq oIndex) => HasProducts (OrdinalCategory a) (IsSmallerThan a) a (OrdinalCategory a) (IsSmallerThan a) a oIndex Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
(Enum a, Ord a, Eq mIndex, Eq oIndex) => CocompleteCategory (OrdinalCategory a) (IsSmallerThan a) a (OrdinalCategory a) (IsSmallerThan a) a cIndex mIndex oIndex Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
(Enum a, Ord a, Eq mIndex, Eq oIndex) => CompleteCategory (OrdinalCategory a) (IsSmallerThan a) a (OrdinalCategory a) (IsSmallerThan a) a cIndex mIndex oIndex Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
type Rep (OrdinalCategory a) Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory type Rep ( OrdinalCategory a) = D1 ('MetaData "OrdinalCategory" "Math.Categories.OrdinalCategory" "FiniteCategories-0.6.3.1-inplace" 'True) (C1 ('MetaCons "OrdinalCategory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ( TotalOrder a)))) |