| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Strings.Svg.Examples
Description
The seven equality diagrams from the renderer order of record.
Synopsis
- yankingRightExample :: ChartOptions
- yankingLeftExample :: ChartOptions
- slidingExample :: ChartOptions
- traceSlidingExample :: ChartOptions
- braidInverseExample :: ChartOptions
- tensorInterchangeExample :: ChartOptions
- starArdenExample :: ChartOptions
- knotBraid3Example :: ChartOptions
- knotCircleExample :: ChartOptions
- knotTraceExample :: ChartOptions
- knotTangleExample :: ChartOptions
- allExamples :: [(FilePath, ChartOptions)]
- writeAllExamples :: FilePath -> IO ()
Documentation
yankingRightExample :: ChartOptions Source #
Cap–cup snake equals a straight wire.
knotBraid3Example :: ChartOptions Source #
Braid on three strands: σ1 then σ2.
knotCircleExample :: ChartOptions Source #
A single wire that leaves the unit, travels right, and returns to the unit. In the geometric picture this is a circle.
knotTraceExample :: ChartOptions Source #
A feedback loop with a box inside: trace of a one-wire morphism.
knotTangleExample :: ChartOptions Source #
A small tangle: two wires cross, one bends back and forth.
allExamples :: [(FilePath, ChartOptions)] Source #
Named example SVGs.
writeAllExamples :: FilePath -> IO () Source #
Write every example SVG into the given directory.