Enum SchemaChange 

pub enum SchemaChange {
    PredicateAdded {
        name: String,
        arity: usize,
    },
    PredicateRemoved {
        name: String,
        arity: usize,
    },
    PredicateArityChanged {
        name: String,
        old_arity: usize,
        new_arity: usize,
    },
    DomainAdded {
        name: String,
    },
    DomainRemoved {
        name: String,
    },
    RuleAdded {
        name: String,
    },
    RuleRemoved {
        name: String,
    },
    PredicateRenamed {
        old_name: String,
        new_name: String,
    },
}

A single structural change detected between two schema versions.

Variants

PredicateAdded

A predicate was added in the new schema.

Fields

name: String

arity: usize

PredicateRemoved

A predicate was removed from the old schema.

Fields

name: String

arity: usize

PredicateArityChanged

A predicate exists in both versions but with a different arity.

Fields

name: String

old_arity: usize

new_arity: usize

DomainAdded

A domain was added in the new schema.

Fields

name: String

DomainRemoved

A domain was removed from the old schema.

Fields

name: String

RuleAdded

A variable binding (rule entry) was added in the new schema.

Fields

name: String

RuleRemoved

A variable binding (rule entry) was removed from the old schema.

Fields

name: String

PredicateRenamed

A predicate was renamed (same arity, high name similarity).

Fields

old_name: String

new_name: String

Implementations

impl SchemaChange

pub fn is_breaking(&self) -> bool

Returns true when this change is considered breaking: removals and arity changes break existing consumers.

pub fn description(&self) -> String

Human-readable description of the change.

Trait Implementations

impl Clone for SchemaChange

fn clone(&self) -> SchemaChange

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SchemaChange

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

Formats the value using the given formatter.

impl PartialEq for SchemaChange

fn eq(&self, other: &SchemaChange) -> 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 StructuralPartialEq for SchemaChange