Struct StableVec 

pub struct StableVec<T: Storable, M: Memory = DefaultMemoryImpl> { /* private fields */ }

StableVec

ICSS-baseline fixed-stride vector in one governed allocation. There are no custom checksums, cached length, read windows or mutation epochs. Malformed stored values trap; IC execution rollback supplies atomicity.

Implementations

impl<T: Storable, M: Memory> StableVec<T, M>

pub fn create(memory: RuntimeMemory<M>) -> Result<Self, CollectionError>

Create only in empty admitted memory.

Errors

Refuses nonempty memory or initial growth refusal.

pub fn reset(memory: RuntimeMemory<M>) -> Result<Self, CollectionError>

Explicitly replace this vector image.

Errors

Refuses initial growth; invalid bounds/codecs trap.

pub fn load(memory: RuntimeMemory<M>) -> Result<Self, CollectionError>

Load the current SVC format without initialization.

Errors

Refuses empty/foreign framing; engine/codec failures trap.

pub fn get(&self, index: u64) -> Result<Option<T>, CollectionError>

Read one indexed record; malformed stored bytes trap.

Errors

Engine failures trap instead of returning an ordinary error.

pub fn set(&self, index: u64, item: &T) -> Result<(), CollectionError>

Replace one record; invalid codecs, bounds or writes trap.

Errors

Engine failures trap instead of returning an ordinary error.

pub fn push(&self, item: &T) -> Result<(), CollectionError>

Append one record, publishing its length last.

Errors

Engine failures trap instead of returning an ordinary error.

pub fn pop(&self) -> Result<Option<T>, CollectionError>

Remove the final record; failures trap.

Errors

Engine failures trap instead of returning an ordinary error.

pub fn len(&self) -> u64

Read the current committed length from stable memory.

pub fn is_empty(&self) -> bool

Whether there are no records.

pub fn iter( &self, ) -> impl DoubleEndedIterator<Item = Result<T, CollectionError>> + '_

Bidirectional iteration with one reusable buffer. Direct skips and last() decode only the selected record; they do not validate discarded records.