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

CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Contents

“Constant variable” symbols
- Lowercase letters
- Uppercase letters
Pattern-matching variable symbols
Auxiliary

Description

This module contains a collection of symbols that should be sufficient for usage in most algebra applications. It avoids polluting the namespace with single-letter variables (which are often used as local variables, leading to shadowing issues), by replacing also the Latin letters with less common Unicode symbols. If you're not concerned with this and prefer symbols that can directly be entered on any Western keyboard, use the CAS.Dumb.Symbols.ASCII module instead.

Synopsis

class SymbolClass σ where
- type SCConstraint σ :: * -> Constraint
- fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c
class UnicodeSymbols c where
- fromUnicodeSymbol :: Char -> c
- toUnicodeSymbols :: c -> String
data ContextFixity
- = AtLHS Fixity
- | AtRHS Fixity
- | AtFunctionArgument
type RenderingCombinator σ c r = Bool -> Maybe r -> SymbolD σ c -> Maybe r -> r
class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where
- fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ c) => CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) -> CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c)
class ASCIISymbols c where
- fromASCIISymbol :: Char -> c
- toASCIISymbols :: c -> String
data AlgebraicInvEncapsulation
- = Negation
- | Reciprocal
type AlgebraPattern σ l = AlgebraExpr' GapId σ l
type AlgebraExpr' γ σ l = CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
type AlgebraExpr σ l = CAS (Infix l) (Encapsulation l) (SymbolD σ l)
data Encapsulation s
- = Encapsulation {
  - needInnerParens, haveOuterparens :: !Bool
  - leftEncaps, rightEncaps :: !s
  }
- | SpecialEncapsulation (SpecialEncapsulation s)
type family SpecialEncapsulation s
data Infix s = Infix {
- symbolFixity :: !Fixity
- infixSymbox :: !s
}
data SymbolD σ c
- = NatSymbol !Integer
- | PrimitiveSymbol Char
- | StringSymbol c
don'tParenthesise :: Monoid s¹ => CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰
symbolInfix :: s² -> CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰
symbolFunction :: Monoid s¹ => s¹ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰
expressionFixity :: AlgebraExpr σ c -> Maybe Fixity
renderSymbolExpression :: forall σ c r. (SymbolClass σ, SCConstraint σ c, HasCallStack) => ContextFixity -> RenderingCombinator σ c r -> AlgebraExpr σ c -> r
showsPrecASCIISymbol :: (ASCIISymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS
showsPrecUnicodeSymbol :: (UnicodeSymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS
normaliseSymbols :: forall σ c γ s² s¹. (SymbolClass σ, SCConstraint σ c) => CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c)
(%$>) :: forall σ c c' γ s² s¹. (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c')
data Unicode_MathLatin_RomanGreek__BopomofoGaps
type Symbol = SymbolD Unicode_MathLatin_RomanGreek__BopomofoGaps
type Expression c = Expression' Void (Infix c) (Encapsulation c) c
type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c
𝑎 :: 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¹ ζ
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¹ ζ
ㄅ :: 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⁰
type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c)

Documentation

class SymbolClass σ where Source #

Associated Types

type SCConstraint σ :: * -> Constraint Source #

Methods

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

Instances

Instances details

SymbolClass ASCII Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Associated Types type SCConstraint ASCII :: Type -> Constraint Source # Methods fromCharSymbol :: (Functor p, SCConstraint ASCII c) => p ASCII -> Char -> c Source #
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Associated Types type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps :: Type -> Constraint Source # Methods fromCharSymbol :: (Functor p, SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps c) => p Unicode_MathLatin_RomanGreek__BopomofoGaps -> Char -> c Source #

class UnicodeSymbols c where Source #

Methods

fromUnicodeSymbol :: Char -> c Source #

toUnicodeSymbols :: c -> String Source #

Instances

Instances details

UnicodeSymbols String Source #
Instance details Defined in CAS.Dumb.Symbols Methods fromUnicodeSymbol :: Char -> String Source # toUnicodeSymbols :: String -> String Source #

data ContextFixity Source #

Constructors

AtLHS Fixity
AtRHS Fixity
AtFunctionArgument

Instances

Instances details

Eq ContextFixity Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: ContextFixity -> ContextFixity -> Bool # (/=) :: ContextFixity -> ContextFixity -> Bool #

type RenderingCombinator σ c r Source #

Arguments

= Bool	Should the result be parenthesised?
-> Maybe r	Left context
-> SymbolD σ c	Central expressionfunctioninfix to render
-> Maybe r	Right context
-> r	Rendering result

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

Methods

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

Instances

Instances details

RenderableEncapsulations String Source #
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) Source #

class ASCIISymbols c where Source #

Methods

fromASCIISymbol :: Char -> c Source #

toASCIISymbols :: c -> String Source #

Instances

Instances details

ASCIISymbols String Source #
Instance details Defined in CAS.Dumb.Symbols Methods fromASCIISymbol :: Char -> String Source # toASCIISymbols :: String -> String Source #

data AlgebraicInvEncapsulation Source #

Constructors

Negation
Reciprocal

Instances

Instances details

Show AlgebraicInvEncapsulation Source #
Instance details Defined in CAS.Dumb.Symbols Methods showsPrec :: Int -> AlgebraicInvEncapsulation -> ShowS # show :: AlgebraicInvEncapsulation -> String # showList :: [AlgebraicInvEncapsulation] -> ShowS #
Eq AlgebraicInvEncapsulation Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool # (/=) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool #

type AlgebraPattern σ l = AlgebraExpr' GapId σ l Source #

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

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

data Encapsulation s Source #

Constructors

Encapsulation
Fields needInnerParens, haveOuterparens :: !Bool leftEncaps, rightEncaps :: !s
SpecialEncapsulation (SpecialEncapsulation s)

Instances

Instances details

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
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) Source #
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 String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: Encapsulation String -> Encapsulation String -> Bool # (/=) :: Encapsulation String -> Encapsulation String -> Bool #
(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) Source #
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) Source #
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) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromRational :: Rational -> AlgebraExpr' γ σ String #
(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #
(ASCIISymbols c, RenderableEncapsulations c, Monoid c) => Show (CAS' GapId (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #

type family SpecialEncapsulation s Source #

Instances

Instances details

type SpecialEncapsulation String Source #
Instance details Defined in CAS.Dumb.Symbols type SpecialEncapsulation String = AlgebraicInvEncapsulation

data Infix s Source #

Constructors

Infix
Fields symbolFixity :: !Fixity infixSymbox :: !s

Instances

Instances details

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
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) Source #
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) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: Infix s -> Infix s -> Bool # (/=) :: Infix s -> Infix s -> Bool #
(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) Source #
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) Source #
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) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromRational :: Rational -> AlgebraExpr' γ σ String #
(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #
(ASCIISymbols c, RenderableEncapsulations c, Monoid c) => Show (CAS' GapId (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #

data SymbolD σ c Source #

Constructors

NatSymbol !Integer
PrimitiveSymbol Char
StringSymbol c

Instances

Instances details

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
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) Source #
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) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods unwieldiness :: Symbol c -> Unwieldiness Source #
Unwieldy c => Unwieldy (Symbol c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods unwieldiness :: Symbol c -> Unwieldiness Source #
(SymbolClass σ, SCConstraint σ c, Eq c) => Eq (SymbolD σ c) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: SymbolD σ c -> SymbolD σ c -> Bool # (/=) :: SymbolD σ c -> SymbolD σ c -> Bool #
(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) Source #
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) Source #
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) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromRational :: Rational -> AlgebraExpr' γ σ String #
(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #
(ASCIISymbols c, RenderableEncapsulations c, Monoid c) => Show (CAS' GapId (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #

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

symbolInfix Source #

Arguments

:: s²	The operator we want to describe
-> CAS' γ s² s¹ s⁰
-> CAS' γ s² s¹ s⁰
-> CAS' γ s² s¹ s⁰

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

expressionFixity :: AlgebraExpr σ c -> Maybe Fixity Source #

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

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

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

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

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

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

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

Note that this can not be used with number literals.

data Unicode_MathLatin_RomanGreek__BopomofoGaps Source #

Instances

Instances details

SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Associated Types type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps :: Type -> Constraint Source # Methods fromCharSymbol :: (Functor p, SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps c) => p Unicode_MathLatin_RomanGreek__BopomofoGaps -> Char -> c Source #
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
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) Source #
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) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods unwieldiness :: Symbol c -> Unwieldiness Source #
type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps Source #
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 Source #

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

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

“Constant variable” symbols

Lowercase letters

Unicode mathematical italic letters. Italic is the default way maths symbols appear in e.g. LaTeX-rendered documents, thus it makes sense to use them here.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bold

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Fraktur

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Greek

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Uppercase letters

These are only available in GHC>8.2. The ability to use uppercase letters as variables hinges on a hack using GHC's still recent pattern synonyms feature.

You can use the CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek.Qualified module if this causes you any trouble; there, all symbols are prefixed with sym and therefore the uppercase ones are still normal lowercase names in the Haskell code.

Italic

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bold

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Blackboard (LaTeX subset)

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

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

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

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

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

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

Blackboard (nonstandard)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Script

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Calligraphic / bold-script

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Fraktur

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Greek (LaTeX subset)

These are the uppercase greek letters that don't have latin lookalikes. Only these are supported in LaTeX, so for doing maths it's probably best to stick to this subset.

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

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

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

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

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

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

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

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

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

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

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

Greek (Latin-lookalike)

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

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

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

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

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

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

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

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

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

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

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

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

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

Pattern-matching variable symbols

Using a non-European alphabet such as Bopomofo for Gaps (which are always only temporary placeholders that, unlike Symbols, should never appear in any program output) has the advantage of keeping the namespace clean and avoiding ambiguities.

Most of these symbols can easily be entered as Vim digraphs, namely by combining a (latin) letter with the number 4. For instance, ctrl-k e 4 generates the symbol ㄜ U+311C BOPOMOFO LETTER E.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Auxiliary

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