Agda.Syntax.Parser.LookAhead

The LookAhead monad

data LookAhead a

runLookAhead

Operations

getInput

setInput

liftP

nextChar

eatNextChar

sync

rollback

match

match'