PrettyPrint Hat Source # | |
Instance detailsDefined in Math.FiniteCategories.Hat |
PrettyPrint HatAr Source # | |
Instance detailsDefined in Math.FiniteCategories.Hat |
PrettyPrint HatOb Source # | |
Instance detailsDefined in Math.FiniteCategories.Hat |
PrettyPrint One Source # | |
Instance detailsDefined in Math.FiniteCategories.One |
PrettyPrint Parallel Source # | |
Instance detailsDefined in Math.FiniteCategories.Parallel |
PrettyPrint ParallelAr Source # | |
Instance detailsDefined in Math.FiniteCategories.Parallel |
PrettyPrint ParallelOb Source # | |
Instance detailsDefined in Math.FiniteCategories.Parallel |
PrettyPrint Square Source # | |
Instance detailsDefined in Math.FiniteCategories.Square |
PrettyPrint SquareAr Source # | |
Instance detailsDefined in Math.FiniteCategories.Square |
PrettyPrint SquareOb Source # | |
Instance detailsDefined in Math.FiniteCategories.Square |
PrettyPrint V Source # | |
Instance detailsDefined in Math.FiniteCategories.V |
PrettyPrint VAr Source # | |
Instance detailsDefined in Math.FiniteCategories.V |
PrettyPrint VOb Source # | |
Instance detailsDefined in Math.FiniteCategories.V |
PrettyPrint PureSet Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Text Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Natural Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Char Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Double Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Int Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint a, Eq a) => PrettyPrint (FinSet a) Source # | |
Instance detailsDefined in Math.Categories.FinSet |
(PrettyPrint a, Eq a) => PrettyPrint (Function a) Source # | |
Instance detailsDefined in Math.Categories.FinSet |
PrettyPrint (Galaxy a) Source # | |
Instance detailsDefined in Math.Categories.Galaxy |
PrettyPrint a => PrettyPrint (StarIdentity a) Source # | |
Instance detailsDefined in Math.Categories.Galaxy |
PrettyPrint c => PrettyPrint (Op c) Source # | |
Instance detailsDefined in Math.Categories.Opposite |
PrettyPrint m => PrettyPrint (OpMorphism m) Source # | |
Instance detailsDefined in Math.Categories.Opposite |
Show a => PrettyPrint (OrdinalCategory a) Source # | |
Instance detailsDefined in Math.Categories.OrdinalCategory |
PrettyPrint a => PrettyPrint (IsSmallerThan a) Source # | |
Instance detailsDefined in Math.Categories.TotalOrder |
PrettyPrint (TotalOrder a) Source # | |
Instance detailsDefined in Math.Categories.TotalOrder |
(PrettyPrint a, Eq a) => PrettyPrint (Set a) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint a => PrettyPrint (Set a) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint a => PrettyPrint [a] Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint n, PrettyPrint e) => PrettyPrint (Arrow n e) Source # | |
Instance detailsDefined in Math.Categories.FinGrph |
(PrettyPrint n, PrettyPrint e, Eq n, Eq e) => PrettyPrint (FinGrph n e) Source # | |
Instance detailsDefined in Math.Categories.FinGrph |
(PrettyPrint n, PrettyPrint e, Eq n, Eq e) => PrettyPrint (Graph n e) Source # | |
Instance detailsDefined in Math.Categories.FinGrph |
(PrettyPrint n, PrettyPrint e, Eq n, Eq e) => PrettyPrint (GraphHomomorphism n e) Source # | |
Instance detailsDefined in Math.Categories.FinGrph |
(PrettyPrint a, PrettyPrint b, Eq a, Eq b) => PrettyPrint (CGMorphism a b) Source # | |
Instance detailsDefined in Math.FiniteCategories.CompositionGraph |
(PrettyPrint a, PrettyPrint b, Eq a, Eq b) => PrettyPrint (CompositionGraph a b) Source # | |
Instance detailsDefined in Math.FiniteCategories.CompositionGraph |
(PrettyPrint a, PrettyPrint b, Eq a, Eq b) => PrettyPrint (SCGMorphism a b) Source # | |
Instance detailsDefined in Math.FiniteCategories.SafeCompositionGraph |
(PrettyPrint a, PrettyPrint b, Eq a, Eq b) => PrettyPrint (SafeCompositionGraph a b) Source # | |
Instance detailsDefined in Math.FiniteCategories.SafeCompositionGraph |
(PrettyPrint a, Eq a, PrettyPrint b, Eq b) => PrettyPrint (Map a b) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint a, PrettyPrint b) => PrettyPrint (a, b) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint o1, PrettyPrint o2, PrettyPrint m3) => PrettyPrint (CommaObject o1 o2 m3) Source # | |
Instance detailsDefined in Math.Categories.CommaCategory |
PrettyPrint (FinCat c m o) Source # | |
Instance detailsDefined in Math.Categories.FinCat |
(PrettyPrint c, PrettyPrint m, PrettyPrint o, Eq o) => PrettyPrint (FullSubcategory c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.FullSubcategory |
(PrettyPrint c, PrettyPrint m, PrettyPrint o, Eq o) => PrettyPrint (InheritedFullSubcategory c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.FullSubcategory |
(PrettyPrint c, PrettyPrint m, PrettyPrint o, Eq o, Eq m) => PrettyPrint (InheritedSubcategory c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.Subcategory |
(PrettyPrint c, PrettyPrint m, PrettyPrint o, Eq o, Eq m) => PrettyPrint (Subcategory c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.Subcategory |
(PrettyPrint a, PrettyPrint b, PrettyPrint c) => PrettyPrint (a, b, c) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint m1, PrettyPrint m2) => PrettyPrint (CommaMorphism o1 o2 m1 m2 m3) Source # | |
Instance detailsDefined in Math.Categories.CommaCategory |
(PrettyPrint c1, PrettyPrint m1, PrettyPrint o1, Eq m1, Eq o1, PrettyPrint c2, PrettyPrint m2, PrettyPrint o2, Eq m2, Eq o2) => PrettyPrint (Diagram c1 m1 o1 c2 m2 o2) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |
(PrettyPrint c1, PrettyPrint c2) => PrettyPrint (FunctorCategory c1 m1 o1 c2 m2 o2) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |
(PrettyPrint c1, PrettyPrint m1, PrettyPrint o1, Eq m1, Eq o1, PrettyPrint c2, PrettyPrint m2, PrettyPrint o2, Eq m2, Eq o2) => PrettyPrint (NaturalTransformation c1 m1 o1 c2 m2 o2) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |
(PrettyPrint c1, PrettyPrint m1, PrettyPrint o1, PrettyPrint c2, PrettyPrint m2, PrettyPrint o2, PrettyPrint c3, PrettyPrint m3, PrettyPrint o3, Eq m1, Eq o1, Eq m2, Eq o2, Eq m3, Eq o3) => PrettyPrint (CommaCategory c1 m1 o1 c2 m2 o2 c3 m3 o3) Source # | |
Instance detailsDefined in Math.Categories.CommaCategory |
(PrettyPrint c1, PrettyPrint c2, PrettyPrint m2, PrettyPrint o2, Eq m2, Eq o2, PrettyPrint c3, PrettyPrint m3, PrettyPrint o3, Eq m3, Eq o3) => PrettyPrint (PostcomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |
(PrettyPrint c1, PrettyPrint m1, PrettyPrint o1, Eq m1, Eq o1, PrettyPrint c2, PrettyPrint m2, PrettyPrint o2, Eq m2, Eq o2, PrettyPrint c3) => PrettyPrint (PrecomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |