Enum ActionOutcome 

pub enum ActionOutcome {
    Succeeded,
    Failed {
        reason: String,
    },
    Rejected {
        reason: String,
    },
    Aborted,
    TimedOut {
        after_ms: u64,
    },
}

The result of executing one intent. Transactional and interruptible: without this, robustness is impossible (ADR-0003).

Variants

Succeeded

The post-condition was observed to hold.

Failed

The sequence ran but the post-condition did not hold.

Fields

reason: String

Rejected

A precondition (focus, resolution, known screen) was not met.

Fields

reason: String

Aborted

The Governor or the user stopped it mid-flight.

TimedOut

Fields

after_ms: u64

Implementations

impl ActionOutcome

pub fn is_success(&self) -> bool

Trait Implementations

impl Clone for ActionOutcome

fn clone(&self) -> ActionOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ActionOutcome

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ActionOutcome

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ActionOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ActionOutcome

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ActionOutcome