Struct DebtCompletion 

pub struct DebtCompletion(/* private fields */);

Validated completion restricted to clear, observer projection, or physical compaction.

Fields are private so DCR, marker delivery, PCP, DMR, and DCursor cannot be smuggled through a detached attach or Leave completion.

Implementations

impl DebtCompletion

pub const fn clear() -> Self

Selects the only legal edge-free state.

pub const fn observer_projection( debt: ClosureDebt, edge: ObserverProjection, ) -> Self

Selects an independent observer-projection successor under nonzero debt.

pub const fn physical_compaction( debt: ClosureDebt, edge: PhysicalCompaction, ) -> Self

Selects an independent physical-compaction successor under nonzero debt.

pub const fn into_state(self) -> ClosureState

Returns the validated closure state.

Trait Implementations

impl Clone for DebtCompletion

fn clone(&self) -> DebtCompletion

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DebtCompletion

impl Debug for DebtCompletion

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

Formats the value using the given formatter.

impl Eq for DebtCompletion

impl PartialEq for DebtCompletion

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DebtCompletion