Agda.Syntax.Parser
data Parser a
parse
parseLiterate
parsePosString
parseFile'
moduleParser
moduleNameParser
exprParser
tokensParser
data ParseError