Enum IntegrityVerifierFamily 

pub enum IntegrityVerifierFamily {
    DataKey,
    RowEnvelope,
    FieldValue,
    PrimaryKey,
    ValidatedConstraints,
    ForwardIndex,
    IndexEntry,
    UniqueIndex,
    Relation,
    ReverseRelationEntry,
    JournalEnvelope,
    JournalBatchIdentity,
}

Deterministic verifier family within one physical inspection unit.

Variants

DataKey

Current physical data-key framing and identity.

RowEnvelope

Current row envelope, layout stamp, slot count, and table framing.

FieldValue

One accepted field payload or frozen historical fill.

PrimaryKey

Physical key versus accepted row primary-key fields.

ValidatedConstraints

Validated accepted row-local checks.

ForwardIndex

One expected active forward-index witness.

IndexEntry

One physical active forward-index entry.

UniqueIndex

One unique-key multiplicity proof.

Relation

One accepted relation’s target and reverse witness projection.

ReverseRelationEntry

One physical active source-owned reverse-relation entry.

JournalEnvelope

Current durable journal batch framing and sequence continuity.

JournalBatchIdentity

Durable journal batch identity uniqueness.

Trait Implementations

impl CandidType for IntegrityVerifierFamily

fn _ty() -> Type

fn _ty_doc() -> TypeDoc

fn id() -> TypeId

fn idl_serialize<__S>(&self, __serializer: __S) -> Result<(), __S::Error>

where __S: Serializer,

fn ty() -> Type

impl Clone for IntegrityVerifierFamily

fn clone(&self) -> IntegrityVerifierFamily

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IntegrityVerifierFamily

impl Debug for IntegrityVerifierFamily

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntegrityVerifierFamily

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for IntegrityVerifierFamily

impl Hash for IntegrityVerifierFamily

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for IntegrityVerifierFamily

fn cmp(&self, other: &IntegrityVerifierFamily) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for IntegrityVerifierFamily

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for IntegrityVerifierFamily

fn partial_cmp(&self, other: &IntegrityVerifierFamily) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for IntegrityVerifierFamily