Agda.Syntax.Concrete.Operators.Parser
data ExprView e
class IsExpr e
recursive
partP
binop
preop
postop
opP
rebuild
rebuildBinding
infixP
nonfixP
prefixP
postfixP
infixlP
infixrP
appP
atomP