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

Important instances: Eq, Ord, Hashable

IsNoName instances (checking for "_")

Show instances

Pretty instances

Range instances

HasRange

SetRange

KillRange

Sized instances

NFData instances

class IsNoName a