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