Copyright | (c) Justus Sagemüller 2017 |
---|---|
License | GPL v3 |
Maintainer | (@) jsagemue $ uni-koeln.de |
Stability | experimental |
Portability | requires GHC>7 extensions |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
type MathsInfix = forall γ σ. CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) 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 6 Source #
(×) :: MathsInfix infixl 7 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 infixr 5 Source #
(∀:) :: MathsInfix infix 2 Source #
(∃:) :: MathsInfix infix 2 Source #
(°) :: MathsInfix infixl 7 Source #
(⁀) :: MathsInfix infixr 9 Source #
(◝) :: MathsInfix infixr 9 Source #
(◝⁀) :: MathsInfix infixr 9 Source #
(◞) :: MathsInfix infixr 9 Source #
(|◞) :: MathsInfix infixl 8 Source #
(₌₌) :: MathsInfix 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 #
(|◝) :: 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 #
implicationOperators :: HashSet LaTeX 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 #
relationOperators :: HashSet LaTeX 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 #
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 #
(␣) :: MathsInfix infixr 0 Source #
juxtapositionOperators :: HashSet LaTeX 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 #
(<.<) :: MathsInfix infix 5 Source #
(≤.<) :: MathsInfix infix 5 Source #
(<.≤) :: MathsInfix infix 5 Source #
(≤.≤) :: MathsInfix infix 5 Source #
toMathLaTeX' :: forall σ l. (LaTeXC l, SymbolClass σ, SCConstraint σ LaTeX) => CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> l Source #
toMathLaTeX :: forall σ l. (LaTeXC l, Num l, SymbolClass σ, SCConstraint σ l) => CAS (Infix l) (Encapsulation l) (SymbolD σ l) -> l Source #
showLParen :: LaTeXC l => Bool -> l -> l Source #