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 |