Copyright	(c) Justus Sagemüller 2017
License	GPL v3
Maintainer	(@) jsag $ hvl.no
Stability	experimental
Portability	requires GHC>7 extensions
Safe Haskell	Safe-Inferred
Language	Haskell2010

Math.LaTeX.Internal.MathExpr

Contents

Orphan instances

Description

Synopsis

type LaTeXMath σ = CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)
type LaTeXSymbol σ = (SymbolClass σ, SCConstraint σ LaTeX)
type MathsInfix = forall γ σ. CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)
atom :: l -> CAS' γ s² s¹ (SymbolD σ l)
encapsulation :: l -> l -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
opL :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
opR :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
opN :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
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⁰
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⁰
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⁰
(±) :: MathsInfix
(∓) :: MathsInfix
(⊕) :: MathsInfix
(+..+) :: MathsInfix
(×) :: MathsInfix
(⊗) :: MathsInfix
(∘) :: MathsInfix
(*..*) :: MathsInfix
(∗) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
(⋆) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
factorial :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
(∧) :: MathsInfix
(∨) :: MathsInfix
(∩) :: MathsInfix
(∪) :: MathsInfix
(⊎) :: MathsInfix
(-\-) :: MathsInfix
(⧵) :: MathsInfix
(∖) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
(÷) :: MathsInfix
(⸪) :: MathsInfix
(-→) :: MathsInfix
(←-) :: MathsInfix
(↪) :: MathsInfix
(∀:) :: MathsInfix
(∃:) :: MathsInfix
(∄:) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
(°) :: MathsInfix
(☾) :: MathsInfix
(☽) :: MathsInfix
(⁀) :: MathsInfix
(◝) :: MathsInfix
(◝⁀) :: MathsInfix
(◞) :: MathsInfix
(|◞) :: MathsInfix
(₌₌) :: MathsInfix
(╰─┬─╯) :: MathsInfix
(‸) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
(◞◝) :: 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)
(|◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)
(|◞◝) :: 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)
(<=>) :: MathsInfix
(<==) :: MathsInfix
(==>) :: MathsInfix
implicationOperators :: HashSet LaTeX
(↦) :: MathsInfix
(∉) :: MathsInfix
(∈) :: MathsInfix
(←=) :: MathsInfix
(=→) :: MathsInfix
(∌) :: MathsInfix
(∋) :: MathsInfix
(⊇) :: MathsInfix
(⊆) :: MathsInfix
(⊃) :: MathsInfix
(/⊂) :: MathsInfix
(⊂) :: MathsInfix
(∥) :: MathsInfix
(⟂) :: MathsInfix
(∝) :: MathsInfix
(≫) :: MathsInfix
(≪) :: MathsInfix
(≥) :: MathsInfix
(≤) :: MathsInfix
(⪢) :: MathsInfix
(⪡) :: MathsInfix
(≅) :: MathsInfix
(≃) :: MathsInfix
(∼) :: MathsInfix
(≈) :: MathsInfix
(≠) :: MathsInfix
(⩵!) :: MathsInfix
(≡) :: MathsInfix
(=÷) :: MathsInfix
(÷=) :: MathsInfix
(=⸪) :: MathsInfix
(⸪=) :: MathsInfix
(⩵) :: MathsInfix
relationOperators :: HashSet LaTeX
del :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)
nabla :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)
infty :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)
newtype Integrand γ s² s¹ s⁰ = Integrand {
- getIntgrand :: CAS' γ s² s¹ s⁰
}
d :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> Integrand γ (Infix l) (Encapsulation l) s⁰
(∫) :: 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)
(◞∫) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
(◞∮) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
(∑) :: 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)
(∏) :: 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)
(⋃) :: 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)
(⋂) :: 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)
(⨄) :: 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)
(◞∑) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
(◞∏) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
(◞⋃) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
(◞⋂) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
(◞⨄) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
norm :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
(،..،) :: MathsInfix
(،) :: MathsInfix
(⍪..⍪) :: MathsInfix
(⍪) :: MathsInfix
(...) :: MathsInfix
(␣) :: MathsInfix
juxtapositionOperators :: HashSet LaTeX
matrix :: LaTeXC l => [[CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)]] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
cases :: LaTeXC l => [(CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), LaTeX)] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
set :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
tup :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
intv :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
nobreaks :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
setCompr :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
(<.<) :: MathsInfix
(≤.<) :: MathsInfix
(<.≤) :: MathsInfix
(≤.≤) :: MathsInfix
toMathLaTeX' :: forall σ l. (LaTeXC l, SymbolClass σ, SCConstraint σ LaTeX) => CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> l
toMathLaTeX :: forall σ l. (l ~ LaTeX, SymbolClass σ, SCConstraint σ l) => CAS (Infix l) (Encapsulation l) (SymbolD σ l) -> l
showLParen :: LaTeXC l => Bool -> l -> l
(<⍪>) :: MathsInfix
(<،>) :: MathsInfix

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.

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 #

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 6 Source #

(×) :: MathsInfix infixl 7 Source #

(⊗) :: MathsInfix infixl 7 Source #

(∘) :: MathsInfix infixl 7 Source #

(*..*) :: MathsInfix infixl 7 Source #

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

(⋆) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ 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 infixr 2 Source #

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

Deprecated: Use (∖), i.e. U+2216 SET MINUS

(⧵) :: MathsInfix infixl 2 Source #

Deprecated: Use (∖), i.e. U+2216 SET MINUS. (You used U+29F5 REVERSE SOLIDUS OPERATOR)

(∖) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ infixl 2 Source #

(÷) :: MathsInfix Source #

(⸪) :: MathsInfix infixr 5 Source #

Deprecated: Use (÷), i.e. U+00F7 DIVISION SIGN

(-→) :: MathsInfix infixr 5 Source #

(←-) :: MathsInfix infixr 5 Source #

(↪) :: MathsInfix infixr 5 Source #

(∀:) :: MathsInfix infix 2 Source #

(∃:) :: MathsInfix infix 2 Source #

(∄:) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ infix 2 Source #

(°) :: MathsInfix infixl 7 Source #

Deprecated: Use (☾), i.e. U+263E LAST QUARTER MOON

(☾) :: MathsInfix infixl 7 Source #

(☽) :: MathsInfix infixr 7 Source #

(⁀) :: MathsInfix infixr 9 Source #

Deprecated: Use (‸), i.e. U+2038 CARET

(◝) :: MathsInfix infixr 9 Source #

(◝⁀) :: MathsInfix infixr 9 Source #

Deprecated: Use manual parenthesization

(◞) :: MathsInfix infixr 9 Source #

(|◞) :: MathsInfix infixl 8 Source #

(₌₌) :: MathsInfix infixl 8 Source #

Deprecated: Use (╰─┬─╯), i.e. Unicode box drawings

(╰─┬─╯) :: MathsInfix Source #

(‸) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ 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 #

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 #

(≠) :: 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 #

newtype Integrand γ s² s¹ s⁰ Source #

Constructors

Integrand
Fields getIntgrand :: CAS' γ s² s¹ s⁰

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) -> 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) -> 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) 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) 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 #

Deprecated: Use (⍪..⍪), i.e. U+236A APL FUNCTIONAL SYMBOL COMMA

(،) :: MathsInfix infixr 0 Source #

Deprecated: Use (⍪), i.e. U+236A APL FUNCTIONAL SYMBOL COMMA

(⍪..⍪) :: 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 #

setCompr :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ 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. (l ~ LaTeX, SymbolClass σ, SCConstraint σ l) => CAS (Infix l) (Encapsulation l) (SymbolD σ l) -> l Source #

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

(<⍪>) :: MathsInfix infix 7 Source #

(<،>) :: MathsInfix infix 7 Source #

Deprecated: Use (⍪), i.e. U+236A APL FUNCTIONAL SYMBOL COMMA

Orphan instances

LaTeXSymbol σ => AdditiveGroup (LaTeXMath σ) Source #
Instance details Methods zeroV :: LaTeXMath σ # (^+^) :: LaTeXMath σ -> LaTeXMath σ -> LaTeXMath σ # negateV :: LaTeXMath σ -> LaTeXMath σ # (^-^) :: LaTeXMath σ -> LaTeXMath σ -> LaTeXMath σ #
LaTeXSymbol σ => InnerSpace (LaTeXMath σ) Source #
Instance details Methods (<.>) :: LaTeXMath σ -> LaTeXMath σ -> Scalar (LaTeXMath σ) #
LaTeXSymbol σ => VectorSpace (LaTeXMath σ) Source #
Instance details Associated Types type Scalar (LaTeXMath σ) # Methods (*^) :: Scalar (LaTeXMath σ) -> LaTeXMath σ -> LaTeXMath σ #
(SymbolClass σ, SCConstraint σ LaTeX, IsString (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX))) => LaTeXC (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) Source #
Instance details Methods liftListL :: ([LaTeX] -> LaTeX) -> [CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)] -> CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #
(SymbolClass σ, SCConstraint σ LaTeX) => Monoid (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) Source #
Instance details Methods mempty :: CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) # mappend :: CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) # mconcat :: [CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)] -> CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #
(SymbolClass σ, SCConstraint σ LaTeX) => Semigroup (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) Source #
Instance details Methods (<>) :: CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) # sconcat :: NonEmpty (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) -> CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) # stimes :: Integral b => b -> CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #
(γ ~ 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 #