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