Struct KClaimBackedDetachedLeave 

pub struct KClaimBackedDetachedLeave { /* private fields */ }

Validated evidence for an exact-current K-backed detached Leave.

There is no public constructor. Each detached edge validates participant, exact edge target, positive actual record charge, remaining K, and the available exit claim before producing this edge-bound value.

Implementations

impl KClaimBackedDetachedLeave

pub const fn participant_id(self) -> ParticipantId

Returns the exact detached participant.

pub const fn actual_charge(self) -> ResourceVector

Returns the exact charge already checked against remaining K.

Trait Implementations

impl Clone for KClaimBackedDetachedLeave

fn clone(&self) -> KClaimBackedDetachedLeave

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for KClaimBackedDetachedLeave

impl Debug for KClaimBackedDetachedLeave

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

Formats the value using the given formatter.

impl Eq for KClaimBackedDetachedLeave

impl PartialEq for KClaimBackedDetachedLeave

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for KClaimBackedDetachedLeave