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

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 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

pattern Z :: forall γ s² s¹ ζ. 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

Minimal complete definition

fromASCIISymbol, toASCIISymbols

Methods

fromASCIISymbol :: Char -> c

toASCIISymbols :: c -> String

Instances

ASCIISymbols String

Methods

fromASCIISymbol :: Char -> String

toASCIISymbols :: String -> String