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