Agda.Syntax.Parser.Monad

# The parser monad

data Parser a

data ParseResult a

data ParseState

data ParseError

data ParseWarning

type LexState

data LayoutContext

data ParseFlags

# Running the parser

initState

defaultParseFlags

parse

parseFile

parsePosString

parseFromSrc

# Manipulating the state

setParsePos

setLastPos

getParseInterval

setPrevToken

getParseFlags

getLexState

pushLexState

popLexState

## Layout

topContext

popContext

pushContext

pushCurrentContext

## Errors

parseError

parseErrorAt

parseError'

lexError