Struct SchemaOperation 

pub struct SchemaOperation(/* private fields */);

One validated schema transition with an exact offline inverse.

Implementations

impl SchemaOperation

pub fn define(facts: Vec<SchemaFact>) -> Result<Self, Diagnostic>

Define a non-empty fact group, canonicalized into fact-identity order.

pub fn redefine( expected: SchemaFact, replacement: SchemaFact, ) -> Result<Self, Diagnostic>

Redefine an existing fact without changing its stable identity.

pub const fn undefine(fact: SchemaFact) -> Self

Undefine one exact fact.

pub const fn kind(&self) -> SchemaOperationKind

Return the operation discriminator.

pub fn defined_facts(&self) -> Option<&[SchemaFact]>

Return defined facts when this is a define operation.

pub fn expected_fact(&self) -> Option<&SchemaFact>

Return the expected current fact when this is a redefinition.

pub fn replacement_fact(&self) -> Option<&SchemaFact>

Return the replacement fact when this is a redefinition.

pub const fn undefined_fact(&self) -> Option<&SchemaFact>

Return the exact removed fact when this is an undefinition.

pub fn affected_ids(&self) -> Vec<SchemaFactId>

Return all affected identities in canonical order for this operation.

pub fn inverse(&self) -> Vec<Self>

Derive exact inverse operations; grouped definitions invert in reverse order.

Trait Implementations

impl Clone for SchemaOperation

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SchemaOperation

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

Formats the value using the given formatter.

impl Eq for SchemaOperation

impl PartialEq for SchemaOperation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SchemaOperation

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 SchemaOperation