uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Examples.Lang.Arith

Documentation

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 #

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

negateEL :: (⌲) ExpPre Exp Source #

factEL :: (⌲) ExpPre Exp Source #

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

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

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

atomEL :: (⌲) ExpPre Atom 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 #