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