Agda.Syntax.Parser.LexActions
Main function
lexToken
Lex actions
General actions
token
withInterval
withInterval'
withInterval_
withLayout
begin
end
endWith
begin_
end_
lexError
Specialized actions
keyword
symbol
identifier
literal
Lex predicates
followedBy
eof
inState