Agda.Syntax.Parser.LookAhead
The LookAhead monad
data
LookAhead
a
runLookAhead
Operations
getInput
setInput
liftP
nextChar
eatNextChar
sync
rollback
match
match'