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

Contents

Symbolic manipulation
Constructing equality axioms
Variable-symbols
Types
Debugging

Description

Synopsis

(&~:) :: (Eq s⁰, Eq s¹, Eq s²) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> CAS s² s¹ s⁰
(&~?) :: (Eq s⁰, Eq s¹, Eq s²) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> [CAS s² s¹ s⁰]
(&~!) :: (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⁰
(&~~!) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l
(&~~:) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l
continueExpr :: (Eq l, Monoid l) => (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) -> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l
data Equality' γ s² s¹ s⁰ = (:=:) !(CAS' γ s² s¹ s⁰) !(CAS' γ s² s¹ s⁰)
(%$>) :: forall σ c c' γ s² s¹. (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c')
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)
rightEncaps :: Encapsulation s -> s
leftEncaps :: Encapsulation s -> s
haveOuterparens :: Encapsulation s -> Bool
pattern SpecialEncapsulation :: SpecialEncapsulation s -> Encapsulation s
needInnerParens :: Encapsulation s -> Bool
type family SpecialEncapsulation s
symbolFixity :: Infix s -> Fixity
infixSymbox :: Infix s -> s
pattern StringSymbol :: c -> SymbolD σ c
pattern NatSymbol :: !Integer -> SymbolD σ c
pattern PrimitiveSymbol :: Char -> SymbolD σ 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)
type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c
type Expression c = Expression' Void (Infix c) (Encapsulation c) c
type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c)
type Symbol = SymbolD Unicode_MathLatin_RomanGreek__BopomofoGaps
data Unicode_MathLatin_RomanGreek__BopomofoGaps
𝑎 :: 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 CAS = CAS' Void
data CAS' γ s² s¹ s⁰
data SymbolD σ c
data Infix s
data Encapsulation s
showStructure :: CAS' γ s² s¹ s⁰ -> String
throwStructure :: CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰

Symbolic manipulation

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

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

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

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.

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

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

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

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 -> AlgebraExpr' γ σ l	Transformation which appends the result.

Constructing equality axioms

data Equality' γ s² s¹ s⁰ Source #

Constructors

(:=:) !(CAS' γ s² s¹ s⁰) !(CAS' γ s² s¹ s⁰) infixr 4

Variable-symbols

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

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 #

rightEncaps :: Encapsulation s -> s Source #

leftEncaps :: Encapsulation s -> s Source #

haveOuterparens :: Encapsulation s -> Bool Source #

pattern SpecialEncapsulation :: SpecialEncapsulation s -> Encapsulation s Source #

needInnerParens :: Encapsulation s -> Bool Source #

type family SpecialEncapsulation s Source #

Instances

Instances details

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

symbolFixity :: Infix s -> Fixity Source #

infixSymbox :: Infix s -> s Source #

pattern StringSymbol :: c -> SymbolD σ c Source #

pattern NatSymbol :: !Integer -> SymbolD σ c Source #

pattern PrimitiveSymbol :: Char -> SymbolD σ c Source #

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 #

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

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

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

type Symbol = SymbolD Unicode_MathLatin_RomanGreek__BopomofoGaps Source #

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

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

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

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

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

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 #

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 #

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 #

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 #

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 #

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 #

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 #

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

Types

type CAS = CAS' Void Source #

data CAS' γ s² s¹ s⁰ Source #

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 #
Functor (CAS' γ s² s¹) Source #
Instance details Defined in CAS.Dumb.Tree Methods fmap :: (a -> b) -> CAS' γ s² s¹ a -> CAS' γ s² s¹ b # (<$) :: a -> CAS' γ s² s¹ b -> CAS' γ s² s¹ a #
(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 #
(Unwieldy s², Unwieldy s¹, Unwieldy s⁰) => Unwieldy (CAS s² s¹ s⁰) Source #
Instance details Defined in CAS.Dumb.Tree Methods unwieldiness :: CAS s² s¹ s⁰ -> Unwieldiness Source #
Generic (CAS' γ s² s¹ s⁰) Source #
Instance details Defined in CAS.Dumb.Tree Associated Types type Rep (CAS' γ s² s¹ s⁰) :: Type -> Type # Methods from :: CAS' γ s² s¹ s⁰ -> Rep (CAS' γ s² s¹ s⁰) x # to :: Rep (CAS' γ s² s¹ s⁰) x -> CAS' γ s² s¹ s⁰ #
(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 #
(Eq s⁰, Eq s¹, Eq s², Eq γ) => Eq (CAS' γ s² s¹ s⁰) Source #
Instance details Defined in CAS.Dumb.Tree Methods (==) :: CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ -> Bool # (/=) :: CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ -> Bool #
(Hashable γ, Hashable s⁰, Hashable s¹, Hashable s²) => Hashable (CAS' γ s² s¹ s⁰) Source #
Instance details Defined in CAS.Dumb.Tree Methods hashWithSalt :: Int -> CAS' γ s² s¹ s⁰ -> Int # hash :: CAS' γ s² s¹ s⁰ -> Int #
type Rep (CAS' γ s² s¹ s⁰) Source #
Instance details Defined in CAS.Dumb.Tree type Rep (CAS' γ s² s¹ s⁰) = D1 ('MetaData "CAS'" "CAS.Dumb.Tree" "dumb-cas-0.2.1.1-G7WygwUPgyR6ewPuZTGis1" 'False) ((C1 ('MetaCons "Symbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 s⁰)) :+: C1 ('MetaCons "Function" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 s¹) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CAS' γ s² s¹ s⁰)))) :+: (C1 ('MetaCons "Operator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 s²) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CAS' γ s² s¹ s⁰)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CAS' γ s² s¹ s⁰)))) :+: (C1 ('MetaCons "OperatorChain" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CAS' γ s² s¹ s⁰)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(s², CAS' γ s² s¹ s⁰)])) :+: C1 ('MetaCons "Gap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 γ)))))

data SymbolD σ c Source #

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 #

data Infix s Source #

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 Encapsulation s Source #

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 #

Debugging

showStructure :: CAS' γ s² s¹ s⁰ -> String Source #

throwStructure :: CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ Source #