Struct StableVec 

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

StableVec

Indexed stable values in fixed-stride slots. Values require a finite bound. Each slot protects its index, length and payload with an integrity checksum. Native interrupted writes poison the owner and may damage retained bytes.

Implementations

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

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

Create only in an empty allocation. Invalid bounds refuse before writes.

Errors

Rejects nonempty memory, invalid encoding/bounds or capacity refusal before writing.

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

Explicitly discard previous contents in this allocation.

Errors

Rejects invalid encoding/bounds or capacity refusal before replacing contents.

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

Read and validate the current root without initializing or writing.

Errors

Rejects foreign, corrupt or oversized records and incompatible codec bounds.

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

Decode an indexed value, checking length and checksum before its codec.

Errors

Reports structural, integrity or application decoding failures without writing.

Panics

Propagates backing panics or a faulty caller codec.

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

Replace an existing value. Encoding and bounds admission precede writes.

Errors

Rejects invalid indices, encoding, bounds or capacity refusal before writes.

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

Append after reserving capacity; publish the new length last.

Errors

Rejects invalid encoding, bounds, arithmetic overflow or capacity refusal before writes.

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

Remove the final value, retaining allocated capacity for reuse.

Errors

Rejects integrity, decoding or structural errors before changing the length.

pub fn len(&self) -> u64

Number of committed slots. A poisoned owner must be dropped.

Panics

A poisoned owner must be dropped before further observation.

pub fn is_empty(&self) -> bool

Whether the vector has no values.

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

Decode slots lazily, returning errors without panicking on malformed data.