PrettyPrint DiscreteTwo Source # | |
Instance detailsDefined in Math.FiniteCategories.DiscreteTwo |
PrettyPrint DiscreteTwoOb Source # | |
Instance detailsDefined in Math.FiniteCategories.DiscreteTwo |
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 Int16 Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Int32 Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Int64 Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Int8 Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Word16 Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Word32 Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Word64 Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Word8 Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Ordering Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Text Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Integer Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Natural Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint () Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Bool 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 Float Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Int Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
PrettyPrint Word Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint t, Eq t) => PrettyPrint (Exponential t) Source # | |
Instance detailsDefined in Math.CartesianClosedCategory |
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 |
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 (Maybe 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 (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 (FinSketch n e) Source # | |
Instance detailsDefined in Math.Categories.FinSketch |
(PrettyPrint n, PrettyPrint e, Eq e, Eq n) => PrettyPrint (LightConstruction n e) Source # | |
Instance detailsDefined in Math.Categories.FinSketch |
(PrettyPrint n, PrettyPrint e, Eq n, Eq e) => PrettyPrint (Sketch n e) Source # | |
Instance detailsDefined in Math.Categories.FinSketch |
(PrettyPrint n, PrettyPrint e, Eq e, Eq n) => PrettyPrint (SketchError n e) Source # | |
Instance detailsDefined in Math.Categories.FinSketch |
(PrettyPrint e, PrettyPrint n, Eq e, Eq n) => PrettyPrint (SketchMorphism n e) Source # | |
Instance detailsDefined in Math.Categories.FinSketch |
(PrettyPrint n, PrettyPrint e, Eq e, Eq n) => PrettyPrint (SketchMorphismError n e) Source # | |
Instance detailsDefined in Math.Categories.FinSketch |
(PrettyPrint i, PrettyPrint t, Eq i) => PrettyPrint (Colimit i t) Source # | |
Instance detailsDefined in Math.CocompleteCategory |
(PrettyPrint oIndex, PrettyPrint t, Eq oIndex) => PrettyPrint (Limit oIndex t) Source # | |
Instance detailsDefined in Math.CompleteCategory |
(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 m, PrettyPrint o) => PrettyPrint (FiniteCategoryError m o) Source # | |
Instance detailsDefined in Math.FiniteCategoryError |
(PrettyPrint a, Eq a, PrettyPrint b, Eq b) => PrettyPrint (Map a b) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint a, PrettyPrint b) => PrettyPrint (Either a b) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint a, PrettyPrint b) => PrettyPrint (a, b) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint c, PrettyPrint o, PrettyPrint m, Eq o, Eq m) => PrettyPrint (CandidateExponentialObjectCategory c m o) Source # | |
Instance detailsDefined in Math.CartesianClosedCategory |
(PrettyPrint o, PrettyPrint c, PrettyPrint m, Eq o, Eq m) => PrettyPrint (CandidateExponentialObjectMorphism c m o) Source # | |
Instance detailsDefined in Math.CartesianClosedCategory |
(PrettyPrint o, PrettyPrint c, PrettyPrint m, Eq o, Eq m) => PrettyPrint (Tripod c m o) Source # | |
Instance detailsDefined in Math.CartesianClosedCategory |
(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 (ExponentialCategory c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.ExponentialCategory |
(PrettyPrint m, PrettyPrint c, PrettyPrint o, Eq o, Eq m) => PrettyPrint (ExponentialCategoryMorphism c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.ExponentialCategory |
(PrettyPrint o, PrettyPrint c, PrettyPrint m, Eq o, Eq m) => PrettyPrint (ExponentialCategoryObject c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.ExponentialCategory |
(PrettyPrint c, PrettyPrint o, Eq o) => PrettyPrint (FullSubcategory c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.FullSubcategory |
(PrettyPrint c, PrettyPrint o, Eq o) => PrettyPrint (InheritedFullSubcategory c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.FullSubcategory |
(PrettyPrint c, PrettyPrint o, PrettyPrint m, Eq o, Eq m) => PrettyPrint (InheritedSubcategory c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.Subcategory |
(PrettyPrint c, PrettyPrint o, PrettyPrint m, 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 a, PrettyPrint b, PrettyPrint c, PrettyPrint d) => PrettyPrint (a, b, c, d) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint |
(PrettyPrint m1, PrettyPrint m2, PrettyPrint o1, PrettyPrint o2, PrettyPrint m3) => PrettyPrint (CommaMorphism o1 o2 m1 m2 m3) Source # | |
Instance detailsDefined in Math.Categories.CommaCategory |
(PrettyPrint a, PrettyPrint b, PrettyPrint c, PrettyPrint d, PrettyPrint e) => PrettyPrint (a, b, c, d, e) Source # | |
Instance detailsDefined in Math.IO.PrettyPrint Methods pprint :: Int -> (a, b, c, d, e) -> String Source # pprintWithIndentations :: Int -> Int -> String -> (a, b, c, d, e) -> String Source # pprintIndent :: Int -> (a, b, c, d, e) -> String Source # |
(PrettyPrint c1, PrettyPrint c2, PrettyPrint o1, PrettyPrint o2, PrettyPrint m1, PrettyPrint m2, Eq o1, Eq o2, Eq m1, Eq m2) => PrettyPrint (Diagram c1 m1 o1 c2 m2 o2) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |
(PrettyPrint o1, PrettyPrint m1, PrettyPrint o2, PrettyPrint m2, Eq o1, Eq m1, Eq o2, Eq m2) => PrettyPrint (DiagramError 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 c2, PrettyPrint o1, PrettyPrint o2, PrettyPrint m1, PrettyPrint m2, Eq o1, Eq o2, Eq m1, Eq m2) => PrettyPrint (NaturalTransformation c1 m1 o1 c2 m2 o2) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |
(Eq o1, PrettyPrint c1, PrettyPrint c2, PrettyPrint m2, PrettyPrint o1, PrettyPrint m1) => PrettyPrint (NaturalTransformationError c1 m1 o1 c2 m2 o2) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |
(PrettyPrint c, PrettyPrint cIndex, PrettyPrint oIndex, PrettyPrint mIndex, PrettyPrint o, PrettyPrint m, Eq o, Eq m, Eq oIndex, Eq c, Eq mIndex, FiniteCategory c m o, Morphism m o) => PrettyPrint (LimitCategory cIndex mIndex oIndex c m o) Source # | |
Instance detailsDefined in Math.FiniteCategories.LimitCategory |
(PrettyPrint c1, PrettyPrint c3, PrettyPrint o1, PrettyPrint o3, PrettyPrint m1, PrettyPrint m3, PrettyPrint c2, PrettyPrint o2, PrettyPrint m2, Eq o1, Eq o3, Eq m1, Eq m3, Eq o2, Eq m2) => PrettyPrint (CommaCategory c1 m1 o1 c2 m2 o2 c3 m3 o3) Source # | |
Instance detailsDefined in Math.Categories.CommaCategory |
(Eq o2, Eq o3, Eq m2, Eq m3, PrettyPrint c2, PrettyPrint c3, PrettyPrint o2, PrettyPrint o3, PrettyPrint m2, PrettyPrint m3, PrettyPrint c1) => PrettyPrint (PostcomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |
(Eq o1, Eq o2, Eq m1, Eq m2, PrettyPrint c1, PrettyPrint c2, PrettyPrint o1, PrettyPrint o2, PrettyPrint m1, PrettyPrint m2, PrettyPrint c3) => PrettyPrint (PrecomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3) Source # | |
Instance detailsDefined in Math.Categories.FunctorCategory |