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

Agda.Syntax.Parser.Tokens

Synopsis

Documentation

data Token Source #

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.