Agda.Syntax.Parser.Monad

The parser monad

data Parser a

data ParseResult a

data ParseState

data ParseError

data LayoutContext

data ParseFlags

Running the parser

defaultParseFlags

Manipulating the state

getParseInterval

Layout

pushCurrentContext

Errors