Agda.Syntax.Abstract.Name

data Name

data QName

data QNamed a

data ModuleName

data AmbiguousQName

isAnonymousModuleName

withRangesOf

withRangesOfQ

mnameFromList

noModuleName

class MkName a

qnameToList

qnameFromList

qnameToMName

mnameToQName

showQNameId

qnameToConcrete

mnameToConcrete

toTopLevelModuleName

qualifyM

qualifyQ

qualify

isOperator

isSubModuleOf

isInModule

freshName

freshNoName

freshNoName_

class FreshName a

nextName

Important instances: Eq, Ord, Hashable

IsNoName instances (checking for "_")

Show instances

Range instances

HasRange

SetRange

KillRange

Sized instances

class IsNoName a