Agda.Syntax.Parser.Monad

The parser monad

data Parser a
data ParseResult a
data ParseState
data ParseError
type LexState
data ParseFlags

Running the parser

Manipulating the state

Layout

Errors