Enum Derivation 

pub enum Derivation {
    Derived,
    Reused,
}

Whether a pass derived a branch’s verdict or reused one it recorded earlier.

A pass records each verdict it derives under everything the derivation read, and reuses it only while every one of those inputs is unchanged. What it reuses is the derivation — the ancestry, landing and content proofs — and nothing else: live holders, exclusions, checked-out and dirty worktrees, and every read around a deletion are asked fresh on every pass whichever this is.

Variants

Derived

Decided on this pass: the proofs were run, or a check made fresh decided it before any proof was needed.

Reused

The proofs were answered by the verdict recorded under inputs this pass read unchanged.

Implementations

impl Derivation

pub fn as_str(self) -> &'static str

The word this answer travels as.

Trait Implementations

impl Clone for Derivation

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 Derivation

impl Debug for Derivation

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

Formats the value using the given formatter.

impl Default for Derivation

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Derivation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Derivation

impl PartialEq for Derivation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Derivation

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 Derivation