Math.IO.PrettyPrint

A simple typeclass for things to be pretty printed. Categories objects and arrows should be pretty printable to be exported with graphviz. Different objects should be pretty printed into different strings or the graphviz export might be wrong.

Documentation

class PrettyPrint a where

The typeclass of things that can be pretty printed.

pprint takes a level of verbosity as its first argument from the less verbose 'pprint 0' to the most verbose 'pprint n'.

Minimal complete definition

Nothing

Methods

pprint :: Int -> a -> String

Pretty print an element of type a with a given verbosity level. 0 is the less verbose possible.

default pprint :: (Generic a, GPrettyPrint (Rep a)) => Int -> a -> String

pprintWithIndentations

Arguments

:: Int

The current verbosity level

-> Int

Original verbosity level

-> String

The indentation used

-> a

The object to pretty print

-> String

Pretty print with a given level of indentation an element of type a with a given verbosity level. See pprintIndent for usage.

default pprintWithIndentations :: (Generic a, GPrettyPrint (Rep a)) => Int -> Int -> String -> a -> String

pprintIndent :: Int -> a -> String

Pretty print with indentation an element of type a with a given verbosity level.

Instances

PrettyPrint DiscreteTwo

Defined in Math.FiniteCategories.DiscreteTwo

Methods

pprint :: Int -> DiscreteTwo -> String

pprintWithIndentations :: Int -> Int -> String -> DiscreteTwo -> String

pprintIndent :: Int -> DiscreteTwo -> String

PrettyPrint DiscreteTwoOb

Defined in Math.FiniteCategories.DiscreteTwo

Methods

pprint :: Int -> DiscreteTwoOb -> String

pprintWithIndentations :: Int -> Int -> String -> DiscreteTwoOb -> String

pprintIndent :: Int -> DiscreteTwoOb -> String

PrettyPrint Hat

Defined in Math.FiniteCategories.Hat

Methods

pprint :: Int -> Hat -> String

pprintWithIndentations :: Int -> Int -> String -> Hat -> String

pprintIndent :: Int -> Hat -> String

PrettyPrint HatAr

Defined in Math.FiniteCategories.Hat

Methods

pprint :: Int -> HatAr -> String

pprintWithIndentations :: Int -> Int -> String -> HatAr -> String

pprintIndent :: Int -> HatAr -> String

PrettyPrint HatOb

Defined in Math.FiniteCategories.Hat

Methods

pprint :: Int -> HatOb -> String

pprintWithIndentations :: Int -> Int -> String -> HatOb -> String

pprintIndent :: Int -> HatOb -> String

PrettyPrint One

Defined in Math.FiniteCategories.One

Methods

pprint :: Int -> One -> String

pprintWithIndentations :: Int -> Int -> String -> One -> String

pprintIndent :: Int -> One -> String

PrettyPrint Parallel

Defined in Math.FiniteCategories.Parallel

Methods

pprint :: Int -> Parallel -> String

pprintWithIndentations :: Int -> Int -> String -> Parallel -> String

pprintIndent :: Int -> Parallel -> String

PrettyPrint ParallelAr

Defined in Math.FiniteCategories.Parallel

Methods

pprint :: Int -> ParallelAr -> String

pprintWithIndentations :: Int -> Int -> String -> ParallelAr -> String

pprintIndent :: Int -> ParallelAr -> String

PrettyPrint ParallelOb

Defined in Math.FiniteCategories.Parallel

Methods

pprint :: Int -> ParallelOb -> String

pprintWithIndentations :: Int -> Int -> String -> ParallelOb -> String

pprintIndent :: Int -> ParallelOb -> String

PrettyPrint Square

Defined in Math.FiniteCategories.Square

Methods

pprint :: Int -> Square -> String

pprintWithIndentations :: Int -> Int -> String -> Square -> String

pprintIndent :: Int -> Square -> String

PrettyPrint SquareAr

Defined in Math.FiniteCategories.Square

Methods

pprint :: Int -> SquareAr -> String

pprintWithIndentations :: Int -> Int -> String -> SquareAr -> String

pprintIndent :: Int -> SquareAr -> String

PrettyPrint SquareOb

Defined in Math.FiniteCategories.Square

Methods

pprint :: Int -> SquareOb -> String

pprintWithIndentations :: Int -> Int -> String -> SquareOb -> String

pprintIndent :: Int -> SquareOb -> String

PrettyPrint V

Defined in Math.FiniteCategories.V

Methods

pprint :: Int -> V -> String

pprintWithIndentations :: Int -> Int -> String -> V -> String

pprintIndent :: Int -> V -> String

PrettyPrint VAr

Defined in Math.FiniteCategories.V

Methods

pprint :: Int -> VAr -> String

pprintWithIndentations :: Int -> Int -> String -> VAr -> String

pprintIndent :: Int -> VAr -> String

PrettyPrint VOb

Defined in Math.FiniteCategories.V

Methods

pprint :: Int -> VOb -> String

pprintWithIndentations :: Int -> Int -> String -> VOb -> String

pprintIndent :: Int -> VOb -> String

PrettyPrint Int16

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Int16 -> String

pprintWithIndentations :: Int -> Int -> String -> Int16 -> String

pprintIndent :: Int -> Int16 -> String

PrettyPrint Int32

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Int32 -> String

pprintWithIndentations :: Int -> Int -> String -> Int32 -> String

pprintIndent :: Int -> Int32 -> String

PrettyPrint Int64

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Int64 -> String

pprintWithIndentations :: Int -> Int -> String -> Int64 -> String

pprintIndent :: Int -> Int64 -> String

PrettyPrint Int8

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Int8 -> String

pprintWithIndentations :: Int -> Int -> String -> Int8 -> String

pprintIndent :: Int -> Int8 -> String

PrettyPrint Word16

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Word16 -> String

pprintWithIndentations :: Int -> Int -> String -> Word16 -> String

pprintIndent :: Int -> Word16 -> String

PrettyPrint Word32

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Word32 -> String

pprintWithIndentations :: Int -> Int -> String -> Word32 -> String

pprintIndent :: Int -> Word32 -> String

PrettyPrint Word64

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Word64 -> String

pprintWithIndentations :: Int -> Int -> String -> Word64 -> String

pprintIndent :: Int -> Word64 -> String

PrettyPrint Word8

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Word8 -> String

pprintWithIndentations :: Int -> Int -> String -> Word8 -> String

pprintIndent :: Int -> Word8 -> String

PrettyPrint Ordering

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Ordering -> String

pprintWithIndentations :: Int -> Int -> String -> Ordering -> String

pprintIndent :: Int -> Ordering -> String

PrettyPrint Text

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Text -> String

pprintWithIndentations :: Int -> Int -> String -> Text -> String

pprintIndent :: Int -> Text -> String

PrettyPrint Integer

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Integer -> String

pprintWithIndentations :: Int -> Int -> String -> Integer -> String

pprintIndent :: Int -> Integer -> String

PrettyPrint Natural

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Natural -> String

pprintWithIndentations :: Int -> Int -> String -> Natural -> String

pprintIndent :: Int -> Natural -> String

PrettyPrint ()

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> () -> String

pprintWithIndentations :: Int -> Int -> String -> () -> String

pprintIndent :: Int -> () -> String

PrettyPrint Bool

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Bool -> String

pprintWithIndentations :: Int -> Int -> String -> Bool -> String

pprintIndent :: Int -> Bool -> String

PrettyPrint Char

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Char -> String

pprintWithIndentations :: Int -> Int -> String -> Char -> String

pprintIndent :: Int -> Char -> String

PrettyPrint Double

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Double -> String

pprintWithIndentations :: Int -> Int -> String -> Double -> String

pprintIndent :: Int -> Double -> String

PrettyPrint Float

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Float -> String

pprintWithIndentations :: Int -> Int -> String -> Float -> String

pprintIndent :: Int -> Float -> String

PrettyPrint Int

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Int -> String

pprintWithIndentations :: Int -> Int -> String -> Int -> String

pprintIndent :: Int -> Int -> String

PrettyPrint Word

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Word -> String

pprintWithIndentations :: Int -> Int -> String -> Word -> String

pprintIndent :: Int -> Word -> String

(PrettyPrint t, Eq t) => PrettyPrint (Exponential t)

Defined in Math.CartesianClosedCategory

Methods

pprint :: Int -> Exponential t -> String

pprintWithIndentations :: Int -> Int -> String -> Exponential t -> String

pprintIndent :: Int -> Exponential t -> String

PrettyPrint (FinSet a)

Defined in Math.Categories.FinSet

Methods

pprint :: Int -> FinSet a -> String

pprintWithIndentations :: Int -> Int -> String -> FinSet a -> String

pprintIndent :: Int -> FinSet a -> String

(PrettyPrint a, Eq a) => PrettyPrint (Function a)

Defined in Math.Categories.FinSet

Methods

pprint :: Int -> Function a -> String

pprintWithIndentations :: Int -> Int -> String -> Function a -> String

pprintIndent :: Int -> Function a -> String

PrettyPrint (Galaxy a)

Defined in Math.Categories.Galaxy

Methods

pprint :: Int -> Galaxy a -> String

pprintWithIndentations :: Int -> Int -> String -> Galaxy a -> String

pprintIndent :: Int -> Galaxy a -> String

PrettyPrint a => PrettyPrint (StarIdentity a)

Defined in Math.Categories.Galaxy

Methods

pprint :: Int -> StarIdentity a -> String

pprintWithIndentations :: Int -> Int -> String -> StarIdentity a -> String

pprintIndent :: Int -> StarIdentity a -> String

PrettyPrint c => PrettyPrint (Op c)

Defined in Math.Categories.Opposite

Methods

pprint :: Int -> Op c -> String

pprintWithIndentations :: Int -> Int -> String -> Op c -> String

pprintIndent :: Int -> Op c -> String

PrettyPrint m => PrettyPrint (OpMorphism m)

Defined in Math.Categories.Opposite

Methods

pprint :: Int -> OpMorphism m -> String

pprintWithIndentations :: Int -> Int -> String -> OpMorphism m -> String

pprintIndent :: Int -> OpMorphism m -> String

PrettyPrint (OrdinalCategory a)

Defined in Math.Categories.OrdinalCategory

Methods

pprint :: Int -> OrdinalCategory a -> String

pprintWithIndentations :: Int -> Int -> String -> OrdinalCategory a -> String

pprintIndent :: Int -> OrdinalCategory a -> String

PrettyPrint a => PrettyPrint (IsSmallerThan a)

Defined in Math.Categories.TotalOrder

Methods

pprint :: Int -> IsSmallerThan a -> String

pprintWithIndentations :: Int -> Int -> String -> IsSmallerThan a -> String

pprintIndent :: Int -> IsSmallerThan a -> String

PrettyPrint (TotalOrder a)

Defined in Math.Categories.TotalOrder

Methods

pprint :: Int -> TotalOrder a -> String

pprintWithIndentations :: Int -> Int -> String -> TotalOrder a -> String

pprintIndent :: Int -> TotalOrder a -> String

(PrettyPrint a, Eq a) => PrettyPrint (Set a)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Set a -> String

pprintWithIndentations :: Int -> Int -> String -> Set a -> String

pprintIndent :: Int -> Set a -> String

PrettyPrint a => PrettyPrint (Set a)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Set a -> String

pprintWithIndentations :: Int -> Int -> String -> Set a -> String

pprintIndent :: Int -> Set a -> String

PrettyPrint a => PrettyPrint (Maybe a)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Maybe a -> String

pprintWithIndentations :: Int -> Int -> String -> Maybe a -> String

pprintIndent :: Int -> Maybe a -> String

PrettyPrint a => PrettyPrint [a]

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> [a] -> String

pprintWithIndentations :: Int -> Int -> String -> [a] -> String

pprintIndent :: Int -> [a] -> String

(PrettyPrint n, PrettyPrint e) => PrettyPrint (Arrow n e)

Defined in Math.Categories.FinGrph

Methods

pprint :: Int -> Arrow n e -> String

pprintWithIndentations :: Int -> Int -> String -> Arrow n e -> String

pprintIndent :: Int -> Arrow n e -> String

PrettyPrint (FinGrph n e)

Defined in Math.Categories.FinGrph

Methods

pprint :: Int -> FinGrph n e -> String

pprintWithIndentations :: Int -> Int -> String -> FinGrph n e -> String

pprintIndent :: Int -> FinGrph n e -> String

(PrettyPrint n, PrettyPrint e, Eq n, Eq e) => PrettyPrint (Graph n e)

Defined in Math.Categories.FinGrph

Methods

pprint :: Int -> Graph n e -> String

pprintWithIndentations :: Int -> Int -> String -> Graph n e -> String

pprintIndent :: Int -> Graph n e -> String

(PrettyPrint n, PrettyPrint e, Eq n, Eq e) => PrettyPrint (GraphHomomorphism n e)

Defined in Math.Categories.FinGrph

Methods

pprint :: Int -> GraphHomomorphism n e -> String

pprintWithIndentations :: Int -> Int -> String -> GraphHomomorphism n e -> String

pprintIndent :: Int -> GraphHomomorphism n e -> String

PrettyPrint (FinSketch n e)

Defined in Math.Categories.FinSketch

Methods

pprint :: Int -> FinSketch n e -> String

pprintWithIndentations :: Int -> Int -> String -> FinSketch n e -> String

pprintIndent :: Int -> FinSketch n e -> String

(PrettyPrint n, PrettyPrint e, Eq e, Eq n) => PrettyPrint (LightConstruction n e)

Defined in Math.Categories.FinSketch

Methods

pprint :: Int -> LightConstruction n e -> String

pprintWithIndentations :: Int -> Int -> String -> LightConstruction n e -> String

pprintIndent :: Int -> LightConstruction n e -> String

(PrettyPrint n, PrettyPrint e, Eq n, Eq e) => PrettyPrint (Sketch n e)

Defined in Math.Categories.FinSketch

Methods

pprint :: Int -> Sketch n e -> String

pprintWithIndentations :: Int -> Int -> String -> Sketch n e -> String

pprintIndent :: Int -> Sketch n e -> String

(PrettyPrint n, PrettyPrint e, Eq e, Eq n) => PrettyPrint (SketchError n e)

Defined in Math.Categories.FinSketch

Methods

pprint :: Int -> SketchError n e -> String

pprintWithIndentations :: Int -> Int -> String -> SketchError n e -> String

pprintIndent :: Int -> SketchError n e -> String

(PrettyPrint e, PrettyPrint n, Eq e, Eq n) => PrettyPrint (SketchMorphism n e)

Defined in Math.Categories.FinSketch

Methods

pprint :: Int -> SketchMorphism n e -> String

pprintWithIndentations :: Int -> Int -> String -> SketchMorphism n e -> String

pprintIndent :: Int -> SketchMorphism n e -> String

(PrettyPrint n, PrettyPrint e, Eq e, Eq n) => PrettyPrint (SketchMorphismError n e)

Defined in Math.Categories.FinSketch

Methods

pprint :: Int -> SketchMorphismError n e -> String

pprintWithIndentations :: Int -> Int -> String -> SketchMorphismError n e -> String

pprintIndent :: Int -> SketchMorphismError n e -> String

(PrettyPrint i, PrettyPrint t, Eq i) => PrettyPrint (Colimit i t)

Defined in Math.CocompleteCategory

Methods

pprint :: Int -> Colimit i t -> String

pprintWithIndentations :: Int -> Int -> String -> Colimit i t -> String

pprintIndent :: Int -> Colimit i t -> String

(PrettyPrint oIndex, PrettyPrint t, Eq oIndex) => PrettyPrint (Limit oIndex t)

Defined in Math.CompleteCategory

Methods

pprint :: Int -> Limit oIndex t -> String

pprintWithIndentations :: Int -> Int -> String -> Limit oIndex t -> String

pprintIndent :: Int -> Limit oIndex t -> String

(PrettyPrint a, PrettyPrint b, Eq a, Eq b) => PrettyPrint (CGMorphism a b)

Defined in Math.FiniteCategories.CompositionGraph

Methods

pprint :: Int -> CGMorphism a b -> String

pprintWithIndentations :: Int -> Int -> String -> CGMorphism a b -> String

pprintIndent :: Int -> CGMorphism a b -> String

(PrettyPrint a, PrettyPrint b, Eq a, Eq b) => PrettyPrint (CompositionGraph a b)

Defined in Math.FiniteCategories.CompositionGraph

Methods

pprint :: Int -> CompositionGraph a b -> String

pprintWithIndentations :: Int -> Int -> String -> CompositionGraph a b -> String

pprintIndent :: Int -> CompositionGraph a b -> String

(PrettyPrint a, PrettyPrint b, Eq a, Eq b) => PrettyPrint (SCGMorphism a b)

Defined in Math.FiniteCategories.SafeCompositionGraph

Methods

pprint :: Int -> SCGMorphism a b -> String

pprintWithIndentations :: Int -> Int -> String -> SCGMorphism a b -> String

pprintIndent :: Int -> SCGMorphism a b -> String

(PrettyPrint a, PrettyPrint b, Eq a, Eq b) => PrettyPrint (SafeCompositionGraph a b)

Defined in Math.FiniteCategories.SafeCompositionGraph

Methods

pprint :: Int -> SafeCompositionGraph a b -> String

pprintWithIndentations :: Int -> Int -> String -> SafeCompositionGraph a b -> String

pprintIndent :: Int -> SafeCompositionGraph a b -> String

(PrettyPrint m, PrettyPrint o) => PrettyPrint (FiniteCategoryError m o)

Defined in Math.FiniteCategoryError

Methods

pprint :: Int -> FiniteCategoryError m o -> String

pprintWithIndentations :: Int -> Int -> String -> FiniteCategoryError m o -> String

pprintIndent :: Int -> FiniteCategoryError m o -> String

(PrettyPrint a, Eq a, PrettyPrint b, Eq b) => PrettyPrint (Map a b)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Map a b -> String

pprintWithIndentations :: Int -> Int -> String -> Map a b -> String

pprintIndent :: Int -> Map a b -> String

(PrettyPrint a, PrettyPrint b) => PrettyPrint (Either a b)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> Either a b -> String

pprintWithIndentations :: Int -> Int -> String -> Either a b -> String

pprintIndent :: Int -> Either a b -> String

(PrettyPrint a, PrettyPrint b) => PrettyPrint (a, b)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> (a, b) -> String

pprintWithIndentations :: Int -> Int -> String -> (a, b) -> String

pprintIndent :: Int -> (a, b) -> String

(PrettyPrint c, PrettyPrint o, PrettyPrint m, Eq o, Eq m) => PrettyPrint (CandidateExponentialObjectCategory c m o)

Defined in Math.CartesianClosedCategory

Methods

pprint :: Int -> CandidateExponentialObjectCategory c m o -> String

pprintWithIndentations :: Int -> Int -> String -> CandidateExponentialObjectCategory c m o -> String

pprintIndent :: Int -> CandidateExponentialObjectCategory c m o -> String

(PrettyPrint o, PrettyPrint c, PrettyPrint m, Eq o, Eq m) => PrettyPrint (CandidateExponentialObjectMorphism c m o)

Defined in Math.CartesianClosedCategory

Methods

pprint :: Int -> CandidateExponentialObjectMorphism c m o -> String

pprintWithIndentations :: Int -> Int -> String -> CandidateExponentialObjectMorphism c m o -> String

pprintIndent :: Int -> CandidateExponentialObjectMorphism c m o -> String

(PrettyPrint o, PrettyPrint c, PrettyPrint m, Eq o, Eq m) => PrettyPrint (Tripod c m o)

Defined in Math.CartesianClosedCategory

Methods

pprint :: Int -> Tripod c m o -> String

pprintWithIndentations :: Int -> Int -> String -> Tripod c m o -> String

pprintIndent :: Int -> Tripod c m o -> String

(PrettyPrint o1, PrettyPrint o2, PrettyPrint m3) => PrettyPrint (CommaObject o1 o2 m3)

Defined in Math.Categories.CommaCategory

Methods

pprint :: Int -> CommaObject o1 o2 m3 -> String

pprintWithIndentations :: Int -> Int -> String -> CommaObject o1 o2 m3 -> String

pprintIndent :: Int -> CommaObject o1 o2 m3 -> String

PrettyPrint (FinCat c m o)

Defined in Math.Categories.FinCat

Methods

pprint :: Int -> FinCat c m o -> String

pprintWithIndentations :: Int -> Int -> String -> FinCat c m o -> String

pprintIndent :: Int -> FinCat c m o -> String

PrettyPrint c => PrettyPrint (ExponentialCategory c m o)

Defined in Math.FiniteCategories.ExponentialCategory

Methods

pprint :: Int -> ExponentialCategory c m o -> String

pprintWithIndentations :: Int -> Int -> String -> ExponentialCategory c m o -> String

pprintIndent :: Int -> ExponentialCategory c m o -> String

(PrettyPrint m, PrettyPrint c, PrettyPrint o, Eq o, Eq m) => PrettyPrint (ExponentialCategoryMorphism c m o)

Defined in Math.FiniteCategories.ExponentialCategory

Methods

pprint :: Int -> ExponentialCategoryMorphism c m o -> String

pprintWithIndentations :: Int -> Int -> String -> ExponentialCategoryMorphism c m o -> String

pprintIndent :: Int -> ExponentialCategoryMorphism c m o -> String

(PrettyPrint o, PrettyPrint c, PrettyPrint m, Eq o, Eq m) => PrettyPrint (ExponentialCategoryObject c m o)

Defined in Math.FiniteCategories.ExponentialCategory

Methods

pprint :: Int -> ExponentialCategoryObject c m o -> String

pprintWithIndentations :: Int -> Int -> String -> ExponentialCategoryObject c m o -> String

pprintIndent :: Int -> ExponentialCategoryObject c m o -> String

(PrettyPrint c, PrettyPrint o, Eq o) => PrettyPrint (FullSubcategory c m o)

Defined in Math.FiniteCategories.FullSubcategory

Methods

pprint :: Int -> FullSubcategory c m o -> String

pprintWithIndentations :: Int -> Int -> String -> FullSubcategory c m o -> String

pprintIndent :: Int -> FullSubcategory c m o -> String

(PrettyPrint c, PrettyPrint o, Eq o) => PrettyPrint (InheritedFullSubcategory c m o)

Defined in Math.FiniteCategories.FullSubcategory

Methods

pprint :: Int -> InheritedFullSubcategory c m o -> String

pprintWithIndentations :: Int -> Int -> String -> InheritedFullSubcategory c m o -> String

pprintIndent :: Int -> InheritedFullSubcategory c m o -> String

(PrettyPrint c, PrettyPrint o, PrettyPrint m, Eq o, Eq m) => PrettyPrint (InheritedSubcategory c m o)

Defined in Math.FiniteCategories.Subcategory

Methods

pprint :: Int -> InheritedSubcategory c m o -> String

pprintWithIndentations :: Int -> Int -> String -> InheritedSubcategory c m o -> String

pprintIndent :: Int -> InheritedSubcategory c m o -> String

(PrettyPrint c, PrettyPrint o, PrettyPrint m, Eq o, Eq m) => PrettyPrint (Subcategory c m o)

Defined in Math.FiniteCategories.Subcategory

Methods

pprint :: Int -> Subcategory c m o -> String

pprintWithIndentations :: Int -> Int -> String -> Subcategory c m o -> String

pprintIndent :: Int -> Subcategory c m o -> String

(PrettyPrint a, PrettyPrint b, PrettyPrint c) => PrettyPrint (a, b, c)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> (a, b, c) -> String

pprintWithIndentations :: Int -> Int -> String -> (a, b, c) -> String

pprintIndent :: Int -> (a, b, c) -> String

(PrettyPrint a, PrettyPrint b, PrettyPrint c, PrettyPrint d) => PrettyPrint (a, b, c, d)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> (a, b, c, d) -> String

pprintWithIndentations :: Int -> Int -> String -> (a, b, c, d) -> String

pprintIndent :: Int -> (a, b, c, d) -> String

(PrettyPrint m1, PrettyPrint m2, PrettyPrint o1, PrettyPrint o2, PrettyPrint m3) => PrettyPrint (CommaMorphism o1 o2 m1 m2 m3)

Defined in Math.Categories.CommaCategory

Methods

pprint :: Int -> CommaMorphism o1 o2 m1 m2 m3 -> String

pprintWithIndentations :: Int -> Int -> String -> CommaMorphism o1 o2 m1 m2 m3 -> String

pprintIndent :: Int -> CommaMorphism o1 o2 m1 m2 m3 -> String

(PrettyPrint a, PrettyPrint b, PrettyPrint c, PrettyPrint d, PrettyPrint e) => PrettyPrint (a, b, c, d, e)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> (a, b, c, d, e) -> String

pprintWithIndentations :: Int -> Int -> String -> (a, b, c, d, e) -> String

pprintIndent :: Int -> (a, b, c, d, e) -> String

(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)

Defined in Math.Categories.FunctorCategory

Methods

pprint :: Int -> Diagram c1 m1 o1 c2 m2 o2 -> String

pprintWithIndentations :: Int -> Int -> String -> Diagram c1 m1 o1 c2 m2 o2 -> String

pprintIndent :: Int -> Diagram c1 m1 o1 c2 m2 o2 -> String

(PrettyPrint o1, PrettyPrint m1, PrettyPrint o2, PrettyPrint m2, Eq o1, Eq m1, Eq o2, Eq m2) => PrettyPrint (DiagramError c1 m1 o1 c2 m2 o2)

Defined in Math.Categories.FunctorCategory

Methods

pprint :: Int -> DiagramError c1 m1 o1 c2 m2 o2 -> String

pprintWithIndentations :: Int -> Int -> String -> DiagramError c1 m1 o1 c2 m2 o2 -> String

pprintIndent :: Int -> DiagramError c1 m1 o1 c2 m2 o2 -> String

(PrettyPrint c1, PrettyPrint c2) => PrettyPrint (FunctorCategory c1 m1 o1 c2 m2 o2)

Defined in Math.Categories.FunctorCategory

Methods

pprint :: Int -> FunctorCategory c1 m1 o1 c2 m2 o2 -> String

pprintWithIndentations :: Int -> Int -> String -> FunctorCategory c1 m1 o1 c2 m2 o2 -> String

pprintIndent :: Int -> FunctorCategory c1 m1 o1 c2 m2 o2 -> String

(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)

Defined in Math.Categories.FunctorCategory

Methods

pprint :: Int -> NaturalTransformation c1 m1 o1 c2 m2 o2 -> String

pprintWithIndentations :: Int -> Int -> String -> NaturalTransformation c1 m1 o1 c2 m2 o2 -> String

pprintIndent :: Int -> NaturalTransformation c1 m1 o1 c2 m2 o2 -> String

(Eq o1, PrettyPrint c1, PrettyPrint c2, PrettyPrint o1, PrettyPrint m1) => PrettyPrint (NaturalTransformationError c1 m1 o1 c2 m2 o2)

Defined in Math.Categories.FunctorCategory

Methods

pprint :: Int -> NaturalTransformationError c1 m1 o1 c2 m2 o2 -> String

pprintWithIndentations :: Int -> Int -> String -> NaturalTransformationError c1 m1 o1 c2 m2 o2 -> String

pprintIndent :: Int -> NaturalTransformationError c1 m1 o1 c2 m2 o2 -> String

(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)

Defined in Math.FiniteCategories.LimitCategory

Methods

pprint :: Int -> LimitCategory cIndex mIndex oIndex c m o -> String

pprintWithIndentations :: Int -> Int -> String -> LimitCategory cIndex mIndex oIndex c m o -> String

pprintIndent :: Int -> LimitCategory cIndex mIndex oIndex c m o -> String

(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)

Defined in Math.Categories.CommaCategory

Methods

pprint :: Int -> CommaCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String

pprintWithIndentations :: Int -> Int -> String -> CommaCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String

pprintIndent :: Int -> CommaCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String

(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)

Defined in Math.Categories.FunctorCategory

Methods

pprint :: Int -> PostcomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String

pprintWithIndentations :: Int -> Int -> String -> PostcomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String

pprintIndent :: Int -> PostcomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String

(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)

Defined in Math.Categories.FunctorCategory

Methods

pprint :: Int -> PrecomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String

pprintWithIndentations :: Int -> Int -> String -> PrecomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String

pprintIndent :: Int -> PrecomposedFunctorCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String

pp :: PrettyPrint a => Int -> a -> IO ()

PutStrLn composed with pprint. Takes a verbosity level as its first argument.

ppi :: PrettyPrint a => Int -> a -> IO ()

PutStrLn composed with pprintIndent. Takes a verbosity level as its first argument.

indentation :: Int -> String -> String

Add indentation at the begining of a string.

pprintFunction :: (PrettyPrint a, PrettyPrint b) => Int -> (a -> b) -> [a] -> String

Pretty print a function on a specific domain.

Orphan instances

Simplifiable Text

Methods

simplify :: Text -> Text