Enum MarkingKind 

#[non_exhaustive]
pub enum MarkingKind {
    Nullified {
        fault: IoFault,
    },
    Covered {
        flushed: bool,
        provider: bool,
    },
}

What a Marking records. Open to further kinds, so match it with a wildcard arm.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Nullified

A nullifier: the write completed with a fault, so it did not happen – a failed write is an error on its own completion, and nothing durable covers it (DI-D-12 (a)).

Fields

fault: IoFault

The fault its completion carried, as the backend reported it (DI-D-47, DI-D-50).

Covered

The write was covered successfully: every part its file depends on answered success (DI-D-27), so its bytes are durable even though the failure still suspects it. The flags cite who answered (DI-D-47); a file both answer for has both.

Fields

flushed: bool

The built-in default flushed the write’s file, and dioring observed the flush succeed.

provider: bool

The consumer’s durability provider answered success for the file’s domains it serves: the provider’s warranty, not something dioring observed.

Trait Implementations

impl Clone for MarkingKind

fn clone(&self) -> MarkingKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MarkingKind

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

Formats the value using the given formatter.

impl Eq for MarkingKind

impl PartialEq for MarkingKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MarkingKind