TeX-my-math-0.203.0.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(@) jsag $ hvl.no
Stabilityexperimental
Portabilityrequires GHC>7 extensions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.LaTeX.Prelude

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.

Primitive symbols

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

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

Unicode literals

ㄬ :: CAS' GapId s² s¹ s⁰ #

ㄫ :: CAS' GapId s² s¹ s⁰ #

ㄪ :: CAS' GapId s² s¹ s⁰ #

ㄩ :: CAS' GapId s² s¹ s⁰ #

ㄨ :: CAS' GapId s² s¹ s⁰ #

ㄧ :: CAS' GapId s² s¹ s⁰ #

ㄦ :: CAS' GapId s² s¹ s⁰ #

ㄥ :: CAS' GapId s² s¹ s⁰ #

ㄤ :: CAS' GapId s² s¹ s⁰ #

ㄣ :: CAS' GapId s² s¹ s⁰ #

ㄢ :: CAS' GapId s² s¹ s⁰ #

ㄡ :: CAS' GapId s² s¹ s⁰ #

ㄠ :: CAS' GapId s² s¹ s⁰ #

ㄟ :: CAS' GapId s² s¹ s⁰ #

ㄞ :: CAS' GapId s² s¹ s⁰ #

ㄝ :: CAS' GapId s² s¹ s⁰ #

ㄜ :: CAS' GapId s² s¹ s⁰ #

ㄛ :: CAS' GapId s² s¹ s⁰ #

ㄚ :: CAS' GapId s² s¹ s⁰ #

ㄙ :: CAS' GapId s² s¹ s⁰ #

ㄘ :: CAS' GapId s² s¹ s⁰ #

ㄗ :: CAS' GapId s² s¹ s⁰ #

ㄖ :: CAS' GapId s² s¹ s⁰ #

ㄕ :: CAS' GapId s² s¹ s⁰ #

ㄔ :: CAS' GapId s² s¹ s⁰ #

ㄓ :: CAS' GapId s² s¹ s⁰ #

ㄒ :: CAS' GapId s² s¹ s⁰ #

ㄑ :: CAS' GapId s² s¹ s⁰ #

ㄐ :: CAS' GapId s² s¹ s⁰ #

ㄏ :: CAS' GapId s² s¹ s⁰ #

ㄎ :: CAS' GapId s² s¹ s⁰ #

ㄍ :: CAS' GapId s² s¹ s⁰ #

ㄌ :: CAS' GapId s² s¹ s⁰ #

ㄋ :: CAS' GapId s² s¹ s⁰ #

ㄊ :: CAS' GapId s² s¹ s⁰ #

ㄉ :: CAS' GapId s² s¹ s⁰ #

ㄈ :: CAS' GapId s² s¹ s⁰ #

ㄇ :: CAS' GapId s² s¹ s⁰ #

ㄆ :: CAS' GapId s² s¹ s⁰ #

ㄅ :: CAS' GapId s² s¹ s⁰ #

pattern Α :: Expression' γ s² s¹ ζ #

pattern Β :: Expression' γ s² s¹ ζ #

pattern Γ :: Expression' γ s² s¹ ζ #

pattern Δ :: Expression' γ s² s¹ ζ #

pattern Ε :: Expression' γ s² s¹ ζ #

pattern Ζ :: Expression' γ s² s¹ ζ #

pattern Η :: Expression' γ s² s¹ ζ #

pattern Θ :: Expression' γ s² s¹ ζ #

pattern Ι :: Expression' γ s² s¹ ζ #

pattern Κ :: Expression' γ s² s¹ ζ #

pattern Λ :: Expression' γ s² s¹ ζ #

pattern Μ :: Expression' γ s² s¹ ζ #

pattern Ν :: Expression' γ s² s¹ ζ #

pattern Ξ :: Expression' γ s² s¹ ζ #

pattern Ο :: Expression' γ s² s¹ ζ #

pattern Π :: Expression' γ s² s¹ ζ #

pattern Ρ :: Expression' γ s² s¹ ζ #

pattern Σ :: Expression' γ s² s¹ ζ #

pattern Τ :: Expression' γ s² s¹ ζ #

pattern Υ :: Expression' γ s² s¹ ζ #

pattern Φ :: Expression' γ s² s¹ ζ #

pattern Χ :: Expression' γ s² s¹ ζ #

pattern Ψ :: Expression' γ s² s¹ ζ #

pattern Ω :: Expression' γ s² s¹ ζ #

pattern 𝔄 :: Expression' γ s² s¹ ζ #

pattern 𝔅 :: Expression' γ s² s¹ ζ #

pattern ℭ :: Expression' γ s² s¹ ζ #

pattern 𝔇 :: Expression' γ s² s¹ ζ #

pattern 𝔈 :: Expression' γ s² s¹ ζ #

pattern 𝔉 :: Expression' γ s² s¹ ζ #

pattern 𝔊 :: Expression' γ s² s¹ ζ #

pattern ℌ :: Expression' γ s² s¹ ζ #

pattern ℑ :: Expression' γ s² s¹ ζ #

pattern 𝔍 :: Expression' γ s² s¹ ζ #

pattern 𝔎 :: Expression' γ s² s¹ ζ #

pattern 𝔏 :: Expression' γ s² s¹ ζ #

pattern 𝔐 :: Expression' γ s² s¹ ζ #

pattern 𝔑 :: Expression' γ s² s¹ ζ #

pattern 𝔒 :: Expression' γ s² s¹ ζ #

pattern 𝔓 :: Expression' γ s² s¹ ζ #

pattern 𝔔 :: Expression' γ s² s¹ ζ #

pattern ℜ :: Expression' γ s² s¹ ζ #

pattern 𝔖 :: Expression' γ s² s¹ ζ #

pattern 𝔗 :: Expression' γ s² s¹ ζ #

pattern 𝔘 :: Expression' γ s² s¹ ζ #

pattern 𝔙 :: Expression' γ s² s¹ ζ #

pattern 𝔚 :: Expression' γ s² s¹ ζ #

pattern 𝔛 :: Expression' γ s² s¹ ζ #

pattern 𝔜 :: Expression' γ s² s¹ ζ #

pattern 𝓐 :: Expression' γ s² s¹ ζ #

pattern 𝓑 :: Expression' γ s² s¹ ζ #

pattern 𝓒 :: Expression' γ s² s¹ ζ #

pattern 𝓓 :: Expression' γ s² s¹ ζ #

pattern 𝓔 :: Expression' γ s² s¹ ζ #

pattern 𝓕 :: Expression' γ s² s¹ ζ #

pattern 𝓖 :: Expression' γ s² s¹ ζ #

pattern 𝓗 :: Expression' γ s² s¹ ζ #

pattern 𝓘 :: Expression' γ s² s¹ ζ #

pattern 𝓙 :: Expression' γ s² s¹ ζ #

pattern 𝓚 :: Expression' γ s² s¹ ζ #

pattern 𝓛 :: Expression' γ s² s¹ ζ #

pattern 𝓜 :: Expression' γ s² s¹ ζ #

pattern 𝓝 :: Expression' γ s² s¹ ζ #

pattern 𝓞 :: Expression' γ s² s¹ ζ #

pattern 𝓟 :: Expression' γ s² s¹ ζ #

pattern 𝓠 :: Expression' γ s² s¹ ζ #

pattern 𝓡 :: Expression' γ s² s¹ ζ #

pattern 𝓢 :: Expression' γ s² s¹ ζ #

pattern 𝓣 :: Expression' γ s² s¹ ζ #

pattern 𝓤 :: Expression' γ s² s¹ ζ #

pattern 𝓥 :: Expression' γ s² s¹ ζ #

pattern 𝓦 :: Expression' γ s² s¹ ζ #

pattern 𝓧 :: Expression' γ s² s¹ ζ #

pattern 𝓨 :: Expression' γ s² s¹ ζ #

pattern 𝓩 :: Expression' γ s² s¹ ζ #

pattern 𝒜 :: Expression' γ s² s¹ ζ #

pattern ℬ :: Expression' γ s² s¹ ζ #

pattern 𝒞 :: Expression' γ s² s¹ ζ #

pattern 𝒟 :: Expression' γ s² s¹ ζ #

pattern ℰ :: Expression' γ s² s¹ ζ #

pattern ℱ :: Expression' γ s² s¹ ζ #

pattern 𝒢 :: Expression' γ s² s¹ ζ #

pattern ℋ :: Expression' γ s² s¹ ζ #

pattern ℐ :: Expression' γ s² s¹ ζ #

pattern 𝒥 :: Expression' γ s² s¹ ζ #

pattern 𝒦 :: Expression' γ s² s¹ ζ #

pattern ℒ :: Expression' γ s² s¹ ζ #

pattern ℳ :: Expression' γ s² s¹ ζ #

pattern 𝒩 :: Expression' γ s² s¹ ζ #

pattern 𝒪 :: Expression' γ s² s¹ ζ #

pattern 𝒫 :: Expression' γ s² s¹ ζ #

pattern 𝒬 :: Expression' γ s² s¹ ζ #

pattern ℛ :: Expression' γ s² s¹ ζ #

pattern 𝒮 :: Expression' γ s² s¹ ζ #

pattern 𝒯 :: Expression' γ s² s¹ ζ #

pattern 𝒰 :: Expression' γ s² s¹ ζ #

pattern 𝒱 :: Expression' γ s² s¹ ζ #

pattern 𝒲 :: Expression' γ s² s¹ ζ #

pattern 𝒳 :: Expression' γ s² s¹ ζ #

pattern 𝒴 :: Expression' γ s² s¹ ζ #

pattern 𝒵 :: Expression' γ s² s¹ ζ #

pattern 𝔸 :: Expression' γ s² s¹ ζ #

pattern 𝔹 :: Expression' γ s² s¹ ζ #

pattern ℂ :: Expression' γ s² s¹ ζ #

pattern 𝔻 :: Expression' γ s² s¹ ζ #

pattern 𝔼 :: Expression' γ s² s¹ ζ #

pattern 𝔽 :: Expression' γ s² s¹ ζ #

pattern 𝔾 :: Expression' γ s² s¹ ζ #

pattern ℍ :: Expression' γ s² s¹ ζ #

pattern 𝕀 :: Expression' γ s² s¹ ζ #

pattern 𝕁 :: Expression' γ s² s¹ ζ #

pattern 𝕂 :: Expression' γ s² s¹ ζ #

pattern 𝕃 :: Expression' γ s² s¹ ζ #

pattern 𝕄 :: Expression' γ s² s¹ ζ #

pattern ℕ :: Expression' γ s² s¹ ζ #

pattern 𝕆 :: Expression' γ s² s¹ ζ #

pattern ℚ :: Expression' γ s² s¹ ζ #

pattern ℝ :: Expression' γ s² s¹ ζ #

pattern 𝕊 :: Expression' γ s² s¹ ζ #

pattern 𝕋 :: Expression' γ s² s¹ ζ #

pattern 𝕌 :: Expression' γ s² s¹ ζ #

pattern 𝕍 :: Expression' γ s² s¹ ζ #

pattern 𝕎 :: Expression' γ s² s¹ ζ #

pattern 𝕏 :: Expression' γ s² s¹ ζ #

pattern 𝕐 :: Expression' γ s² s¹ ζ #

pattern ℤ :: Expression' γ s² s¹ ζ #

pattern 𝐀 :: Expression' γ s² s¹ ζ #

pattern 𝐁 :: Expression' γ s² s¹ ζ #

pattern 𝐂 :: Expression' γ s² s¹ ζ #

pattern 𝐃 :: Expression' γ s² s¹ ζ #

pattern 𝐄 :: Expression' γ s² s¹ ζ #

pattern 𝐅 :: Expression' γ s² s¹ ζ #

pattern 𝐆 :: Expression' γ s² s¹ ζ #

pattern 𝐇 :: Expression' γ s² s¹ ζ #

pattern 𝐈 :: Expression' γ s² s¹ ζ #

pattern 𝐉 :: Expression' γ s² s¹ ζ #

pattern 𝐊 :: Expression' γ s² s¹ ζ #

pattern 𝐋 :: Expression' γ s² s¹ ζ #

pattern 𝐌 :: Expression' γ s² s¹ ζ #

pattern 𝐍 :: Expression' γ s² s¹ ζ #

pattern 𝐎 :: Expression' γ s² s¹ ζ #

pattern 𝐏 :: Expression' γ s² s¹ ζ #

pattern 𝐐 :: Expression' γ s² s¹ ζ #

pattern 𝐑 :: Expression' γ s² s¹ ζ #

pattern 𝐒 :: Expression' γ s² s¹ ζ #

pattern 𝐓 :: Expression' γ s² s¹ ζ #

pattern 𝐔 :: Expression' γ s² s¹ ζ #

pattern 𝐕 :: Expression' γ s² s¹ ζ #

pattern 𝐖 :: Expression' γ s² s¹ ζ #

pattern 𝐗 :: Expression' γ s² s¹ ζ #

pattern 𝐘 :: Expression' γ s² s¹ ζ #

pattern 𝐙 :: Expression' γ s² s¹ ζ #

pattern 𝐴 :: Expression' γ s² s¹ ζ #

pattern 𝐵 :: Expression' γ s² s¹ ζ #

pattern 𝐶 :: Expression' γ s² s¹ ζ #

pattern 𝐷 :: Expression' γ s² s¹ ζ #

pattern 𝐸 :: Expression' γ s² s¹ ζ #

pattern 𝐹 :: Expression' γ s² s¹ ζ #

pattern 𝐺 :: Expression' γ s² s¹ ζ #

pattern 𝐻 :: Expression' γ s² s¹ ζ #

pattern 𝐼 :: Expression' γ s² s¹ ζ #

pattern 𝐽 :: Expression' γ s² s¹ ζ #

pattern 𝐾 :: Expression' γ s² s¹ ζ #

pattern 𝐿 :: Expression' γ s² s¹ ζ #

pattern 𝑀 :: Expression' γ s² s¹ ζ #

pattern 𝑁 :: Expression' γ s² s¹ ζ #

pattern 𝑂 :: Expression' γ s² s¹ ζ #

pattern 𝑃 :: Expression' γ s² s¹ ζ #

pattern 𝑄 :: Expression' γ s² s¹ ζ #

pattern 𝑅 :: Expression' γ s² s¹ ζ #

pattern 𝑆 :: Expression' γ s² s¹ ζ #

pattern 𝑇 :: Expression' γ s² s¹ ζ #

pattern 𝑈 :: Expression' γ s² s¹ ζ #

pattern 𝑉 :: Expression' γ s² s¹ ζ #

pattern 𝑊 :: Expression' γ s² s¹ ζ #

pattern 𝑋 :: Expression' γ s² s¹ ζ #

pattern 𝑌 :: Expression' γ s² s¹ ζ #

pattern 𝑍 :: Expression' γ s² s¹ ζ #

𝔷 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔶 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔵 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔴 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔳 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔲 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔱 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔰 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔯 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔮 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔭 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔬 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔫 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔪 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔩 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔨 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔧 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔤 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔣 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔡 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔠 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝔞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ω :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ψ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

χ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

φ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ϕ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

υ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

τ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ς :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

σ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ϱ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ρ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

π :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ο :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ξ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ν :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

μ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

λ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

κ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ι :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ϑ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

θ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

η :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ζ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ε :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

δ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

γ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

β :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

α :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐳 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐲 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐱 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐰 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐯 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐮 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐭 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐬 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐫 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐪 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐩 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐨 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐧 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐤 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐣 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐡 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐠 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐝 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝐚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑧 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑤 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑣 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑡 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑠 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑝 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑙 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑘 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑗 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑖 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

ℎ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑔 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑓 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑒 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑑 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑏 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

𝑎 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ #

data Unicode_MathLatin_RomanGreek__BopomofoGaps #

Instances

Instances details
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Associated Types

type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps :: Type -> Constraint #

Methods

fromCharSymbol :: (Functor p, SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps c) => p Unicode_MathLatin_RomanGreek__BopomofoGaps -> Char -> c #

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Expression c -> ShowS #

show :: Expression c -> String #

showList :: [Expression c] -> ShowS #

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Pattern c -> ShowS #

show :: Pattern c -> String #

showList :: [Pattern c] -> ShowS #

Unwieldy c => Unwieldy (Symbol c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

unwieldiness :: Symbol c -> Unwieldiness #

type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps = UnicodeSymbols

type Symbol = SymbolD Unicode_MathLatin_RomanGreek__BopomofoGaps #

type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c) #

type Expression c = Expression' Void (Infix c) (Encapsulation c) c #

type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c #

normaliseSymbols :: (SymbolClass σ, SCConstraint σ c) => CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c) #

showsPrecUnicodeSymbol :: (UnicodeSymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS #

showsPrecASCIISymbol :: (ASCIISymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS #

renderSymbolExpression :: (SymbolClass σ, SCConstraint σ c, HasCallStack) => ContextFixity -> RenderingCombinator σ c r -> AlgebraExpr σ c -> r #

expressionFixity :: AlgebraExpr σ c -> Maybe Fixity #

symbolFunction :: Monoid s¹ => s¹ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ #

symbolInfix #

Arguments

:: s²

The operator we want to describe

-> CAS' γ s² s¹ s⁰ 
-> CAS' γ s² s¹ s⁰ 
-> CAS' γ s² s¹ s⁰ 

don'tParenthesise :: Monoid s¹ => CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ #

data SymbolD σ c #

Constructors

NatSymbol !Integer 
PrimitiveSymbol Char 
StringSymbol c 

Instances

Instances details
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Expression c -> ShowS #

show :: Expression c -> String #

showList :: [Expression c] -> ShowS #

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Pattern c -> ShowS #

show :: Pattern c -> String #

showList :: [Pattern c] -> ShowS #

Unwieldy c => Unwieldy (Symbol c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

unwieldiness :: Symbol c -> Unwieldiness #

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

Defined in Math.LaTeX.Internal.MathExpr

Methods

zeroV :: LaTeXMath σ #

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

negateV :: LaTeXMath σ -> LaTeXMath σ #

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

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

Defined in Math.LaTeX.Internal.MathExpr

Methods

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

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

Defined in Math.LaTeX.Internal.MathExpr

Associated Types

type Scalar (LaTeXMath σ) #

Methods

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

(SymbolClass σ, SCConstraint σ c, Eq c) => Eq (SymbolD σ c) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(==) :: SymbolD σ c -> SymbolD σ c -> Bool #

(/=) :: SymbolD σ c -> SymbolD σ c -> Bool #

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

Defined in Math.LaTeX.Internal.MathExpr

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

Defined in Math.LaTeX.Internal.MathExpr

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

Defined in Math.LaTeX.Internal.MathExpr

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

(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

pi :: AlgebraExpr' γ σ String #

exp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

sqrt :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(**) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

logBase :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

sin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

cos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

tan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

asin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

acos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

atan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

sinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

cosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

tanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

asinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

acosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

atanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log1p :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

expm1 :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log1pexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log1mexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(+) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(-) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(*) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

negate :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

abs :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

signum :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

fromInteger :: Integer -> AlgebraExpr' γ σ String #

(SymbolClass σ, SCConstraint σ String) => Fractional (AlgebraExpr' γ σ String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

fromRational :: Rational -> AlgebraExpr' γ σ String #

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

Defined in Math.LaTeX.StringLiterals

Methods

fromString :: String -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

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

Defined in CAS.Dumb.LaTeX.Symbols

Methods

pi :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

exp :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

sqrt :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

(**) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

logBase :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

sin :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

cos :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

tan :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

asin :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

acos :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

atan :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

sinh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

cosh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

tanh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

asinh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

acosh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

atanh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log1p :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

expm1 :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log1pexp :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log1mexp :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

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

Defined in CAS.Dumb.LaTeX.Symbols

Methods

(+) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

(-) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

(*) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

negate :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

abs :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

signum :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

fromInteger :: Integer -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

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

Defined in CAS.Dumb.LaTeX.Symbols

Methods

(/) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

recip :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

fromRational :: Rational -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

type Scalar (LaTeXMath σ) Source # 
Instance details

Defined in Math.LaTeX.Internal.MathExpr

type Scalar (LaTeXMath σ) = LaTeXMath σ

data Infix s #

Constructors

Infix 

Fields

Instances

Instances details
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Expression c -> ShowS #

show :: Expression c -> String #

showList :: [Expression c] -> ShowS #

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Pattern c -> ShowS #

show :: Pattern c -> String #

showList :: [Pattern c] -> ShowS #

Eq s => Eq (Infix s) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(==) :: Infix s -> Infix s -> Bool #

(/=) :: Infix s -> Infix s -> Bool #

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

Defined in Math.LaTeX.Internal.MathExpr

Methods

zeroV :: LaTeXMath σ #

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

negateV :: LaTeXMath σ -> LaTeXMath σ #

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

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

Defined in Math.LaTeX.Internal.MathExpr

Methods

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

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

Defined in Math.LaTeX.Internal.MathExpr

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

Defined in Math.LaTeX.Internal.MathExpr

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

Defined in Math.LaTeX.Internal.MathExpr

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

Defined in Math.LaTeX.Internal.MathExpr

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

(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

pi :: AlgebraExpr' γ σ String #

exp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

sqrt :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(**) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

logBase :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

sin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

cos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

tan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

asin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

acos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

atan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

sinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

cosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

tanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

asinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

acosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

atanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log1p :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

expm1 :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log1pexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log1mexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(+) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(-) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(*) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

negate :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

abs :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

signum :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

fromInteger :: Integer -> AlgebraExpr' γ σ String #

(SymbolClass σ, SCConstraint σ String) => Fractional (AlgebraExpr' γ σ String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

fromRational :: Rational -> AlgebraExpr' γ σ String #

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

Defined in Math.LaTeX.StringLiterals

Methods

fromString :: String -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

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

Defined in CAS.Dumb.LaTeX.Symbols

Methods

pi :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

exp :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

sqrt :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

(**) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

logBase :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

sin :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

cos :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

tan :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

asin :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

acos :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

atan :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

sinh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

cosh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

tanh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

asinh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

acosh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

atanh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log1p :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

expm1 :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log1pexp :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log1mexp :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

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

Defined in CAS.Dumb.LaTeX.Symbols

Methods

(+) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

(-) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

(*) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

negate :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

abs :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

signum :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

fromInteger :: Integer -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

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

Defined in CAS.Dumb.LaTeX.Symbols

Methods

(/) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

recip :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

fromRational :: Rational -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

type Scalar (LaTeXMath σ) Source # 
Instance details

Defined in Math.LaTeX.Internal.MathExpr

type Scalar (LaTeXMath σ) = LaTeXMath σ

type family SpecialEncapsulation s #

Instances

Instances details
type SpecialEncapsulation LaTeX Source # 
Instance details

Defined in CAS.Dumb.LaTeX.Symbols

type SpecialEncapsulation LaTeX
type SpecialEncapsulation String 
Instance details

Defined in CAS.Dumb.Symbols

type SpecialEncapsulation String = AlgebraicInvEncapsulation

data Encapsulation s #

Constructors

Encapsulation 

Fields

SpecialEncapsulation (SpecialEncapsulation s) 

Instances

Instances details
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Expression c -> ShowS #

show :: Expression c -> String #

showList :: [Expression c] -> ShowS #

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Pattern c -> ShowS #

show :: Pattern c -> String #

showList :: [Pattern c] -> ShowS #

Eq (Encapsulation LaTeX) Source # 
Instance details

Defined in CAS.Dumb.LaTeX.Symbols

Methods

(==) :: Encapsulation LaTeX -> Encapsulation LaTeX -> Bool #

(/=) :: Encapsulation LaTeX -> Encapsulation LaTeX -> Bool #

Eq (Encapsulation String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(==) :: Encapsulation String -> Encapsulation String -> Bool #

(/=) :: Encapsulation String -> Encapsulation String -> Bool #

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

Defined in Math.LaTeX.Internal.MathExpr

Methods

zeroV :: LaTeXMath σ #

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

negateV :: LaTeXMath σ -> LaTeXMath σ #

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

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

Defined in Math.LaTeX.Internal.MathExpr

Methods

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

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

Defined in Math.LaTeX.Internal.MathExpr

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

Defined in Math.LaTeX.Internal.MathExpr

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

Defined in Math.LaTeX.Internal.MathExpr

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

Defined in Math.LaTeX.Internal.MathExpr

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

(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

pi :: AlgebraExpr' γ σ String #

exp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

sqrt :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(**) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

logBase :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

sin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

cos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

tan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

asin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

acos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

atan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

sinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

cosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

tanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

asinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

acosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

atanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log1p :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

expm1 :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log1pexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

log1mexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(+) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(-) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

(*) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

negate :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

abs :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

signum :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

fromInteger :: Integer -> AlgebraExpr' γ σ String #

(SymbolClass σ, SCConstraint σ String) => Fractional (AlgebraExpr' γ σ String) 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #

fromRational :: Rational -> AlgebraExpr' γ σ String #

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

Defined in Math.LaTeX.StringLiterals

Methods

fromString :: String -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

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

Defined in CAS.Dumb.LaTeX.Symbols

Methods

pi :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

exp :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

sqrt :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

(**) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

logBase :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

sin :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

cos :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

tan :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

asin :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

acos :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

atan :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

sinh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

cosh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

tanh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

asinh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

acosh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

atanh :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log1p :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

expm1 :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log1pexp :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

log1mexp :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

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

Defined in CAS.Dumb.LaTeX.Symbols

Methods

(+) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

(-) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

(*) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

negate :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

abs :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

signum :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

fromInteger :: Integer -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

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

Defined in CAS.Dumb.LaTeX.Symbols

Methods

(/) :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

recip :: CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

fromRational :: Rational -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

type Scalar (LaTeXMath σ) Source # 
Instance details

Defined in Math.LaTeX.Internal.MathExpr

type Scalar (LaTeXMath σ) = LaTeXMath σ

type AlgebraExpr σ l = CAS (Infix l) (Encapsulation l) (SymbolD σ l) #

type AlgebraExpr' γ σ l = CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) #

type AlgebraPattern σ l = AlgebraExpr' GapId σ l #

data AlgebraicInvEncapsulation #

Constructors

Negation 
Reciprocal 

Instances

Instances details
Show AlgebraicInvEncapsulation 
Instance details

Defined in CAS.Dumb.Symbols

Methods

showsPrec :: Int -> AlgebraicInvEncapsulation -> ShowS #

show :: AlgebraicInvEncapsulation -> String #

showList :: [AlgebraicInvEncapsulation] -> ShowS #

Eq AlgebraicInvEncapsulation 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(==) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool #

(/=) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool #

class ASCIISymbols c where #

Methods

fromASCIISymbol :: Char -> c #

toASCIISymbols :: c -> String #

Instances

Instances details
ASCIISymbols LaTeX Source # 
Instance details

Defined in CAS.Dumb.LaTeX.Symbols

Methods

fromASCIISymbol :: Char -> LaTeX #

toASCIISymbols :: LaTeX -> String #

ASCIISymbols String 
Instance details

Defined in CAS.Dumb.Symbols

Methods

fromASCIISymbol :: Char -> String #

toASCIISymbols :: String -> String #

class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where #

Methods

fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ c) => CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) -> CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) #

Instances

Instances details
RenderableEncapsulations LaTeX Source # 
Instance details

Defined in CAS.Dumb.LaTeX.Symbols

Methods

fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) #

RenderableEncapsulations String 
Instance details

Defined in CAS.Dumb.Symbols

Methods

fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ String) => CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) -> CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) #

type RenderingCombinator σ c r #

Arguments

 = Bool

Should the result be parenthesised?

-> Maybe r

Left context

-> SymbolD σ c

Central expressionfunctioninfix to render

-> Maybe r

Right context

-> r

Rendering result

data ContextFixity #

Constructors

AtLHS Fixity 
AtRHS Fixity 
AtFunctionArgument 

Instances

Instances details
Eq ContextFixity 
Instance details

Defined in CAS.Dumb.Symbols

Methods

(==) :: ContextFixity -> ContextFixity -> Bool #

(/=) :: ContextFixity -> ContextFixity -> Bool #

class UnicodeSymbols c where #

Methods

fromUnicodeSymbol :: Char -> c #

toUnicodeSymbols :: c -> String #

Instances

Instances details
UnicodeSymbols LaTeX Source # 
Instance details

Defined in CAS.Dumb.LaTeX.Symbols

Methods

fromUnicodeSymbol :: Char -> LaTeX #

toUnicodeSymbols :: LaTeX -> String #

UnicodeSymbols String 
Instance details

Defined in CAS.Dumb.Symbols

Methods

fromUnicodeSymbol :: Char -> String #

toUnicodeSymbols :: String -> String #

type family SCConstraint σ :: Type -> Constraint #

Instances

Instances details
type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps = UnicodeSymbols

class SymbolClass σ where #

Associated Types

type SCConstraint σ :: Type -> Constraint #

Methods

fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c #

Instances

Instances details
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps 
Instance details

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Associated Types

type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps :: Type -> Constraint #

Methods

fromCharSymbol :: (Functor p, SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps c) => p Unicode_MathLatin_RomanGreek__BopomofoGaps -> Char -> c #

This module offers a “WYSiWYG” style, with italic Unicode math symbols (U+1d44e 𝑎 - U+1d467 𝑧) coming out as standard italic symbols \(a\) - \(z\), bold Unicode math symbols (U+1d41a 𝐚 - U+1d433 𝐳) coming out as bold \(\mathbf{a}\) - \(\mathbf{z}\) and so on. Greek letters can be used from the standard block (U+3b1 α → \(\alpha\) - U+3c9 ω → \(\omega\)). All of this also works for uppercase letters (it circumvents Haskell syntax restrictions by using the PatternSynonyms extension).

Upright (roman) symbols are not directly supported, but if you import Math.LaTeX.StringLiterals they can be written as strings.

Example: 𝑎 + 𝐛 + 𝐶 + "D" + ε + Φ ∈ ℝ is rendered as \(a + \mathbf{b} + C + \text{D} + \varepsilon + \Phi \in \mathbb{R}\).

The Bopomofo symbols here are not exported for use in documents but for Algebraic manipulation.

type LaTeXMath__MathLatin_RomanGreek__BopomofoGaps = CAS (Infix LaTeX) (Encapsulation LaTeX) (Symbol LaTeX) Source #

Custom symbol-literals

If you prefer using instead e.g. ASCII letters A - z for simple symbols \(A\) - \(z\), use this import list:

import Math.LaTeX.Prelude hiding ((>$), (<>$))
import Math.LaTeX.Internal.Display ((>$), (<>$))
import CAS.Dumb.Symbols.ASCII

We give no guarantee that this will work without name clashes or type ambiguities.

Symbol modifiers

(%$>) :: (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c') infixl 4 #

Transform the symbols of an expression, in their underlying representation.

(map succ%$> 𝑎+𝑝) * 𝑥  ≡  (𝑏+𝑞) * 𝑥

Note that this can not be used with number literals.

prime :: LaTeXC l => l -> l Source #

dot :: LaTeXC l => l -> l #

Add a dot accent above a symbol, as used to denote a derivative, like \(\dot{x}\).

ddot :: LaTeXC l => l -> l #

Add a dot accent above a symbol, as used to denote a second derivative, like \(\ddot{y}\)

bar :: LaTeXC l => l -> l #

Add a bar accent above a symbol, like \(\bar{z}\).

hat :: LaTeXC l => l -> l #

Add a hat accent above a symbol, like \(\hat{x}\).

vec :: LaTeXC l => l -> l #

Add a vector arrow accent above a symbol, like \(\vec{v}\).

underline :: LaTeXC l => l -> l #

tilde :: LaTeXC l => l -> l #

Add a tilde accent above a symbol, like \(\tilde{y}\).

Maths operators

(☾) :: MathsInfix infixl 7 Source #

(☽) :: MathsInfix infixr 7 Source #

(°) :: MathsInfix infixl 7 Source #

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

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

(⁀) :: MathsInfix infixr 9 Source #

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

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

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

(⍪) :: MathsInfix infixr 0 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 infixl 4 Source #

(=⸪) :: MathsInfix infixl 4 Source #

(÷=) :: MathsInfix infixl 4 Source #

(=÷) :: MathsInfix infixl 4 Source #

(␣) :: MathsInfix infixr 0 Source #

(+..+) :: MathsInfix infixl 6 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 #

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

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

(<⍪>) :: MathsInfix infix 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 9 Source #

(◝⁀) :: MathsInfix infixr 9 Source #

Deprecated: Use manual parenthesization

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

(|◞) :: 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) 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 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 8 Source #

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

(╰─┬─╯) :: MathsInfix 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 infixr 3 Source #

(∪) :: MathsInfix infixr 2 Source #

(⊎) :: MathsInfix infixr 2 Source #

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

(÷) :: MathsInfix Source #

(⸪) :: MathsInfix infixr 5 Source #

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

(⊕) :: MathsInfix infixl 6 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 infixr 5 Source #

(←-) :: MathsInfix infixr 5 Source #

(↦) :: MathsInfix infixl 4 Source #

(↪) :: MathsInfix infixr 5 Source #

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

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

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

(∧) :: MathsInfix infixr 3 Source #

(∨) :: MathsInfix infixr 3 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 #

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

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

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

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

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

(<.<) :: MathsInfix infix 5 Source #

(≤.<) :: MathsInfix infix 5 Source #

(<.≤) :: MathsInfix infix 5 Source #

(≤.≤) :: MathsInfix infix 5 Source #

(±) :: MathsInfix infixl 6 Source #

(∓) :: MathsInfix infixl 6 Source #

set :: 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 #

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 #

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

norm :: 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 #

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 #

Algebraic manipulation

(&~~!) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l infixl 1 #

Apply a sequence of pattern-transformations and yield the result concatenated to the original via the corresponding chain-operator. Because only the rightmost expression in a chain is processed, this can be iterated, giving a chain of intermediate results.

If one of the patterns does not match, this manipulator will raise an error.

(&~~:) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l infixl 1 #

Apply a sequence of pattern-transformations, each in every spot possible, and yield the result concatenated to the original via the corresponding chain-operator. Because only the rightmost expression in a chain is processed, this can be iterated, giving a chain of intermediate results.

continueExpr #

Arguments

:: (Eq l, Monoid l) 
=> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l)

Combinator to use for chaining the new expression to the old ones

-> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l)

Transformation to apply to the rightmost expression in the previous chain

-> AlgebraExpr' γ σ l

Transformation which appends the result.

-> AlgebraExpr' γ σ l 

(&) :: a -> (a -> b) -> b infixl 1 #

& is a reverse application operator. This provides notational convenience. Its precedence is one higher than that of the forward application operator $, which allows & to be nested in $.

>>> 5 & (+1) & show
"6"

Since: base-4.8.0.0

(&~:) :: (Eq s⁰, Eq s¹, Eq s²) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> CAS s² s¹ s⁰ infixl 1 #

expr &~: pat :=: rep replaces every occurence of pat within expr with rep.

For example, 𝑎·𝑏 − 𝑐·𝑑 &~: ㄅ·ㄘ :=: ㄘ·ㄅ yields 𝑏·𝑎 − 𝑑·𝑐.

(&~?) :: (Eq s⁰, Eq s¹, Eq s²) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> [CAS s² s¹ s⁰] infixl 1 #

expr &~? pat :=: rep gives every possible way pat can be replaced exactly once within expr.

For example, 𝑎·𝑏 − 𝑐·𝑑 &~? ㄅ·ㄘ :=: ㄘ·ㄅ yields [𝑏·𝑎 − 𝑐·𝑑, 𝑎·𝑏 − 𝑑·𝑐].

(&~!) :: (Eq s⁰, Eq s¹, Eq s², Show (CAS s² s¹ s⁰), Show (CAS' GapId s² s¹ s⁰)) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> CAS s² s¹ s⁰ infixl 1 #

expr &~! pat :=: rep replaces pat exactly once in expr. If this is not possible, an error is raised. If multiple occurences match, the leftmost is preferred.

(|->) :: CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ -> Equality' γ s² s¹ s⁰ infix 2 Source #

Use in documents

($<>) :: LaTeXC r => LaTeXMath__MathLatin_RomanGreek__BopomofoGaps -> 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."

This will be rendered as: If \(a\) and \(b\) are the lengths of the legs and \(c\) of the cathete of a right triangle, then \(a^2+b^2=c^2\) holds.

(>$) :: LaTeXC r => r -> LaTeXMath__MathLatin_RomanGreek__BopomofoGaps -> 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."

Note: these versions of the $<> and >$ operators have a signature that's monomorphic to unicode symbol-literals. (This restriction is to avoid ambiguous types when writing maths without any symbols in it, like simply embedding a fraction in inline text.) See Custom literals if this is a problem for you.

dmaths Source #

Arguments

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

maths Source #

Arguments

:: (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.

equations Source #

Arguments

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

dcalculation Source #

Arguments

:: (LaTeXC (m ()), LaTeXSymbol σ, Functor m) 
=> LaTeXMath σ

Computation chain to display.

-> String

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

-> m (LaTeXMath σ)

Yield the rightmost expression in the displayed computation (i.e. usually the final result in a chain of algebraic equalities).

Display an equation and also extract the final result. As with dmaths, automatic line breaks are inserted by breqn.

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