Modules§
- lookup
- This module contains the lookup-based name resolution algorithm.
Structs§
- Default
Data Equiv - Default
Data Wellformedness - Default
Label Order - Env
- Representation of an environment (i.e., a collection of resolved paths).
- Path
- Path (alternating sequence of scopes and labels) in a scope graph.
- Query
- Resolved
Path - A path in the scope graph, including the data of the target of the path.
Enums§
- Edge
OrData - Representation of either a labeled edge or the special ‘data’ label.
Traits§
- Data
Equiv - Data equivalence relation.
- Data
Wellformedness - Unary predicate over
DATA. - Label
Order - Strict partial order on labels. Used to perform shadowing.
- Resolve