Agda.Syntax.Concrete.Name
data Name
data NamePart
data QName
data TopLevelModuleName
Name
NamePart
nameToRawName
nameParts
nameStringParts
stringNameParts
class NumHoles a
isOperator
isHole
isPrefix
isPostfix
isInfix
isNonfix
qualify
unqualify
qnameParts
TopLevelModuleName
toTopLevelModuleName
moduleNameToFileName
projectRoot
noName_
noName
class IsNoName a