Enum Operation 

pub enum Operation {
    WriteFile {
        path: TargetPath,
        class: Class,
        before: Option<Sha256>,
        after: Sha256,
    },
    KeepFile {
        path: TargetPath,
        held: Sha256,
        baseline_before: Sha256,
        baseline_after: Sha256,
    },
    SpliceBlock {
        path: TargetPath,
        marker: String,
        before: Option<Sha256>,
        after: Sha256,
    },
    RemoveOwnedFile {
        path: TargetPath,
        before: Sha256,
    },
    WriteDebt {
        path: TargetPath,
        before: Option<Sha256>,
        after: Sha256,
    },
    WriteRecord {
        path: TargetPath,
        before: Option<Sha256>,
        after: Sha256,
    },
}

One typed write a plan will make.

Variants

WriteFile

Put the release’s bytes at a destination.

Fields

path: TargetPath

Where.

class: Class

Who owns it afterwards.

before: Option<Sha256>

What the target must still hold, or nothing where it holds none.

after: Sha256

What the target will hold.

KeepFile

Keep the target’s own bytes and move the baseline they are read against.

This is what an adopted file is: seeded once, then the project’s. An upgrade moves the baseline so the next verification compares the project’s copy against what the new release would have seeded.

Fields

path: TargetPath

Where.

held: Sha256

What the target holds and keeps holding.

baseline_before: Sha256

The baseline the record carries now.

baseline_after: Sha256

The baseline the record will carry.

SpliceBlock

Replace one marked region inside a file the project owns.

Fields

path: TargetPath

Where.

marker: String

Which marked region.

before: Option<Sha256>

The region’s current digest, or nothing where it has none.

after: Sha256

The region’s digest afterwards.

RemoveOwnedFile

Take back a file the release no longer owns.

And the directory that removal empties, where the directory is one the canon owns and is not itself an owned root. A skill is a directory holding one file, and an empty directory carrying a retired skill’s name is one some agents still list. The directory is part of what this operation names rather than a second mutation beside it, because a file’s removal is the only thing that can empty it.

Fields

path: TargetPath

Where.

before: Sha256

What the target must still hold.

WriteDebt

Write the inherited violations the operator asked to record.

Fields

path: TargetPath

Where.

before: Option<Sha256>

What the target must still hold, or nothing where it holds none.

after: Sha256

What the target will hold.

WriteRecord

Write the instance record itself, last.

Fields

path: TargetPath

Where.

before: Option<Sha256>

What the target must still hold, or nothing where it holds none.

after: Sha256

What the target will hold.

Implementations

impl Operation

pub const fn path(&self) -> &TargetPath

Where this operation writes.

pub const fn kind(&self) -> &'static str

The kebab-case kind, as the fingerprint and the JSON spell it.

pub const fn before(&self) -> Option<&Sha256>

What the target must still hold for this operation to be the one the plan described.

pub const fn after(&self) -> Option<&Sha256>

What the target will hold, or nothing where the file goes.

Trait Implementations

impl Clone for Operation

fn clone(&self) -> Operation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Operation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Operation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Operation

impl PartialEq for Operation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Operation

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 Operation