Enum RenewalOutcome 

pub enum RenewalOutcome {
    Read,
    Late,
    Unreported,
    Refused,
}

What one renewal shows about the cache it was sent to keep.

The one reading of a cache_renewed line that a cost view counts by (crates/kernel/spec/KeepWarm.lean §8-74, storage D35).

Variants

Read

The provider reported no cache write: the renewal reached the entry while it was alive.

Late

The provider reported cache write tokens above zero: the entry had expired, and the renewal paid the write price for the prefix instead of the read price.

Unreported

The provider answered without a cache write count.

Refused

The provider refused the renewal.

Trait Implementations

impl Clone for RenewalOutcome

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RenewalOutcome

impl Debug for RenewalOutcome

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

Formats the value using the given formatter.

impl Eq for RenewalOutcome

impl PartialEq for RenewalOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RenewalOutcome