Agda.Syntax.Concrete.Operators.Parser

data ExprView e

class IsExpr e

Parser combinators

partP

binop

preop

postop

opP

rebuild

rebuildBinding

infixP

infixrP

infixlP

postfixP

prefixP

nonfixP

argsP

appP

atomP