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