Enum ClosureState 

pub enum ClosureState {
    Clear,
    Owed {
        debt: ClosureDebt,
        edge: StoredEdge,
    },
}

Closure state makes a clear edge with nonzero debt unconstructible.

Variants

Clear

No edge and zero debt.

Owed

Nonzero debt paired with one exact stored witness.

Fields

debt: ClosureDebt

Exact nonzero debt.

edge: StoredEdge

Current repayment witness.

Implementations

impl ClosureState

pub const fn ordinary_detached_attach_admission( self, ) -> Result<OrdinaryDetachedAttachAdmission, Self>

Admits ordinary detached attach only from clear closure state.

Errors

Returns the unchanged owed state for every stored edge, including DCR, DMR, and DCursor.

Trait Implementations

impl Clone for ClosureState

fn clone(&self) -> ClosureState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ClosureState

impl Debug for ClosureState

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

Formats the value using the given formatter.

impl Eq for ClosureState

impl PartialEq for ClosureState

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ClosureState