Enum EffectFailureKind 

pub enum EffectFailureKind {
    Denied,
    Timeout,
    Cancelled,
    StaleAuthority,
    InvalidEvidence,
    Unavailable,
    InvalidInput,
    Determinism,
    TopologyDisruption,
    ContractViolation,
    Unknown,
}

Typed failure kinds at the ProtocolMachine effect boundary.

Variants

Denied

The requested action was denied by host policy or readiness rules.

Timeout

The requested action timed out.

Cancelled

The requested action was explicitly cancelled.

StaleAuthority

The caller’s authority token is stale.

InvalidEvidence

The supplied evidence or witness is invalid.

Unavailable

Transport/runtime unavailable.

InvalidInput

Invalid host input or payload contract.

Determinism

Replay/determinism contract failure.

TopologyDisruption

Topology ingress or topology mutation failure.

ContractViolation

Host contract assertion or identity violation.

Unknown

Unclassified failure.

Trait Implementations

impl Clone for EffectFailureKind

fn clone(&self) -> EffectFailureKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectFailureKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EffectFailureKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for EffectFailureKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for EffectFailureKind

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for EffectFailureKind

impl Eq for EffectFailureKind

impl StructuralPartialEq for EffectFailureKind