Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Syntax.Parser.Tokens
Documentation
Constructors
TokKeyword Keyword Interval | |
TokId (Interval, String) | |
TokQId [(Interval, String)] | |
TokLiteral Literal | |
TokSymbol Symbol Interval | |
TokString (Interval, String) | |
TokSetN (Interval, Integer) | |
TokPropN (Interval, Integer) | |
TokTeX (Interval, String) | |
TokMarkup (Interval, String) | |
TokComment (Interval, String) | |
TokDummy | |
TokEOF Interval |
Constructors
layoutKeywords :: [Keyword] Source #
Constructors