Copyright | (c) Justus Sagemüller 2017 |
---|---|
License | GPL v3 |
Maintainer | (@) jsag $ hvl.no |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
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
- 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
- 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 #
(&~?) :: (Eq s⁰, Eq s¹, Eq s²) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> [CAS s² s¹ s⁰] infixl 1 Source #
(&~!) :: (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 #
(&~~!) :: (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.
:: (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
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 #
type SCConstraint σ :: * -> Constraint Source #
fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c Source #
Instances
SymbolClass ASCII Source # | |
Defined in CAS.Dumb.Symbols.ASCII type SCConstraint ASCII :: Type -> Constraint Source # fromCharSymbol :: (Functor p, SCConstraint ASCII c) => p ASCII -> Char -> c Source # | |
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps Source # | |
class UnicodeSymbols c where Source #
fromUnicodeSymbol :: Char -> c Source #
toUnicodeSymbols :: c -> String Source #
Instances
UnicodeSymbols String Source # | |
Defined in CAS.Dumb.Symbols fromUnicodeSymbol :: Char -> String Source # toUnicodeSymbols :: String -> String Source # |
data ContextFixity Source #
Instances
Eq ContextFixity Source # | |
Defined in CAS.Dumb.Symbols (==) :: ContextFixity -> ContextFixity -> Bool # (/=) :: ContextFixity -> ContextFixity -> Bool # |
type RenderingCombinator σ c r Source #
class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where Source #
fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ c) => CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) -> CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) Source #
Instances
RenderableEncapsulations String Source # | |
Defined in CAS.Dumb.Symbols fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ String) => CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) -> CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) Source # |
class ASCIISymbols c where Source #
fromASCIISymbol :: Char -> c Source #
toASCIISymbols :: c -> String Source #
Instances
ASCIISymbols String Source # | |
Defined in CAS.Dumb.Symbols fromASCIISymbol :: Char -> String Source # toASCIISymbols :: String -> String Source # |
data AlgebraicInvEncapsulation Source #
Instances
Show AlgebraicInvEncapsulation Source # | |
Defined in CAS.Dumb.Symbols showsPrec :: Int -> AlgebraicInvEncapsulation -> ShowS # show :: AlgebraicInvEncapsulation -> String # showList :: [AlgebraicInvEncapsulation] -> ShowS # | |
Eq AlgebraicInvEncapsulation Source # | |
Defined in CAS.Dumb.Symbols |
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
type SpecialEncapsulation String Source # | |
Defined in CAS.Dumb.Symbols |
symbolFixity :: Infix s -> Fixity Source #
infixSymbox :: Infix s -> s Source #
pattern StringSymbol :: c -> 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 #
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 #
data Unicode_MathLatin_RomanGreek__BopomofoGaps Source #
Instances
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps Source # | |
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source # | |
Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps showsPrec :: Int -> Expression c -> ShowS # show :: Expression c -> String # showList :: [Expression c] -> ShowS # | |
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) Source # | |
Unwieldy c => Unwieldy (Symbol c) Source # | |
Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps unwieldiness :: Symbol c -> Unwieldiness Source # | |
type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps 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 #
𝔷 :: 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 #
Types
Instances
Instances
Instances
data Encapsulation s Source #
Instances
Debugging
showStructure :: CAS' γ s² s¹ s⁰ -> String Source #
throwStructure :: CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ Source #