Enum AbstractPhase 

pub enum AbstractPhase {
    Pending,
    Active,
    Recovering,
    Committed,
    Failed,
}

Frozen abstract phases for the direct source-level refinement proof. These are the same five observations used by GovernedCommitAbstract.tla.

Variants

Pending

No abstract work is active.

Active

Admission, preparation, or retry is active.

Recovering

An applied effect is being recovered.

Committed

Effect and evidence are committed.

Failed

The abstract request has failed.

Trait Implementations

impl Clone for AbstractPhase

fn clone(&self) -> AbstractPhase

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AbstractPhase

impl Debug for AbstractPhase

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

Formats the value using the given formatter.

impl Eq for AbstractPhase

impl PartialEq for AbstractPhase

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AbstractPhase