CAS.Dumb.Symbols.ASCII

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

data ASCII

Instances

SymbolClass ASCII

Defined in CAS.Dumb.Symbols.ASCII

Associated Types

type SCConstraint ASCII :: Type -> Constraint

Methods

fromCharSymbol :: (Functor p, SCConstraint ASCII c) => p ASCII -> Char -> c

Unwieldy c => Unwieldy (Symbol c)

Defined in CAS.Dumb.Symbols.ASCII

Methods

unwieldiness :: Symbol c -> Unwieldiness

(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c))

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))

Defined in CAS.Dumb.Symbols.ASCII

Methods

showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS

show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String

showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS

type SCConstraint ASCII

Defined in CAS.Dumb.Symbols.ASCII

type SCConstraint ASCII = ASCIISymbols

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

z :: 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.

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

pattern A :: Expression' γ s² s¹ ζ

pattern B :: Expression' γ s² s¹ ζ

pattern C :: Expression' γ s² s¹ ζ

pattern D :: Expression' γ s² s¹ ζ

pattern E :: Expression' γ s² s¹ ζ

pattern F :: Expression' γ s² s¹ ζ

pattern G :: Expression' γ s² s¹ ζ

pattern H :: Expression' γ s² s¹ ζ

pattern I :: Expression' γ s² s¹ ζ

pattern J :: Expression' γ s² s¹ ζ

pattern K :: Expression' γ s² s¹ ζ

pattern L :: Expression' γ s² s¹ ζ

pattern M :: Expression' γ s² s¹ ζ

pattern N :: Expression' γ s² s¹ ζ

pattern O :: Expression' γ s² s¹ ζ

pattern P :: Expression' γ s² s¹ ζ

pattern Q :: Expression' γ s² s¹ ζ

pattern R :: Expression' γ s² s¹ ζ

pattern S :: Expression' γ s² s¹ ζ

pattern T :: Expression' γ s² s¹ ζ

pattern U :: Expression' γ s² s¹ ζ

pattern V :: Expression' γ s² s¹ ζ

pattern W :: Expression' γ s² s¹ ζ

pattern X :: Expression' γ s² s¹ ζ

pattern Y :: Expression' γ s² s¹ ζ

pattern Z :: Expression' γ s² s¹ ζ

Pattern-matching variable symbols

_a :: CAS' GapId s² s¹ s⁰

_b :: CAS' GapId s² s¹ s⁰

_c :: CAS' GapId s² s¹ s⁰

_d :: CAS' GapId s² s¹ s⁰

_e :: CAS' GapId s² s¹ s⁰

_f :: CAS' GapId s² s¹ s⁰

_g :: CAS' GapId s² s¹ s⁰

_h :: CAS' GapId s² s¹ s⁰

_i :: CAS' GapId s² s¹ s⁰

_j :: CAS' GapId s² s¹ s⁰

_k :: CAS' GapId s² s¹ s⁰

_l :: CAS' GapId s² s¹ s⁰

_m :: CAS' GapId s² s¹ s⁰

_n :: CAS' GapId s² s¹ s⁰

_o :: CAS' GapId s² s¹ s⁰

_p :: CAS' GapId s² s¹ s⁰

_q :: CAS' GapId s² s¹ s⁰

_r :: CAS' GapId s² s¹ s⁰

_s :: CAS' GapId s² s¹ s⁰

_t :: CAS' GapId s² s¹ s⁰

_u :: CAS' GapId s² s¹ s⁰

_v :: CAS' GapId s² s¹ s⁰

_w :: CAS' GapId s² s¹ s⁰

_x :: CAS' GapId s² s¹ s⁰

_y :: CAS' GapId s² s¹ s⁰

_z :: CAS' GapId s² s¹ s⁰

Auxiliary

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

class ASCIISymbols c where

Methods

fromASCIISymbol :: Char -> c

toASCIISymbols :: c -> String

Instances

ASCIISymbols String

Defined in CAS.Dumb.Symbols

Methods

fromASCIISymbol :: Char -> String

toASCIISymbols :: String -> String