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