Agda.Syntax.Scope.Base

# Scope representation

data Scope
data NameSpaceId
localNameSpace
importedNameSpace
scopeNameSpace
data ScopeInfo
type LocalVars
data NameSpace
type ThingsInScope a
type NamesInScope
type ModulesInScope
data InScopeTag a
class InScope a
inNameSpace
data KindOfName
data AbstractName
data AbstractModule
blockOfLines

# Operations on names

# Operations on name and module maps.

mergeNames

# Operations on name spaces

emptyNameSpace
mapNameSpace
zipNameSpace
mapNameSpaceM

# General operations on scopes

emptyScope
emptyScopeInfo
mapScope
mapScope_
mapScopeM
mapScopeM_
zipScope
zipScope_
filterScope
allNamesInScope
namesInScope
allThingsInScope
thingsInScope
mergeScope
mergeScopes

# Specific operations on scopes

setScopeAccess
addNamesToScope
addNameToScope
addModuleToScope
applyImportDirective
renameCanonicalNames
restrictPrivate
publicModules
everythingInScope
scopeLookup

# Inverse look-up

inverseScopeLookup
inverseScopeLookupName
inverseScopeLookupModule