uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Examples.Lang.ArithBlocks

Documentation

lexer :: Lexer CharClass ℂ TokenClassWSBasic ℕ64 TokenWSBasic 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.ArithBlocks

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.ArithBlocks

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 
BlockE (𝐿 Exp) 

Instances

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

Defined in Examples.Lang.ArithBlocks

Methods

pretty :: ExpPre -> Doc Source #

blockEL :: (⌲) ExpPre (𝐿 Exp) 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 TokenWSBasic Lit Source #

cpAtom :: CParser TokenWSBasic Atom Source #

cpBlock :: CParser TokenWSBasic (𝐿 Exp) Source #

cpExp :: CParser TokenWSBasic Exp Source #

cpExpList :: CParser TokenWSBasic (𝐿 Exp) Source #

testParserSuccess :: IO () Source #

testParserFailure :: IO () Source #