Monocle-0.0.3: Symbolic computations in strict monoidal categories with LaTeX output.

Monocle.Tex

Documentation

class Texified a whereSource

Methods

tex :: a -> StringSource

doc :: a -> StringSource

Instances

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