Struct SegmentsMut 

pub struct SegmentsMut<'a, T, const N: usize> { /* private fields */ }

A guard over several disjoint typed sub-ranges of one account, returned by AccountView::split_segments_mut.

It holds a single exclusive byte borrow of the account plus N registry leases (one per range) that proved pairwise disjointness at construction and release on drop. Because the ranges are disjoint and all sit inside the one borrow, all_mut can hand out N independent &mut T simultaneously. This is the generalized split_at_mut for account fields that ordinary segment_mut cannot express.

Construction must go through the account’s checked split API. Raw offsets cannot be supplied to a safe constructor:

use hopper_runtime::{RefMut, SegmentLease, SegmentsMut};
fn unchecked<'a>(data: RefMut<'a, [u8]>, leases: [SegmentLease<'a>; 2]) {
    let _ = SegmentsMut::<[u8; 8], 2>::new(data, [0, 0], leases);
}

Implementations

impl<'a, T: Pod, const N: usize> SegmentsMut<'a, T, N>

pub const fn len(&self) -> usize

Number of disjoint segments held.

pub const fn is_empty(&self) -> bool

Whether this split contains no ranges (N == 0).

pub fn get_mut(&mut self, i: usize) -> Option<&mut T>

Mutably access one segment by batch index.

pub fn all_mut(&mut self) -> [&mut T; N]

Borrow all segments mutably at once as [&mut T; N].

Sound because the offsets are pairwise disjoint (proven by the registry at construction) and every range lies inside the single exclusive byte borrow, so the references never alias.

Trait Implementations

impl<'a, T, const N: usize> Debug for SegmentsMut<'a, T, N>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.