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