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

parseError'

lexError