Struct TailSeq 

pub struct TailSeq<'a, T: SeqElement> { /* private fields */ }

Streaming read cursor over a Seq<T> tail region.

Borrows the tail-region bytes ([count:u32][elems...]) and decodes ONE element per get / iterator step; it never builds a [T; N]. Cheap to construct and copy.

Implementations

impl<'a, T: SeqElement> TailSeq<'a, T>

pub fn from_region(region: &'a [u8]) -> Result<Self, ProgramError>

Overlay a read cursor on region (the tail bytes starting at the count prefix). Rejects a region too small for the prefix, or a stored count exceeding the region’s capacity (corrupt tail).

pub fn len(&self) -> u32

Number of live elements (the u32 count prefix).

pub fn is_empty(&self) -> bool

Whether the sequence is empty.

pub fn capacity(&self) -> usize

Live element capacity from the region length: (len - 4) / STRIDE.

pub fn get(&self, index: usize) -> Result<T, ProgramError>

Decode the element at index (one element, no full-tail decode).

pub fn iter(&self) -> TailSeqIter<'a, T>

Iterate the live elements, decoding one at a time. Each item is a Result because a corrupt slot can fail to decode (e.g. a bool byte outside {0, 1}); a well-formed Seq yields only Ok.

Trait Implementations

impl<'a, T: Clone + SeqElement> Clone for TailSeq<'a, T>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, T: Copy + SeqElement> Copy for TailSeq<'a, T>