Agda.Syntax.Concrete.Operators.Parser

data ExprView e

class IsExpr e

Parser combinators

recursive

chainr1'

chainl1'

partP

binop

preop

postop

opP

rebuild

rebuildBinding

($$$)

infixP

nonfixP

prefixP

postfixP

infixlP

infixrP

appP

atomP