Enum DerivationFailureMode 

pub enum DerivationFailureMode {
    MissingPremise,
    InvalidRule,
    OutOfScopeRule,
    ContradictedByWitness,
    CircularDerivation,
    UnsupportedJump,
    VerifierUnavailable,
    None,
}

Derivation failure mode.

Variants

MissingPremise

A required premise is missing.

InvalidRule

The inference rule is invalid.

OutOfScopeRule

The rule is applied outside its scope.

ContradictedByWitness

A witness contradicts the derivation.

CircularDerivation

The derivation is circular.

UnsupportedJump

The conclusion jumps beyond the premises and rule.

VerifierUnavailable

The verifier could not be run.

None

No failure is known.

Trait Implementations

impl Clone for DerivationFailureMode

fn clone(&self) -> DerivationFailureMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DerivationFailureMode

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DerivationFailureMode

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for DerivationFailureMode

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for DerivationFailureMode

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for DerivationFailureMode

impl Eq for DerivationFailureMode

impl StructuralPartialEq for DerivationFailureMode