Copyright | (c) Justus Sagemüller 2017 |
---|---|
License | GPL v3 |
Maintainer | (@) jsagemue $ uni-koeln.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
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.
- 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
- 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¹ ζ
- 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¹ ζ
- _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⁰
- type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c)
- class ASCIISymbols c where
Documentation
module CAS.Dumb.Symbols
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
a :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
b :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
c :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
d :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
e :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
f :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
g :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
h :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
i :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
j :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
k :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
l :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
m :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
n :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
o :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
p :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
q :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
r :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
s :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
t :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
u :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
v :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
w :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
x :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
y :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
z :: 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.
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¹ ζ Source #
pattern B :: Expression' γ s² s¹ ζ Source #
pattern C :: Expression' γ s² s¹ ζ Source #
pattern D :: Expression' γ s² s¹ ζ Source #
pattern E :: Expression' γ s² s¹ ζ Source #
pattern F :: Expression' γ s² s¹ ζ Source #
pattern G :: Expression' γ s² s¹ ζ Source #
pattern H :: Expression' γ s² s¹ ζ Source #
pattern I :: Expression' γ s² s¹ ζ Source #
pattern J :: Expression' γ s² s¹ ζ Source #
pattern K :: Expression' γ s² s¹ ζ Source #
pattern L :: Expression' γ s² s¹ ζ Source #
pattern M :: Expression' γ s² s¹ ζ Source #
pattern N :: Expression' γ s² s¹ ζ Source #
pattern O :: Expression' γ s² s¹ ζ Source #
pattern P :: Expression' γ s² s¹ ζ Source #
pattern Q :: Expression' γ s² s¹ ζ Source #
pattern R :: Expression' γ s² s¹ ζ Source #
pattern S :: Expression' γ s² s¹ ζ Source #
pattern T :: Expression' γ s² s¹ ζ Source #
pattern U :: Expression' γ s² s¹ ζ Source #
pattern V :: Expression' γ s² s¹ ζ Source #
pattern W :: Expression' γ s² s¹ ζ Source #
pattern X :: Expression' γ s² s¹ ζ Source #
pattern Y :: Expression' γ s² s¹ ζ Source #
pattern Z :: Expression' γ s² s¹ ζ Source #
Pattern-matching variable symbols
Auxiliary
type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c) Source #
class ASCIISymbols c where Source #
fromASCIISymbol :: Char -> c Source #
toASCIISymbols :: c -> String Source #