Agda.Syntax.Abstract.Name
data Name
data QName
data QNamed a
data ModuleName
data AmbiguousQName
class IsProjP a
isAnonymousModuleName
withRangesOf
withRangesOfQ
mnameFromList
noModuleName
commonParentModule
class MkName a
qnameToList
qnameFromList
qnameToMName
mnameToQName
showQNameId
qnameToConcrete
mnameToConcrete
toTopLevelModuleName
qualifyM
qualifyQ
qualify
qualify_
isOperator
isSubModuleOf
isInModule
nextName
class IsNoName a