IO.PrettyPrint

A simple typeclass for things to be pretty printed. Things should be pretty printable to be exported with graphviz.

Documentation

class PrettyPrintable a where

The typeclass of things that can be pretty printed.

Methods

pprint :: a -> String

Instances

PrettyPrintable Char

Defined in IO.PrettyPrint

Methods

pprint :: Char -> String

PrettyPrintable Double

Defined in IO.PrettyPrint

Methods

pprint :: Double -> String

PrettyPrintable Int

Defined in IO.PrettyPrint

Methods

pprint :: Int -> String

PrettyPrintable Text

Defined in IO.PrettyPrint

Methods

pprint :: Text -> String

PrettyPrintable Zero

Defined in UsualCategories.Zero

Methods

pprint :: Zero -> String

PrettyPrintable V

Defined in UsualCategories.V

Methods

pprint :: V -> String

PrettyPrintable VAr

Defined in UsualCategories.V

Methods

pprint :: VAr -> String

PrettyPrintable VOb

Defined in UsualCategories.V

Methods

pprint :: VOb -> String

PrettyPrintable Two

Defined in UsualCategories.Two

Methods

pprint :: Two -> String

PrettyPrintable TwoAr

Defined in UsualCategories.Two

Methods

pprint :: TwoAr -> String

PrettyPrintable TwoOb

Defined in UsualCategories.Two

Methods

pprint :: TwoOb -> String

PrettyPrintable Three

Defined in UsualCategories.Three

Methods

pprint :: Three -> String

PrettyPrintable ThreeAr

Defined in UsualCategories.Three

Methods

pprint :: ThreeAr -> String

PrettyPrintable ThreeOb

Defined in UsualCategories.Three

Methods

pprint :: ThreeOb -> String

PrettyPrintable Square

Defined in UsualCategories.Square

Methods

pprint :: Square -> String

PrettyPrintable SquareAr

Defined in UsualCategories.Square

Methods

pprint :: SquareAr -> String

PrettyPrintable SquareOb

Defined in UsualCategories.Square

Methods

pprint :: SquareOb -> String

PrettyPrintable Parallel

Defined in UsualCategories.Parallel

Methods

pprint :: Parallel -> String

PrettyPrintable ParallelAr

Defined in UsualCategories.Parallel

Methods

pprint :: ParallelAr -> String

PrettyPrintable ParallelOb

Defined in UsualCategories.Parallel

Methods

pprint :: ParallelOb -> String

PrettyPrintable One

Defined in UsualCategories.One

Methods

pprint :: One -> String

PrettyPrintable Hat

Defined in UsualCategories.Hat

Methods

pprint :: Hat -> String

PrettyPrintable HatAr

Defined in UsualCategories.Hat

Methods

pprint :: HatAr -> String

PrettyPrintable HatOb

Defined in UsualCategories.Hat

Methods

pprint :: HatOb -> String

PrettyPrintable a => PrettyPrintable [a]

Defined in IO.PrettyPrint

Methods

pprint :: [a] -> String

PrettyPrintable a => PrettyPrintable (Maybe a)

Defined in IO.PrettyPrint

Methods

pprint :: Maybe a -> String

PrettyPrintable a => PrettyPrintable (Set a)

Defined in IO.PrettyPrint

Methods

pprint :: Set a -> String

PrettyPrintable a => PrettyPrintable (DiscreteCategory a)

Defined in UsualCategories.DiscreteCategory

Methods

pprint :: DiscreteCategory a -> String

PrettyPrintable a => PrettyPrintable (DiscreteIdentity a)

Defined in UsualCategories.DiscreteCategory

Methods

pprint :: DiscreteIdentity a -> String

PrettyPrintable a => PrettyPrintable (DiscreteObject a)

Defined in UsualCategories.DiscreteCategory

Methods

pprint :: DiscreteObject a -> String

PrettyPrintable a => PrettyPrintable (FinOrdSet a)

Defined in Set.FinOrdSet

Methods

pprint :: FinOrdSet a -> String

(PrettyPrintable a, Ord a) => PrettyPrintable (FinOrdMap a)

Defined in Set.FinOrdSet

Methods

pprint :: FinOrdMap a -> String

PrettyPrintable a => PrettyPrintable (FinSetCat a)

Defined in Set.FinSet

Methods

pprint :: FinSetCat a -> String

(PrettyPrintable a, Eq a) => PrettyPrintable (FinMap a)

Defined in Set.FinSet

Methods

pprint :: FinMap a -> String

PrettyPrintable a => PrettyPrintable (FinSet a)

Defined in Set.FinSet

Methods

pprint :: FinSet a -> String

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

Defined in IO.PrettyPrint

Methods

pprint :: Either a b -> String

(PrettyPrintable a, PrettyPrintable b) => PrettyPrintable (a, b)

Defined in IO.PrettyPrint

Methods

pprint :: (a, b) -> String

(Ord k, PrettyPrintable k, PrettyPrintable a) => PrettyPrintable (Map k a)

Defined in IO.PrettyPrint

Methods

pprint :: Map k a -> String

(Show m, Show o) => PrettyPrintable (FiniteCategoryError m o)

Defined in FiniteCategory.FiniteCategory

Methods

pprint :: FiniteCategoryError m o -> String

(PrettyPrintable o1, PrettyPrintable o2) => PrettyPrintable (ProductObject o1 o2)

Defined in ProductCategory.ProductCategory

Methods

pprint :: ProductObject o1 o2 -> String

PrettyPrintable m => PrettyPrintable (OppositeMorphism m o)

Defined in OppositeCategory.OppositeCategory

Methods

pprint :: OppositeMorphism m o -> String

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

Defined in CompositionGraph.CompositionGraph

Methods

pprint :: CompositionGraph a b -> String

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

Defined in CompositionGraph.CompositionGraph

Methods

pprint :: CGMorphism a b -> String

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

Defined in CompositionGraph.SafeCompositionGraph

Methods

pprint :: SafeCompositionGraph a b -> String

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

Defined in CompositionGraph.SafeCompositionGraph

Methods

pprint :: SCGMorphism a b -> String

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

Defined in IO.PrettyPrint

Methods

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

(PrettyPrintable c, PrettyPrintable o) => PrettyPrintable (FullSubcategory c m o)

Defined in Subcategories.FullSubcategory

Methods

pprint :: FullSubcategory c m o -> String

PrettyPrintable c => PrettyPrintable (OppositeCategory c m o)

Defined in OppositeCategory.OppositeCategory

Methods

pprint :: OppositeCategory c m o -> String

(FiniteCategory c m o, Morphism m o, PrettyPrintable c, PrettyPrintable m, PrettyPrintable o, Eq m, Eq o) => PrettyPrintable (FinFunctor c m o)

Defined in Cat.FinCat

Methods

pprint :: FinFunctor c m o -> String

(FiniteCategory c m o, Morphism m o, PrettyPrintable c, PrettyPrintable m, PrettyPrintable o, Eq m, Eq o) => PrettyPrintable (PartialFunctor c m o)

Defined in Cat.PartialFinCat

Methods

pprint :: PartialFunctor c m o -> String

PrettyPrintable c => PrettyPrintable (LeftCone c m o)

Defined in ConeCategory.LeftCone

Methods

pprint :: LeftCone c m o -> String

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

Defined in CommaCategory.CommaCategory

Methods

pprint :: CommaObject o1 o2 m3 -> String

(PrettyPrintable m1, PrettyPrintable m2) => PrettyPrintable (ProductMorphism m1 o1 m2 o2)

Defined in ProductCategory.ProductCategory

Methods

pprint :: ProductMorphism m1 o1 m2 o2 -> String

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

Defined in CommaCategory.CommaCategory

Methods

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

(FiniteCategory c1 m1 o1, Morphism m1 o1, PrettyPrintable m1, PrettyPrintable o1, Eq m1, Eq o1, PrettyPrintable c1, FiniteCategory c2 m2 o2, Morphism m2 o2, PrettyPrintable m2, PrettyPrintable o2, PrettyPrintable c2) => PrettyPrintable (Diagram c1 m1 o1 c2 m2 o2)

Defined in Diagram.Diagram

Methods

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

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

Defined in FunctorCategory.FunctorCategory

Methods

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

(FiniteCategory c1 m1 o1, Morphism m1 o1, PrettyPrintable c1, PrettyPrintable m1, PrettyPrintable o1, Eq m1, Eq o1, FiniteCategory c2 m2 o2, Morphism m2 o2, PrettyPrintable c2, PrettyPrintable m2, PrettyPrintable o2) => PrettyPrintable (NaturalTransformation c1 m1 o1 c2 m2 o2)

Defined in FunctorCategory.FunctorCategory

Methods

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

(PrettyPrintable c1, PrettyPrintable m1, PrettyPrintable o1, PrettyPrintable c2, PrettyPrintable m2, PrettyPrintable o2, PrettyPrintable c3, PrettyPrintable m3, PrettyPrintable o3, FiniteCategory c1 m1 o1, FiniteCategory c2 m2 o2, FiniteCategory c3 m3 o3, Morphism m1 o1, Morphism m2 o2, Morphism m3 o3, Eq m1, Eq o1, Eq m2, Eq o2) => PrettyPrintable (CommaCategory c1 m1 o1 c2 m2 o2 c3 m3 o3)

Defined in CommaCategory.CommaCategory

Methods

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

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

Pretty print a function on a specific domain.