Agda.Syntax.Concrete.Name
data
Name
data
NamePart
noName_
noName
isNoName
isOperator
nameParts
qualify
unqualify
qnameParts
data
QName
data
TopLevelModuleName
toTopLevelModuleName
moduleNameToFileName
projectRoot
isHole
isPostfix
isInfix
isNonfix
isPrefix