Agda.Syntax.Parser

Types

data Parser a

Parse functions

parse

parsePosString

parseFile'

Parsers

moduleParser

moduleNameParser

exprParser

exprWhereParser

tokensParser

Parse errors

data ParseError

data ParseWarning

data PM a

runPMIO