uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

Examples.Lang.Arith

Documentation

syntax :: LexerBasicSyntax Source #

lexer :: Lexer CharClass ℂ TokenClassBasic ℕ64 TokenBasic Source #

testTokenizerSuccess :: IO () Source #

data Lit Source #

Constructors

IntegerL ℤ 
DoubleL 𝔻 
StringL 𝕊 

Instances

Instances details
(Pretty ℤ, Pretty 𝔻, Pretty 𝕊) => Pretty Lit Source # 
Instance details

Defined in Examples.Lang.Arith

Methods

pretty :: Lit -> Doc Source #

data Atom Source #

Constructors

LitA Lit 
NameA 𝕊 

Instances

Instances details
(Pretty Lit, Pretty 𝕊) => Pretty Atom Source # 
Instance details

Defined in Examples.Lang.Arith

Methods

pretty :: Atom -> Doc Source #

type Exp = 𝐴 SrcCxt ExpPre Source #

data ExpPre Source #

Constructors

AtomE Atom 
PlusE Exp Exp 
TimesE Exp Exp 
ExpoE Exp Exp 
FactE Exp 
NegateE Exp 
EqualE Exp Exp 

Instances

Instances details
(Pretty Atom, Pretty Exp) => Pretty ExpPre Source # 
Instance details

Defined in Examples.Lang.Arith

Methods

pretty :: ExpPre -> Doc Source #

atomEL :: ExpPre ⌲ Atom Source #

plusEL :: ExpPre ⌲ (Exp ∧ Exp) Source #

timesEL :: ExpPre ⌲ (Exp ∧ Exp) Source #

expoEL :: ExpPre ⌲ (Exp ∧ Exp) Source #

factEL :: ExpPre ⌲ Exp Source #

negateEL :: ExpPre ⌲ Exp Source #

equalEL :: ExpPre ⌲ (Exp ∧ Exp) Source #

cpLit :: CParser TokenBasic Lit Source #

cpAtom :: CParser TokenBasic Atom Source #

cpExp :: CParser TokenBasic Exp Source #

testParserSuccess :: IO () Source #

testParserFailure1 :: IO () Source #

testParserFailure2 :: IO () Source #