Enum Compatibility 

pub enum Compatibility {
    Match,
    ModelDiffers,
    DimensionDiffers,
    ProvenanceUnknown,
    ProvenanceContradictsDimension,
}

What the source’s own record permits, independently of what was asked for.

Split from Strategy on purpose: this is a property of the store, and mixing it with the operator’s request is what would make “the operator asked nicely” look like a reason vectors are compatible.

Variants

Match

Known provenance, same model, same width. The only value that permits reuse.

ModelDiffers

Known provenance naming a different model — including at equal width, which is exactly the case no measurement can detect.

DimensionDiffers

Known provenance at a width the target does not produce.

ProvenanceUnknown

The store records nothing. Not a fault: the nominal state of every store created before the record existed, including the one #1762 was opened for.

ProvenanceContradictsDimension

The record and the collections disagree, or the collections establish no shared width at all. Neither side can be trusted to describe the other.

Implementations

impl Compatibility

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

The sentence that names this state, from the closed vocabulary.

pub fn permits_reuse(self) -> bool

Whether reusing the source vectors is defensible.

One variant, and it is the point of the whole file: proof, not absence of evidence.

pub fn all() -> Vec<Self>

Every variant, so an exhaustive check cannot silently miss one added later.

Trait Implementations

impl Clone for Compatibility

fn clone(&self) -> Compatibility

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Compatibility

impl Debug for Compatibility

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Compatibility

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Compatibility

impl PartialEq for Compatibility

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Compatibility

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 Compatibility