Agda.Syntax.Scope.Base
data Scope
data NameSpaceId
localNameSpace
nameSpaceAccess
scopeNameSpace
data ScopeInfo
type LocalVars
data NameSpace
type ThingsInScope a
type NamesInScope
type ModulesInScope
data InScopeTag a
class InScope a
inNameSpace
data KindOfName
allKindsOfNames
data AbstractName
data AbstractModule
blockOfLines
mergeNames
emptyNameSpace
mapNameSpace
zipNameSpace
mapNameSpaceM
emptyScope
emptyScopeInfo
mapScope
mapScope_
mapScopeM
mapScopeM_
zipScope
zipScope_
filterScope
allNamesInScope
allNamesInScope'
exportedNamesInScope
namesInScope
allThingsInScope
thingsInScope
mergeScope
mergeScopes
setScopeAccess
setNameSpace
addNamesToScope
addNameToScope
addModuleToScope
applyImportDirective
renameCanonicalNames
restrictPrivate
removeOnlyQualified
publicModules
everythingInScope
flattenScope
scopeLookup
scopeLookup'
inverseScopeLookup
inverseScopeLookupName
inverseScopeLookupModule