Struct Charge 

pub struct Charge {
    pub logical_bytes: usize,
    pub resident_bytes: usize,
    pub owners: usize,
}

Logical ranges, resident admission bytes, and disposable runtime owners. Split owners may each charge their complete backing: resident_bytes is an admission charge, not a unique-allocation count.

Fields

logical_bytes: usize

resident_bytes: usize

owners: usize

Implementations

impl Charge

pub const fn from_commit(logical: usize, resident: usize, owners: usize) -> Self

Constructs an exact delta already committed by an ownership authority. Partial deltas are valid because the authority has already proved them.

pub const fn is_empty(self) -> bool

pub const fn from_owner(logical: usize, resident: usize) -> Self

Projects one resident owner. Borrowed and static ranges have no resident backing and therefore produce no runtime ownership mutation.

pub const fn from_split(resident: usize) -> Self

Projects a zero-copy split of an already-accounted logical range.

pub const fn try_add(self, other: Self) -> Result<Self, Overflow>

Combines two charges without erasing the first overflowing component.

Trait Implementations

impl Clone for Charge

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Charge

impl Debug for Charge

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

Formats the value using the given formatter.

impl Default for Charge

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Charge

impl<T: Segment> From<&Chain<T>> for Charge

Borrowed topology and Segment’s shared-range contract retain this subset within the chain’s admitted length and cardinality.

fn from(chain: &Chain<T>) -> Self

Converts to this type from the input type.

impl Hash for Charge

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Charge

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Charge