Agda.Syntax.Scope.Base
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
mergeNames
emptyNameSpace
mapNameSpace
zipNameSpace
mapNameSpaceM
emptyScope
emptyScopeInfo
mapScope
mapScope_
mapScopeM
mapScopeM_
zipScope
zipScope_
filterScope
allNamesInScope
exportedNamesInScope
namesInScope
allThingsInScope
thingsInScope
mergeScope
mergeScopes
setScopeAccess
addNamesToScope
addNameToScope
addModuleToScope
applyImportDirective
renameCanonicalNames
restrictPrivate
publicModules
everythingInScope
scopeLookup
inverseScopeLookup
inverseScopeLookupName
inverseScopeLookupModule