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