Agda.Syntax.Concrete.Operators.Parser

data ExprView e

class IsExpr e

Parser combinators

recursive

partP

binop

preop

postop

opP

rebuild

rebuildBinding

infixP

nonfixP

prefixP

postfixP

infixlP

infixrP

appP

atomP