Agda.Compiler.JS.Parser
type Parser
identifier
wordBoundary
token
punct
parened
braced
bracketed
quoted
stringLit
stringStr
stringChr
escChr
intLit
undef
localid
globalid
preop
binop
field
object
function
bracedBlock
returnBlock
ifBlock
exp0
exp1
exp2
exp2'
exp3
exp3'
exp
topLevel
parse