Math.IO.PrettyPrint

A simple typeclass for things to be pretty printed. Things 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.

Methods

pprint :: a -> String

Instances

PrettyPrint Char

Defined in Math.IO.PrettyPrint

Methods

pprint :: Char -> String

PrettyPrint Double

Defined in Math.IO.PrettyPrint

Methods

pprint :: Double -> String

PrettyPrint Int

Defined in Math.IO.PrettyPrint

Methods

pprint :: Int -> String

PrettyPrint Natural

Defined in Math.IO.PrettyPrint

Methods

pprint :: Natural -> String

PrettyPrint PureSet

Defined in Math.IO.PrettyPrint

Methods

pprint :: PureSet -> String

PrettyPrint Text

Defined in Math.IO.PrettyPrint

Methods

pprint :: Text -> String

PrettyPrint V

Defined in Math.FiniteCategories.V

Methods

pprint :: V -> String

PrettyPrint VAr

Defined in Math.FiniteCategories.V

Methods

pprint :: VAr -> String

PrettyPrint VOb

Defined in Math.FiniteCategories.V

Methods

pprint :: VOb -> String

PrettyPrint Square

Defined in Math.FiniteCategories.Square

Methods

pprint :: Square -> String

PrettyPrint SquareAr

Defined in Math.FiniteCategories.Square

Methods

pprint :: SquareAr -> String

PrettyPrint SquareOb

Defined in Math.FiniteCategories.Square

Methods

pprint :: SquareOb -> String

PrettyPrint Parallel

Defined in Math.FiniteCategories.Parallel

Methods

pprint :: Parallel -> String

PrettyPrint ParallelAr

Defined in Math.FiniteCategories.Parallel

Methods

pprint :: ParallelAr -> String

PrettyPrint ParallelOb

Defined in Math.FiniteCategories.Parallel

Methods

pprint :: ParallelOb -> String

PrettyPrint One

Defined in Math.FiniteCategories.One

Methods

pprint :: One -> String

PrettyPrint Hat

Defined in Math.FiniteCategories.Hat

Methods

pprint :: Hat -> String

PrettyPrint HatAr

Defined in Math.FiniteCategories.Hat

Methods

pprint :: HatAr -> String

PrettyPrint HatOb

Defined in Math.FiniteCategories.Hat

Methods

pprint :: HatOb -> String

PrettyPrint a => PrettyPrint [a]

Defined in Math.IO.PrettyPrint

Methods

pprint :: [a] -> String

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

Defined in Math.IO.PrettyPrint

Methods

pprint :: Set a -> String

PrettyPrint a => PrettyPrint (Set a)

Defined in Math.IO.PrettyPrint

Methods

pprint :: Set a -> String

PrettyPrint c => PrettyPrint (Op c)

Defined in Math.Categories.Opposite

Methods

pprint :: Op c -> String

PrettyPrint m => PrettyPrint (OpMorphism m)

Defined in Math.Categories.Opposite

Methods

pprint :: OpMorphism m -> String

PrettyPrint (Galaxy a)

Defined in Math.Categories.Galaxy

Methods

pprint :: Galaxy a -> String

PrettyPrint a => PrettyPrint (StarIdentity a)

Defined in Math.Categories.Galaxy

Methods

pprint :: StarIdentity a -> String

PrettyPrint (TotalOrder a)

Defined in Math.Categories.TotalOrder

Methods

pprint :: TotalOrder a -> String

PrettyPrint a => PrettyPrint (IsSmallerThan a)

Defined in Math.Categories.TotalOrder

Methods

pprint :: IsSmallerThan a -> String

Show a => PrettyPrint (OrdinalCategory a)

Defined in Math.Categories.OrdinalCategory

Methods

pprint :: OrdinalCategory a -> String

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

Defined in Math.Categories.FinSet

Methods

pprint :: FinSet a -> String

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

Defined in Math.Categories.FinSet

Methods

pprint :: Function a -> String

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

Defined in Math.IO.PrettyPrint

Methods

pprint :: (a, b) -> String

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

Defined in Math.IO.PrettyPrint

Methods

pprint :: Map a b -> String

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

Defined in Math.Categories.FinGrph

Methods

pprint :: FinGrph n e -> String

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

Defined in Math.Categories.FinGrph

Methods

pprint :: GraphHomomorphism n e -> String

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

Defined in Math.Categories.FinGrph

Methods

pprint :: Graph n e -> String

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

Defined in Math.Categories.FinGrph

Methods

pprint :: Arrow n e -> String

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

Defined in Math.FiniteCategories.CompositionGraph

Methods

pprint :: CompositionGraph a b -> String

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

Defined in Math.FiniteCategories.CompositionGraph

Methods

pprint :: CGMorphism a b -> String

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

Defined in Math.FiniteCategories.SafeCompositionGraph

Methods

pprint :: SafeCompositionGraph a b -> String

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

Defined in Math.FiniteCategories.SafeCompositionGraph

Methods

pprint :: SCGMorphism a b -> String

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

Defined in Math.IO.PrettyPrint

Methods

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

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

Defined in Math.FiniteCategories.FullSubcategory

Methods

pprint :: InheritedFullSubcategory c m o -> String

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

Defined in Math.FiniteCategories.FullSubcategory

Methods

pprint :: FullSubcategory c m o -> String

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

Defined in Math.FiniteCategories.Subcategory

Methods

pprint :: InheritedSubcategory c m o -> String

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

Defined in Math.FiniteCategories.Subcategory

Methods

pprint :: Subcategory c m o -> String

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

Defined in Math.Categories.CommaCategory

Methods

pprint :: CommaObject o1 o2 m3 -> String

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

Defined in Math.Categories.CommaCategory

Methods

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

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

Defined in Math.Categories.FunctorCategory

Methods

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

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

Defined in Math.Categories.FunctorCategory

Methods

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

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

Defined in Math.Categories.FunctorCategory

Methods

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

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

Defined in Math.Categories.FunctorCategory

Methods

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

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

Defined in Math.Categories.FunctorCategory

Methods

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

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

Pretty print a function on a specific domain.