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