Copyright	Anthony Wang 2021
License	MIT
Maintainer	anthony.y.wang.math@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

TikzStringDiagram

Description

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.

Synopsis

data TikzStringDiagram = TikzStringDiagram {
- tikzsd_array_of_coords :: !(Array (Int, Int) (Maybe TikzPathOperation))
- tikzsd_array_of_tikz_nt_nodes :: !(Array (Int, Int) (Maybe TikzPathOperation))
- tikzsd_functor_strings :: ![TikzPath]
- tikzsd_options :: !String
}
make_tikzsd :: NaturalTransformation -> NatFormatting -> String -> TikzStringDiagram

Documentation

data TikzStringDiagram Source #

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

Instances details

ShowLatex TikzStringDiagram Source #
Instance details Defined in TikzStringDiagram Methods showLatex :: TikzStringDiagram -> String Source #

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

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.