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
parseError'
lexError