TeX-my-math-0.201.2.0: Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio.

Copyright(c) Justus Sagemüller 2017
LicenseGPL v3
Maintainer(@) jsagemue $ uni-koeln.de
Stabilityexperimental
Portabilityrequires GHC>7 extensions
Safe HaskellNone
LanguageHaskell2010

Math.LaTeX.Internal.MathExpr

Contents

Description

 
Synopsis

Documentation

type LaTeXMath σ = CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) Source #

Mathematical expressions to be typeset in LaTeX. Most of the functions in this library have more generic signatures, but all can be used with this type.

The σ parameter specifies how single-symbol “literals” are used in your Haskell code.

type LaTeXSymbol σ = (SymbolClass σ, SCConstraint σ LaTeX) Source #

The CAS.Dumb.Symbols.Unicode.* modules offer symbols that can be rendered in LaTeX.

atom :: l -> CAS' γ s² s¹ (SymbolD σ l) Source #

encapsulation :: l -> l -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

opL :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #

opR :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #

opN :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #

opL' :: LaTeXC l => Int -> (l -> l -> l) -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #

opR' :: LaTeXC l => Int -> (l -> l -> l) -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #

opN' :: LaTeXC l => Int -> (l -> l -> l) -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #

(±) :: MathsInfix infixl 6 Source #

(∓) :: MathsInfix infixl 6 Source #

(⊕) :: MathsInfix infixl 6 Source #

(×) :: MathsInfix infixl 7 Source #

(⊗) :: MathsInfix infixl 7 Source #

(∘) :: MathsInfix infixl 7 Source #

factorial :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

(∧) :: MathsInfix infixr 3 Source #

(∨) :: MathsInfix infixr 3 Source #

(∩) :: MathsInfix infixr 3 Source #

(∪) :: MathsInfix infixr 2 Source #

(-\-) :: MathsInfix infixl 2 Source #

(⸪) :: MathsInfix infixr 5 Source #

(↪) :: MathsInfix infixr 5 Source #

(°) :: MathsInfix infixl 7 Source #

(⁀) :: MathsInfix infixr 9 Source #

(◝) :: MathsInfix infixr 9 Source #

(◞) :: MathsInfix infixr 9 Source #

(◞◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> (CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s), CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) infixl 8 Source #

(|◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) infixl 8 Source #

(|◞◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> (CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s), CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) infixl 8 Source #

(<=>) :: MathsInfix infixl 1 Source #

(<==) :: MathsInfix infixl 1 Source #

(==>) :: MathsInfix infixl 1 Source #

(↦) :: MathsInfix infixl 4 Source #

(∉) :: MathsInfix infixl 4 Source #

(∈) :: MathsInfix infixl 4 Source #

(∌) :: MathsInfix infixl 4 Source #

(∋) :: MathsInfix infixl 4 Source #

(⊇) :: MathsInfix infixl 4 Source #

(⊆) :: MathsInfix infixl 4 Source #

(⊃) :: MathsInfix infixl 4 Source #

(⊂) :: MathsInfix infixl 4 Source #

(∥) :: MathsInfix infixl 4 Source #

(⟂) :: MathsInfix infixl 4 Source #

(∝) :: MathsInfix infixl 4 Source #

(≫) :: MathsInfix infixl 4 Source #

(≪) :: MathsInfix infixl 4 Source #

(≥) :: MathsInfix infixl 4 Source #

(≤) :: MathsInfix infixl 4 Source #

(⪢) :: MathsInfix infixl 4 Source #

(⪡) :: MathsInfix infixl 4 Source #

(≅) :: MathsInfix infixl 4 Source #

(≃) :: MathsInfix infixl 4 Source #

(∼) :: MathsInfix infixl 4 Source #

(≈) :: MathsInfix infixl 4 Source #

(≠) :: MathsInfix infixl 4 Source #

(≡) :: MathsInfix infixl 4 Source #

(⩵) :: MathsInfix infixl 4 Source #

del :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX) Source #

nabla :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX) Source #

infty :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX) Source #

newtype Integrand γ s² s¹ s⁰ Source #

Constructors

Integrand 

Fields

d :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> Integrand γ (Infix l) (Encapsulation l) s⁰ Source #

(∫) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #

(◞∫) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #

(◞∮) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #

(∑) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #

(◞∑) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #

(∏) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #

(◞∏) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #

norm :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

(،) :: MathsInfix infixr 0 Source #

(...) :: MathsInfix infixr 0 Source #

(␣) :: MathsInfix infixr 0 Source #

matrix :: LaTeXC l => [[CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)]] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

cases :: LaTeXC l => [(CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), LaTeX)] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

set :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

tup :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

intv :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

nobreaks :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

toMathLaTeX :: forall σ l. (l ~ LaTeX, SymbolClass σ, SCConstraint σ l) => CAS (Infix l) (Encapsulation l) (SymbolD σ l) -> l Source #

showLParen :: LaTeXC l => Bool -> l -> l Source #

Orphan instances

LaTeXSymbol σ => VectorSpace (LaTeXMath σ) Source # 
Instance details

Associated Types

type Scalar (LaTeXMath σ) :: Type #

Methods

(*^) :: Scalar (LaTeXMath σ) -> LaTeXMath σ -> LaTeXMath σ #

LaTeXSymbol σ => InnerSpace (LaTeXMath σ) Source # 
Instance details

Methods

(<.>) :: LaTeXMath σ -> LaTeXMath σ -> Scalar (LaTeXMath σ) #

LaTeXSymbol σ => AdditiveGroup (LaTeXMath σ) Source # 
Instance details

Methods

zeroV :: LaTeXMath σ #

(^+^) :: LaTeXMath σ -> LaTeXMath σ -> LaTeXMath σ #

negateV :: LaTeXMath σ -> LaTeXMath σ #

(^-^) :: LaTeXMath σ -> LaTeXMath σ -> LaTeXMath σ #

(SymbolClass σ, SCConstraint σ LaTeX) => Semigroup (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) Source # 
Instance details

(SymbolClass σ, SCConstraint σ LaTeX) => Monoid (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) Source # 
Instance details

(SymbolClass σ, SCConstraint σ LaTeX, IsString (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX))) => LaTeXC (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) Source # 
Instance details

(γ ~ Void, s² ~ Infix LaTeX, s¹ ~ Encapsulation LaTeX, s⁰ ~ SymbolD σ LaTeX, SymbolClass σ, SCConstraint σ LaTeX) => Texy (CAS' γ s² s¹ s⁰) Source # 
Instance details

Methods

texy :: LaTeXC l => CAS' γ s² s¹ s⁰ -> l #