Agda.Syntax.Fixity
Fixity
data Fixity'
data ThingWithFixity x
data NewNotation
namesToNotation
useDefaultFixity
notationNames
syntaxOf
noFixity'
mergeNotations
data NotationSection
noSection
data PrecedenceLevel
data Associativity
data Fixity
noFixity
defaultFixity
data Precedence
type PrecedenceStack
pushPrecedence
headPrecedence
hiddenArgumentCtx
opBrackets
opBrackets'
lamBrackets'
lamBrackets
appBrackets
appBrackets'
withAppBrackets
piBrackets
roundFixBrackets
_notaFixity
_fixityAssoc
_fixityLevel