Enum EnvironmentErrorCode 

pub enum EnvironmentErrorCode {
    UnsupportedSchema,
    IncompatiblePrelude,
    Malformed,
    ResourceLimit,
    DependencyCycle,
    UnresolvedObligation,
    TrustedNameReplacement,
    IllTyped,
    InexactConversion,
    IndependentDisagreement,
    TargetNotProved,
    MissingEvidence,
    Unsupported,
}

Why an environment certificate was refused. Each code is one kind of refusal, so a caller — and a tamper test — can say not only THAT a certificate failed but which check refused it.

Variants

UnsupportedSchema

The document names a schema this checker does not implement.

IncompatiblePrelude

The certificate was minted against another prelude.

Malformed

The document is not a well-formed certificate (bad JSON, a dangling or forward row).

ResourceLimit

A declared limit was exceeded before any checking work began.

DependencyCycle

Declarations cite each other in a cycle.

UnresolvedObligation

A declaration cites a name that is not declared before it, or checking left an obligation.

TrustedNameReplacement

A declaration takes a name the base owns, a reserved name, or an earlier entry’s name.

IllTyped

The kernel refuses a declaration.

InexactConversion

A declaration checks only under cumulative subtyping, where exact conversion was declared.

IndependentDisagreement

The two kernels disagree.

TargetNotProved

The target is missing or has no proof.

MissingEvidence

Evidence the certificate must carry is missing (an opaque theorem’s proof).

Unsupported

A construct this checker does not rebuild.

Implementations

impl EnvironmentErrorCode

pub fn as_str(self) -> &'static str

Trait Implementations

impl Clone for EnvironmentErrorCode

fn clone(&self) -> EnvironmentErrorCode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EnvironmentErrorCode

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

Formats the value using the given formatter.

impl Hash for EnvironmentErrorCode

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 Ord for EnvironmentErrorCode

fn cmp(&self, other: &EnvironmentErrorCode) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for EnvironmentErrorCode

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

fn partial_cmp(&self, other: &EnvironmentErrorCode) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for EnvironmentErrorCode

impl Eq for EnvironmentErrorCode

impl StructuralPartialEq for EnvironmentErrorCode