Enum Precondition 

pub enum Precondition {
    Satisfied,
    Rejected {
        reason: String,
    },
    RetryLater {
        after: Duration,
        reason: String,
    },
}

Whether an effect may still run, checked before its first attempt.

Variants

Satisfied

Go ahead.

Rejected

Never run this effect, e.g. “order is no longer pending”. The effect ends EffectOutcome::Rejected.

Fields

reason: String

Why, recorded on the effect.

RetryLater

Not yet; check again after after, e.g. while a dependency settles. After as many checks as the retry policy allows attempts, the effect is rejected.

Fields

after: Duration

How long to wait before the next check.

reason: String

Why, recorded if the effect is eventually rejected.

Implementations

impl Precondition

pub fn reject(reason: impl Into<String>) -> Self

A rejection with reason.

pub fn retry_later(after: Duration, reason: impl Into<String>) -> Self

A deferral of after, with reason.

Trait Implementations

impl Clone for Precondition

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Precondition

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

Formats the value using the given formatter.

impl Eq for Precondition

impl PartialEq for Precondition

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Precondition