Agda.Syntax.Parser.Monad
data Parser a
data ParseResult a
data ParseState
data ParseError
type LexState
data LayoutContext
data ParseFlags
initState
defaultParseFlags
parse
parsePosString
parseFile
setParsePos
setLastPos
getParseInterval
setPrevToken
getParseFlags
getLexState
pushLexState
popLexState
topContext
popContext
pushContext
pushCurrentContext
parseError
parseErrorAt
lexError