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

CAS.Dumb.Symbols.ASCII.Qualified

Contents

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

Description

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.

Synopsis

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
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¹ ζ
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¹ ζ
type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c)

Documentation

module CAS.Dumb.Symbols

type Symbol = SymbolD ASCII Source #

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

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

“Constant variable” symbols

Lowercase letters

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Uppercase letters

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Auxiliary

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