Module kailua_env::scope
[−]
[src]
Scope identifiers and a location-to-scope map.
Structs
AllScopes |
Yields all scopes in the |
AncestorScopes |
Yields all ancestor scopes for given scope in the |
Names |
Yields all names and corresponding scoped identifiers,
visible from given scope in the |
NamesAndScopes |
Yields all names, corresponding scoped identifiers and the containing scope
visible from given scope in the |
Scope |
A scope identifier, unique in the originating |
ScopeMap |
A mapping from the position to the innermost scope containing it. Also manages the names in each scope. |
ScopedId |
A combined identifier from a unique name and its scope, unique in the originating |