Monocle-0.0.4: Symbolic computations in strict monoidal categories with LaTeX output.
Monocle.Tex
Synopsis
class Texified a whereSource
Class providing information in LaTeX form.
Methods
tex :: a -> StringSource
Returns short description
doc :: a -> StringSource
Returns detailed description
Instances
texObj :: Printable t => Mor t -> StringSource
Returns LaTeX description of an object of category
ptex :: Texified a => a -> IO ()Source
ptex f = do putStrLn $ tex f
putStrLn
tex
pobj :: Printable t => Mor t -> IO ()Source
pobj f = do putStrLn $ texObj f
texObj
pdoc :: Texified a => a -> IO ()Source
pdoc f = do putStrLn $ doc f
doc