Agda.Syntax.Concrete.Operators.Parser
data
ExprView
e
class
IsExpr
e
Parser combinators
recursive
partP
binop
preop
postop
opP
prefixP
postfixP
infixrP
infixlP
infixP
nonfixP
appP
atomP