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