Enum ControlledDeltaClass 

pub enum ControlledDeltaClass {
    NoSemanticChange,
    PrivateImplementation,
    PublicApi,
    PublicHeadsAndPins,
    ProofAndCheckerImplementation,
    PresentationOnly,
}

Semantic class of one controlled stage-one delta.

Variants

NoSemanticChange

An identical semantic input batch.

PrivateImplementation

One owner’s private implementation changes.

PublicApi

A declared public API changes.

PublicHeadsAndPins

Three public heads and their control-plane pins change together.

ProofAndCheckerImplementation

Proof implementation and checker implementation identities change.

PresentationOnly

Display or ordering changes without changing semantics.

Trait Implementations

impl Clone for ControlledDeltaClass

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ControlledDeltaClass

impl Debug for ControlledDeltaClass

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

Formats the value using the given formatter.

impl Eq for ControlledDeltaClass

impl PartialEq for ControlledDeltaClass

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ControlledDeltaClass