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