Monocle.Markup

Documentation

data Lab a

Constructors

MArrow (Mor a) String

MId (Mor a) String

MTensor [Lab a] String

MComposition [Lab a] String

MFunc String [Lab a] FuncT String

MTransform String (Lab a) [Mor a] String

Instances

Eq a => Eq (Lab a)

Ord a => Ord (Lab a)

Eq a => Morphism (Lab a)

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