Enum FiredAction 

pub enum FiredAction {
    Steer {
        text: String,
    },
    BackOff {
        until_ms: u64,
        code: String,
        subject: String,
    },
    Switch {
        to: ServerLabel,
        code: String,
        subject: String,
    },
    Freeze {
        reason: String,
    },
}

What the watchdog did, in the word the line carries.

Variants

Steer

The model was told it is repeating itself.

Fields

text: String

BackOff

The same call will be made again, no earlier than until_ms, because of the failure whose stable code and subject are named here.

Fields

until_ms: u64

code: String

subject: String

Switch

The same call goes out at once on another account of the provider, because of the failure whose stable code and subject are named here (crates/kernel/spec/AccountRecovery.lean §8-86).

Fields

to: ServerLabel

code: String

subject: String

Freeze

The run was frozen.

Fields

reason: String

Trait Implementations

impl Clone for FiredAction

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 FiredAction

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FiredAction

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for FiredAction

impl PartialEq for FiredAction

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FiredAction

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 FiredAction