Copyright | (c) Justus Sagemüller 2017 |
---|---|

License | GPL v3 |

Maintainer | (@) jsag $ hvl.no |

Stability | experimental |

Portability | requires GHC>7 extensions |

Safe Haskell | None |

Language | Haskell2010 |

- (>$) :: (LaTeXC r, LaTeXSymbol σ) => r -> LaTeXMath σ -> r
- ($<>) :: (LaTeXC r, LaTeXSymbol σ) => LaTeXMath σ -> r -> r
- dmaths :: (LaTeXC r, LaTeXSymbol σ) => [[LaTeXMath σ]] -> String -> r
- equations :: (LaTeXC r, LaTeXSymbol σ, HasCallStack) => [(LaTeXMath σ, String)] -> String -> r
- asSafeLabel :: HasCallStack => String -> LaTeX
- maths :: (LaTeXC r, LaTeXSymbol σ) => [[LaTeXMath σ]] -> String -> r
- dcalculation :: (LaTeXC (m ()), LaTeXSymbol σ, Functor m) => LaTeXMath σ -> String -> m (LaTeXMath σ)
- parseEqnum :: LaTeXC r => String -> (Maybe r, r)
- contentsWithAlignAnchor :: (LaTeXC c, LaTeXSymbol σ) => LaTeXMath σ -> c

# Documentation

(>$) :: (LaTeXC r, LaTeXSymbol σ) => r -> LaTeXMath σ -> r infixl 1 Source #

Embed inline maths in a monadic chain of document-components. Space before the math is included automatically.

do "If">$𝑎;" and">$𝑏;" are the lengths of the legs and">$𝑐 " of the cathete of a right triangle, then">$ 𝑎◝2+𝑏◝2 ⩵ 𝑐◝2;" holds."

($<>) :: (LaTeXC r, LaTeXSymbol σ) => LaTeXMath σ -> r -> r infixr 6 Source #

Embed inline maths in a semigroup/monoidal chain of document-components.

"If "<>𝑎$<>" and "<>𝑏$<>" are the lengths of the legs and "<>𝑐$<> " of the cathete of a right triangle, then "<>(𝑎◝2+𝑏◝2 ⩵ 𝑐◝2)$<>" holds."

:: (LaTeXC r, LaTeXSymbol σ) | |

=> [[LaTeXMath σ]] | Equations to show. |

-> String | “Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text). |

-> r |

Include a formula / equation system as a LaTeX display. If it's a single equation, automatic line breaks are inserted (requires the breqn LaTeX package).

:: (LaTeXC r, LaTeXSymbol σ, HasCallStack) | |

=> [(LaTeXMath σ, String)] | Equations to show, with label name. |

-> String | “Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text). |

-> r |

Include a set of equations or formulas, each with a LaTeX label that can be
referenced with `ref`

. (The label name will *not* appear in the rendered
document output; by default it will be just a number but you can tweak it with
the terminator by including the desired tag in parentheses.)

asSafeLabel :: HasCallStack => String -> LaTeX Source #

:: (LaTeXC r, LaTeXSymbol σ) | |

=> [[LaTeXMath σ]] | Equations to show. |

-> String | “Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text). |

-> r |

Include a formula / equation system as a LaTeX display.

:: (LaTeXC (m ()), LaTeXSymbol σ, Functor m) | |

=> LaTeXMath σ | Computation chain to display. |

-> String | |

-> m (LaTeXMath σ) | Yield the rightmost expression in the displayed computation (i.e. usually the final result in a chain of algebraic equalities). |

contentsWithAlignAnchor :: (LaTeXC c, LaTeXSymbol σ) => LaTeXMath σ -> c Source #