Enum MigrationStep 

pub enum MigrationStep {
    SchemaDelta(Box<SchemaDeltaStep>),
    Assertion {
        contract: Box<AssertionStepContract>,
        plan: Box<MigrationAssertionPlan>,
        expected: AssertionExpectation,
    },
}

Exact ordered migration step algebra. Trusted steps deliberately do not deserialize.

Variants

SchemaDelta(Box<SchemaDeltaStep>)

One state-changing schema delta.

Assertion

One state-preserving verifier-derived assertion.

Fields

contract: Box<AssertionStepContract>

Constructor-derived assertion contract.

plan: Box<MigrationAssertionPlan>

Canonical typed assertion plan.

expected: AssertionExpectation

Closed expected outcome.

Implementations

impl MigrationStep

pub fn assertion( id: MigrationStepId, plan: MigrationAssertionPlan, expected: AssertionExpectation, ) -> Result<Self, Diagnostic>

Construct a trusted assertion step and derive all contract claims.

pub const fn kind(&self) -> MigrationStepKind

Return the closed step discriminator.

pub const fn id(&self) -> &MigrationStepId

Return the unique step-local identity.

pub const fn required_capabilities(&self) -> &CapabilitySet

Return constructor-derived required capabilities.

pub fn as_schema_delta(&self) -> Option<&SchemaDeltaStep>

Return a schema-delta step when this is state-changing.

pub fn as_assertion( &self, ) -> Option<(&AssertionStepContract, &MigrationAssertionPlan, AssertionExpectation)>

Return assertion contract, plan, and expectation when state-preserving.

pub fn validate(&self) -> Result<(), Diagnostic>

Rebuild all derived claims and reject an assembled mismatched step.

pub fn canonical_bytes(&self) -> Result<Vec<u8>, Diagnostic>

Return exact canonical heterogeneous step bytes.

Trait Implementations

impl Clone for MigrationStep

fn clone(&self) -> MigrationStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MigrationStep

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

Formats the value using the given formatter.

impl Eq for MigrationStep

impl From<SchemaDeltaStep> for MigrationStep

fn from(step: SchemaDeltaStep) -> Self

Converts to this type from the input type.

impl PartialEq for MigrationStep

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for MigrationStep

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 MigrationStep