Agda.Syntax.Parser.LexActions
lexToken
token
withInterval
withInterval'
withInterval_
withLayout
begin
end
endWith
begin_
end_
lexError
keyword
symbol
identifier
literal
followedBy
eof
inState