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

Monocle.Markup

Synopsis

Documentation

data Lab a Source

Labelled arrow data type.

Instances

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

markup :: Mor a -> Lab aSource

Returns the given morphism marked up.

unmark :: Eq a => Lab a -> Mor aSource

Removes labels and returns corresponding Mor.

modif :: Eq a => String -> Lab a -> (Mor a -> Mor a) -> Mor aSource

unmark $ modif' s lf op

modif' :: Eq a => String -> Lab a -> (Mor a -> Mor a) -> Lab aSource

Applies operation to the marked subterm of the given morphism.

modifLab :: String -> Lab a -> (Lab a -> Lab a) -> Lab aSource

Applies operation to the marked subterm of the given morphism.

choose :: String -> Int -> Int -> Lab a -> Lab aSource

Chooses subterm of an associative operation (composition or tensor product).

getLabel :: Lab a -> StringSource

Returns the label of the given marked morphism.