Agda.Syntax.Concrete.Operators.Parser

data ExprView e

class IsExpr e

Parser combinators

partP

binop

preop

postop

opP

rebuild

rebuildBinding

infixP

nonfixP

prefixP

postfixP

infixlP

infixrP

argsP

appP

atomP