Agda.Syntax.Concrete.Operators.Parser

placeholder

maybePlaceholder

satNoPlaceholder

data ExprView e

class IsExpr e

data ParseSections

parse

Parser combinators

partP

atLeastTwoParts

wildOrUnqualifiedName

type family OperatorType (k :: NotationKind) (e :: *) :: *

data NK k

opP

argsP

appP

atomP