Agda-2.6.3.20230930: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Syntax.Parser.Tokens

Synopsis

Documentation

data Token Source #

Constructors

TokKeyword Keyword Interval 
TokId (Interval, String) 
TokQId [(Interval, String)] 
TokLiteral RLiteral 
TokSymbol Symbol Interval 
TokString (Interval, String)

Arbitrary string (not enclosed in double quotes), used in pragmas.

TokTeX (Interval, String) 
TokMarkup (Interval, String) 
TokComment (Interval, String) 
TokDummy 
TokEOF Interval 

Instances

Instances details
HasRange Token Source # 
Instance details

Defined in Agda.Syntax.Parser.Tokens

Methods

getRange :: Token -> Range Source #

Show Token Source # 
Instance details

Defined in Agda.Syntax.Parser.Tokens

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Eq Token Source # 
Instance details

Defined in Agda.Syntax.Parser.Tokens

Methods

(==) :: Token -> Token -> Bool

(/=) :: Token -> Token -> Bool

layoutKeywords :: [Keyword] Source #

Unconditional layout keywords.

Some keywords introduce layout only in certain circumstances, these are not included here.