Agda.Syntax.Concrete.Operators.Parser

data MemoKey

type Parser tok a

placeholder

maybePlaceholder

notPlaceholder

sat'

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