Skip to main content

SemanticChangeKind

cortex_store::semantic_diff

Enum SemanticChangeKind

pub enum SemanticChangeKind {
Show 33 variants    ActivePrincipleMissing {
        id: String,
    },
    ActivePrincipleAdded {
        id: String,
    },
    ActivePrincipleChanged {
        id: String,
    },
    ActiveDoctrineMissing {
        id: String,
    },
    ActiveDoctrineAdded {
        id: String,
    },
    ActiveDoctrineChanged {
        id: String,
    },
    ActiveMemoryMissing {
        id: String,
    },
    ActiveMemoryAdded {
        id: String,
    },
    ActiveMemoryChanged {
        id: String,
    },
    SalienceDistributionChanged {
        current: SalienceDistribution,
        restored: SalienceDistribution,
    },
    UnresolvedContradictionMissing {
        id: String,
    },
    UnresolvedContradictionAdded {
        id: String,
    },
    UnresolvedContradictionChanged {
        id: String,
    },
    PrincipalMissing {
        id: String,
    },
    PrincipalAdded {
        id: String,
    },
    PrincipalChanged {
        id: String,
    },
    TrustTierDowngraded {
        id: String,
        current: TrustTier,
        restored: TrustTier,
    },
    TrustTierChanged {
        id: String,
        current: TrustTier,
        restored: TrustTier,
    },
    KeyMissing {
        id: String,
    },
    KeyAdded {
        id: String,
    },
    KeyChanged {
        id: String,
    },
    KeyPrincipalChanged {
        id: String,
        current: String,
        restored: String,
    },
    KeyStateDowngraded {
        id: String,
        current: KeyState,
        restored: KeyState,
    },
    KeyReactivated {
        id: String,
        current: KeyState,
        restored: KeyState,
    },
    TruthStateDowngraded {
        artifact: ArtifactKind,
        id: String,
        current: TruthState,
        restored: TruthState,
    },
    RuntimeModeDowngraded {
        current: RuntimeMode,
        restored: RuntimeMode,
    },
    ProofStateDowngraded {
        current: ProofState,
        restored: ProofState,
    },
    TruthCeilingDowngraded {
        current: TruthCeiling,
        restored: TruthCeiling,
    },
    TruthCeilingChanged {
        current: TruthCeiling,
        restored: TruthCeiling,
    },
    ClaimTruthCeilingMissing {
        claim: String,
    },
    ClaimTruthCeilingAdded {
        claim: String,
    },
    ClaimTruthCeilingDowngraded {
        claim: String,
        current: TruthCeiling,
        restored: TruthCeiling,
    },
    ClaimTruthCeilingChanged {
        claim: String,
        current: TruthCeiling,
        restored: TruthCeiling,
    },
}

Expand description

Specific kind of semantic change detected between snapshots.

Variants§

ActivePrincipleMissing

Fields

§id: String

ActivePrincipleAdded

Fields

§id: String

ActivePrincipleChanged

Fields

§id: String

ActiveDoctrineMissing

Fields

§id: String

ActiveDoctrineAdded

Fields

§id: String

ActiveDoctrineChanged

Fields

§id: String

ActiveMemoryMissing

Fields

§id: String

ActiveMemoryAdded

Fields

§id: String

ActiveMemoryChanged

Fields

§id: String

SalienceDistributionChanged

Fields

§current: SalienceDistribution

§restored: SalienceDistribution

UnresolvedContradictionMissing

Fields

§id: String

UnresolvedContradictionAdded

Fields

§id: String

UnresolvedContradictionChanged

Fields

§id: String

PrincipalMissing

Fields

§id: String

PrincipalAdded

Fields

§id: String

PrincipalChanged

Fields

§id: String

TrustTierDowngraded

Fields

§id: String

§current: TrustTier

§restored: TrustTier

TrustTierChanged

Fields

§id: String

§current: TrustTier

§restored: TrustTier

KeyMissing

Fields

§id: String

KeyAdded

Fields

§id: String

KeyChanged

Fields

§id: String

KeyPrincipalChanged

Fields

§id: String

§current: String

§restored: String

KeyStateDowngraded

Fields

§id: String

§current: KeyState

§restored: KeyState

KeyReactivated

Fields

§id: String

§current: KeyState

§restored: KeyState

TruthStateDowngraded

Fields

§artifact: ArtifactKind

§id: String

§current: TruthState

§restored: TruthState

RuntimeModeDowngraded

Fields

§current: RuntimeMode

§restored: RuntimeMode

ProofStateDowngraded

Fields

§current: ProofState

§restored: ProofState

TruthCeilingDowngraded

Fields

§current: TruthCeiling

§restored: TruthCeiling

TruthCeilingChanged

Fields

§current: TruthCeiling

§restored: TruthCeiling

ClaimTruthCeilingMissing

Fields

§claim: String

ClaimTruthCeilingAdded

Fields

§claim: String

ClaimTruthCeilingDowngraded

Fields

§claim: String

§current: TruthCeiling

§restored: TruthCeiling

ClaimTruthCeilingChanged

Fields

§claim: String

§current: TruthCeiling

§restored: TruthCeiling

Trait Implementations§

impl Clone for SemanticChangeKind

fn clone(&self) -> SemanticChangeKind

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Debug for SemanticChangeKind

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for SemanticChangeKind

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl PartialEq for SemanticChangeKind

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

Tests for self and other values to be equal, and is used by ==.

1.0.0 (const: unstable) · Source§

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 Serialize for SemanticChangeKind

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl Eq for SemanticChangeKind

impl StructuralPartialEq for SemanticChangeKind

Auto Trait Implementations§

impl Freeze for SemanticChangeKind

impl RefUnwindSafe for SemanticChangeKind

impl Send for SemanticChangeKind

impl Sync for SemanticChangeKind

impl Unpin for SemanticChangeKind

impl UnsafeUnpin for SemanticChangeKind

impl UnwindSafe for SemanticChangeKind

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> DynClone for T
where T: Clone,

fn __clone_box(&self, _: Private) -> *mut ()

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,