Agda-2.4.2.4: A dependently typed functional programming language and proof assistant

Safe Haskell	None
Language	Haskell98

Agda.Syntax.Parser.Tokens

Documentation

data Token Source

Constructors

TokKeyword Keyword Interval
TokId (Interval, String)
TokQId [(Interval, String)]
TokLiteral Literal
TokSymbol Symbol Interval
TokString (Interval, String)
TokSetN (Interval, Integer)
TokTeX (Interval, String)
TokComment (Interval, String)
TokDummy
TokEOF

Instances

Eq Token Source
Show Token Source
HasRange Token Source

layoutKeywords :: [Keyword] Source

data Symbol Source

Instances

Eq Symbol Source
Show Symbol Source