Agda.Syntax.Parser
data Parser a
parse
parsePosString
parseFile'
moduleParser
moduleNameParser
exprParser
exprWhereParser
tokensParser
data ParseError
data ParseWarning
data PM a
runPMIO