uvmhs-0.0.1.0

Safe Haskell	None
Language	Haskell2010

Examples.Lang.ArithBlocks

Documentation

syntax :: LexerWSBasicSyntax Source #

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 #

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 #

blockEL :: ExpPre ⌲ 𝐿 Exp 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 #