Agda.Syntax.Parser.Monad

# The parser monad

data Parser a
data ParseResult a
data ParseState
data ParseError
type LexState
data LayoutContext
data ParseFlags

# Running the parser

initState
defaultParseFlags
parse
parsePosString
parseFile

# Manipulating the state

setParsePos
setLastPos
getParseInterval
setPrevToken
getParseFlags
getLexState
pushLexState
popLexState

## Layout

topContext
popContext
pushContext
pushCurrentContext

## Errors

parseError
parseErrorAt
lexError