Expand description
EdgeId and the insertion-ordered map keyed by it. EdgeId is
presentation’s own: the router never persists edge identity, so nothing
outside this module allocates one.
Collections are plain IdMaps (IndexMap with a fast hasher);
iteration follows insertion order, which is semantically meaningful
(render z-order, route-crossing priority, hit-test).
Structs§
- EdgeId
- A router edge’s id. The router never persists edge identity, so this is
minted and read only within this module; it renders as
"e"+ a counter (the family every id newtype in the snapshot-era store used) purely for consistency withIdMapExt::insert_value’s counter-based minting.
Traits§
- IdMap
Ext - Operations on an
IdMapthatIndexMapdoes not provide directly. - KeyType
- Keys usable in an
IdMap.
Type Aliases§
- IdMap
- An insertion-ordered map keyed by an id newtype, backed by
IndexMapwith a fast (non-DoS-resistant) hasher. Iteration follows insertion order, which is semantically meaningful (render z-order, route-crossing priority).