charon_lib::ids

Module vector

source
Expand description

A vector with custom index types.

This data-structure is mostly meant to be used with the index types defined with [ids::generate_index_type]: by using custom index types, we leverage the type checker to prevent us from mixing them.

Note that this data structure is implemented by using persistent vectors. This makes the clone operation almost a no-op.

Structsยง

  • Indexed vector. To prevent accidental id reuse, the vector supports reserving a slot to be filled later.