Monocle.Tex

Documentation

class Texified a where

Class providing information in LaTeX form.

Methods

tex :: a -> String

Returns short description

doc :: a -> String

Returns detailed description

Instances

(Printable a, Ord a) => Texified (Rule a)

(Printable a, Ord a) => Texified (Mor a)

(Printable a, Ord a) => Texified (Lab a)

texObj :: Printable t => Mor t -> String

Returns LaTeX description of an object of category

ptex :: Texified a => a -> IO ()

ptex f = do putStrLn $ tex f

pobj :: Printable t => Mor t -> IO ()

pobj f = do putStrLn $ texObj f

pdoc :: Texified a => a -> IO ()

pdoc f = do putStrLn $ doc f