TikzStringDiagram

TikzStringDiagram is a module for defining TikzStringDiagram, the structure containing the TikZ objects needed to create a string diagram. A TikzStringDiagram is an instance of ShowLatex, where showLatex of a TikzStringDiagram is the LaTeX code for rendering the string diagram.

Documentation

data TikzStringDiagram

TikzStringDiagram is a data structure containing the Tikz objects needed to draw a string diagram.

Constructors

TikzStringDiagram

Fields

• tikzsd_array_of_coords :: !(Array (Int, Int) (Maybe TikzPathOperation))

  the array of TikZ coordinate path operations used when placing functors

• tikzsd_array_of_tikz_nt_nodes :: !(Array (Int, Int) (Maybe TikzPathOperation))

  the array of TikZ node path operations, used to place the natural transformations

• tikzsd_functor_strings :: ![TikzPath]

  a list of TikzPaths which draw the strings in the string diagram

• tikzsd_options :: !String

  LaTeX code for options in the tikzpicture environment

Instances

ShowLatex TikzStringDiagram

Defined in TikzStringDiagram

Methods

showLatex :: TikzStringDiagram -> String

make_tikzsd :: NaturalTransformation -> NatFormatting -> String -> TikzStringDiagram

make_tikzsd creates a TikzStringDiagram from a NaturalTransformation, a NatFormatting which can be used to format the NaturalTransformation, and a String of LaTeX code for options in the tikzpicture environment.