Agda.Syntax.Concrete.Operators.Parser

data ExprView e

class IsExpr e

Parser combinators

recursive

chainr1'

chainl1'

partP

binop

postop

preop

opP

rebuild

rebuildBinding

($$$)

infixrP

infixlP

postfixP

prefixP

nonfixP

infixP

appP

atomP