uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Examples.Lang.SExp

Documentation

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

testSExpTokenizerSuccess :: IO () Source #

testSExpTokenizerFailure1 :: IO () Source #

testSExpTokenizerFailure2 :: IO () Source #

data Lit Source #

Constructors

IntegerL ℤ 
DoubleL 𝔻 
StringL 𝕊 

Instances

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

Defined in Examples.Lang.SExp

Methods

pretty :: Lit -> Doc Source #

data Atom Source #

Constructors

LitA Lit 
NameA 𝕊 
KeyA 
PrimA 
PlusA 

Instances

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

Defined in Examples.Lang.SExp

Methods

pretty :: Atom -> Doc Source #

type Exp = 𝐴 SrcCxt ExpPre Source #

data ExpPre Source #

Constructors

AtomE Atom 
ListE (𝐿 Exp) 

Instances

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

Defined in Examples.Lang.SExp

Methods

pretty :: ExpPre -> Doc Source #

cpLit :: CParser TokenBasic Lit Source #

cpAtom :: CParser TokenBasic Atom Source #

cpExp :: CParser TokenBasic Exp Source #

cpList :: CParser TokenBasic (𝐿 Exp) Source #

testSExpParserSuccess :: IO () Source #

testSExpParserFailure1 :: IO () Source #

testSExpParserFailure2 :: IO () Source #

testSExpParserFailure3 :: IO () Source #