Enum InvariantVerification 

pub enum InvariantVerification {
    Valid,
    Violated {
        doc_ids: Vec<u64>,
    },
}

Result of invariant verification

Variants

Valid

Invariant holds

Violated

Invariant violated - these doc IDs should not be in results

Fields

doc_ids: Vec<u64>

Implementations

impl InvariantVerification

pub fn is_valid(&self) -> bool

Check if the invariant holds

pub fn assert_valid(&self)

Panic if the invariant is violated (for testing)

Trait Implementations

impl Clone for InvariantVerification

fn clone(&self) -> InvariantVerification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantVerification

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

Formats the value using the given formatter.

impl PartialEq for InvariantVerification

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for InvariantVerification

impl StructuralPartialEq for InvariantVerification