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