CAS.Dumb.Symbols.ASCII.Qualified

Single-letter variable symbols.

Defining such variables on the top level, while convenient for brevity, is a bit troublesome because such are often used as local variables in Haskell code. It is recommended to use CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps instead of this module.

Documentation

module CAS.Dumb.Symbols

type Symbol = SymbolD ASCII

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

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

“Constant variable” symbols

Lowercase letters

syma :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symb :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symc :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symd :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

syme :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symf :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symg :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symh :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symi :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symj :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symk :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

syml :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symm :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symn :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symo :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symp :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symq :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symr :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

syms :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symt :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symu :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symv :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symw :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symx :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symy :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symz :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

Uppercase letters

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

symA :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symB :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symC :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symD :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symE :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symF :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symG :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symH :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symI :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symJ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symK :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symL :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symM :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symN :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symO :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symP :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symQ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symR :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symS :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symT :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symU :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symV :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symW :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symX :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symY :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

symZ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

Auxiliary

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