Copyright	Guillaume Sabbagh 2021
License	GPL-3
Maintainer	guillaumesabbagh@protonmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

IO.PrettyPrint

Description

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

Synopsis

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

Documentation

class PrettyPrintable a where Source #

The typeclass of things that can be pretty printed.

Methods

pprint :: a -> String Source #

Instances

Instances details

PrettyPrintable Char Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: Char -> String Source #
PrettyPrintable Double Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: Double -> String Source #
PrettyPrintable Int Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: Int -> String Source #
PrettyPrintable Text Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: Text -> String Source #
PrettyPrintable Zero Source #
Instance details Defined in UsualCategories.Zero Methods pprint :: Zero -> String Source #
PrettyPrintable V Source #
Instance details Defined in UsualCategories.V Methods pprint :: V -> String Source #
PrettyPrintable VAr Source #
Instance details Defined in UsualCategories.V Methods pprint :: VAr -> String Source #
PrettyPrintable VOb Source #
Instance details Defined in UsualCategories.V Methods pprint :: VOb -> String Source #
PrettyPrintable Two Source #
Instance details Defined in UsualCategories.Two Methods pprint :: Two -> String Source #
PrettyPrintable TwoAr Source #
Instance details Defined in UsualCategories.Two Methods pprint :: TwoAr -> String Source #
PrettyPrintable TwoOb Source #
Instance details Defined in UsualCategories.Two Methods pprint :: TwoOb -> String Source #
PrettyPrintable Three Source #
Instance details Defined in UsualCategories.Three Methods pprint :: Three -> String Source #
PrettyPrintable ThreeAr Source #
Instance details Defined in UsualCategories.Three Methods pprint :: ThreeAr -> String Source #
PrettyPrintable ThreeOb Source #
Instance details Defined in UsualCategories.Three Methods pprint :: ThreeOb -> String Source #
PrettyPrintable Square Source #
Instance details Defined in UsualCategories.Square Methods pprint :: Square -> String Source #
PrettyPrintable SquareAr Source #
Instance details Defined in UsualCategories.Square Methods pprint :: SquareAr -> String Source #
PrettyPrintable SquareOb Source #
Instance details Defined in UsualCategories.Square Methods pprint :: SquareOb -> String Source #
PrettyPrintable Parallel Source #
Instance details Defined in UsualCategories.Parallel Methods pprint :: Parallel -> String Source #
PrettyPrintable ParallelAr Source #
Instance details Defined in UsualCategories.Parallel Methods pprint :: ParallelAr -> String Source #
PrettyPrintable ParallelOb Source #
Instance details Defined in UsualCategories.Parallel Methods pprint :: ParallelOb -> String Source #
PrettyPrintable One Source #
Instance details Defined in UsualCategories.One Methods pprint :: One -> String Source #
PrettyPrintable Hat Source #
Instance details Defined in UsualCategories.Hat Methods pprint :: Hat -> String Source #
PrettyPrintable HatAr Source #
Instance details Defined in UsualCategories.Hat Methods pprint :: HatAr -> String Source #
PrettyPrintable HatOb Source #
Instance details Defined in UsualCategories.Hat Methods pprint :: HatOb -> String Source #
PrettyPrintable a => PrettyPrintable [a] Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: [a] -> String Source #
PrettyPrintable a => PrettyPrintable (Maybe a) Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: Maybe a -> String Source #
PrettyPrintable a => PrettyPrintable (Set a) Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: Set a -> String Source #
PrettyPrintable a => PrettyPrintable (DiscreteCategory a) Source #
Instance details Defined in UsualCategories.DiscreteCategory Methods pprint :: DiscreteCategory a -> String Source #
PrettyPrintable a => PrettyPrintable (DiscreteIdentity a) Source #
Instance details Defined in UsualCategories.DiscreteCategory Methods pprint :: DiscreteIdentity a -> String Source #
PrettyPrintable a => PrettyPrintable (DiscreteObject a) Source #
Instance details Defined in UsualCategories.DiscreteCategory Methods pprint :: DiscreteObject a -> String Source #
PrettyPrintable a => PrettyPrintable (FinOrdSet a) Source #
Instance details Defined in Set.FinOrdSet Methods pprint :: FinOrdSet a -> String Source #
(PrettyPrintable a, Ord a) => PrettyPrintable (FinOrdMap a) Source #
Instance details Defined in Set.FinOrdSet Methods pprint :: FinOrdMap a -> String Source #
PrettyPrintable a => PrettyPrintable (FinSetCat a) Source #
Instance details Defined in Set.FinSet Methods pprint :: FinSetCat a -> String Source #
(PrettyPrintable a, Eq a) => PrettyPrintable (FinMap a) Source #
Instance details Defined in Set.FinSet Methods pprint :: FinMap a -> String Source #
PrettyPrintable a => PrettyPrintable (FinSet a) Source #
Instance details Defined in Set.FinSet Methods pprint :: FinSet a -> String Source #
(PrettyPrintable a, PrettyPrintable b) => PrettyPrintable (Either a b) Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: Either a b -> String Source #
(PrettyPrintable a, PrettyPrintable b) => PrettyPrintable (a, b) Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: (a, b) -> String Source #
(Ord k, PrettyPrintable k, PrettyPrintable a) => PrettyPrintable (Map k a) Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: Map k a -> String Source #
(Show m, Show o) => PrettyPrintable (FiniteCategoryError m o) Source #
Instance details Defined in FiniteCategory.FiniteCategory Methods pprint :: FiniteCategoryError m o -> String Source #
(PrettyPrintable o1, PrettyPrintable o2) => PrettyPrintable (ProductObject o1 o2) Source #
Instance details Defined in ProductCategory.ProductCategory Methods pprint :: ProductObject o1 o2 -> String Source #
PrettyPrintable m => PrettyPrintable (OppositeMorphism m o) Source #
Instance details Defined in OppositeCategory.OppositeCategory Methods pprint :: OppositeMorphism m o -> String Source #
(PrettyPrintable a, PrettyPrintable b, Eq a, Eq b) => PrettyPrintable (CompositionGraph a b) Source #
Instance details Defined in CompositionGraph.CompositionGraph Methods pprint :: CompositionGraph a b -> String Source #
(PrettyPrintable a, PrettyPrintable b, Eq a, Eq b) => PrettyPrintable (CGMorphism a b) Source #
Instance details Defined in CompositionGraph.CompositionGraph Methods pprint :: CGMorphism a b -> String Source #
(PrettyPrintable a, PrettyPrintable b, Eq a, Eq b) => PrettyPrintable (SafeCompositionGraph a b) Source #
Instance details Defined in CompositionGraph.SafeCompositionGraph Methods pprint :: SafeCompositionGraph a b -> String Source #
(PrettyPrintable a, PrettyPrintable b, Eq a, Eq b) => PrettyPrintable (SCGMorphism a b) Source #
Instance details Defined in CompositionGraph.SafeCompositionGraph Methods pprint :: SCGMorphism a b -> String Source #
(PrettyPrintable a, PrettyPrintable b, PrettyPrintable c) => PrettyPrintable (a, b, c) Source #
Instance details Defined in IO.PrettyPrint Methods pprint :: (a, b, c) -> String Source #
(PrettyPrintable c, PrettyPrintable o) => PrettyPrintable (FullSubcategory c m o) Source #
Instance details Defined in Subcategories.FullSubcategory Methods pprint :: FullSubcategory c m o -> String Source #
PrettyPrintable c => PrettyPrintable (OppositeCategory c m o) Source #
Instance details Defined in OppositeCategory.OppositeCategory Methods pprint :: OppositeCategory c m o -> String Source #
(FiniteCategory c m o, Morphism m o, PrettyPrintable c, PrettyPrintable m, PrettyPrintable o, Eq m, Eq o) => PrettyPrintable (FinFunctor c m o) Source #
Instance details Defined in Cat.FinCat Methods pprint :: FinFunctor c m o -> String Source #
(FiniteCategory c m o, Morphism m o, PrettyPrintable c, PrettyPrintable m, PrettyPrintable o, Eq m, Eq o) => PrettyPrintable (PartialFunctor c m o) Source #
Instance details Defined in Cat.PartialFinCat Methods pprint :: PartialFunctor c m o -> String Source #
PrettyPrintable c => PrettyPrintable (LeftCone c m o) Source #
Instance details Defined in ConeCategory.LeftCone Methods pprint :: LeftCone c m o -> String Source #
(PrettyPrintable o1, PrettyPrintable o2, PrettyPrintable m3) => PrettyPrintable (CommaObject o1 o2 m3) Source #
Instance details Defined in CommaCategory.CommaCategory Methods pprint :: CommaObject o1 o2 m3 -> String Source #
(PrettyPrintable m1, PrettyPrintable m2) => PrettyPrintable (ProductMorphism m1 o1 m2 o2) Source #
Instance details Defined in ProductCategory.ProductCategory Methods pprint :: ProductMorphism m1 o1 m2 o2 -> String Source #
(PrettyPrintable m1, PrettyPrintable m2) => PrettyPrintable (CommaMorphism o1 o2 m1 m2 m3) Source #
Instance details Defined in CommaCategory.CommaCategory Methods pprint :: CommaMorphism o1 o2 m1 m2 m3 -> String Source #
(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) Source #
Instance details Defined in Diagram.Diagram Methods pprint :: Diagram c1 m1 o1 c2 m2 o2 -> String Source #
(PrettyPrintable c1, PrettyPrintable c2) => PrettyPrintable (FunctorCategory c1 m1 o1 c2 m2 o2) Source #
Instance details Defined in FunctorCategory.FunctorCategory Methods pprint :: FunctorCategory c1 m1 o1 c2 m2 o2 -> String Source #
(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) Source #
Instance details Defined in FunctorCategory.FunctorCategory Methods pprint :: NaturalTransformation c1 m1 o1 c2 m2 o2 -> String Source #
(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) Source #
Instance details Defined in CommaCategory.CommaCategory Methods pprint :: CommaCategory c1 m1 o1 c2 m2 o2 c3 m3 o3 -> String Source #

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

Pretty print a function on a specific domain.