Enum EngineInvariant 

#[non_exhaustive]
pub enum EngineInvariant {
    I1 = 1,
    I2 = 2,
    I3 = 3,
    I4 = 4,
    I5 = 5,
    I6 = 6,
    I7 = 7,
    I8 = 8,
    I9 = 9,
    I10 = 10,
    I11 = 11,
    I12 = 12,
    I13 = 13,
    I14 = 14,
    I15 = 15,
}

Stable engine invariant identifier in the frozen data contract.

The numeric value matches the I{N} naming in the vyre specification. These numbers are permanent: new invariants add new variants, while existing variants never change meaning. Example: EngineInvariant::I4 identifies the IR wire-format round-trip invariant.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

I1 = 1

I1 Determinism.

I2 = 2

I2 Composition commutativity with lowering.

I3 = 3

I3 Backend equivalence.

I4 = 4

I4 IR wire-format round-trip.

I5 = 5

I5 Validation soundness.

I6 = 6

I6 Validation completeness, partial.

I7 = 7

I7 Law monotonicity under composition.

I8 = 8

I8 Reference agreement.

I9 = 9

I9 Law falsifiability.

I10 = 10

I10 Bounded allocation.

I11 = 11

I11 No panic.

I12 = 12

I12 No undefined behaviour.

I13 = 13

I13 Userspace stability.

I14 = 14

I14 Non-exhaustive discipline.

I15 = 15

I15 Certificate stability.

Implementations

impl EngineInvariant

pub const fn ordinal(&self) -> u8

Stable one-based invariant number.

pub fn iter() -> impl Iterator<Item = Self>

Iterate over every known invariant id in declaration order.

Trait Implementations

impl Clone for EngineInvariant

fn clone(&self) -> EngineInvariant

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EngineInvariant

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

Formats the value using the given formatter.

impl Display for EngineInvariant

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

Formats the value using the given formatter.

impl Hash for EngineInvariant

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 EngineInvariant

fn cmp(&self, other: &EngineInvariant) -> 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 EngineInvariant

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

fn partial_cmp(&self, other: &EngineInvariant) -> 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 EngineInvariant

impl Eq for EngineInvariant

impl StructuralPartialEq for EngineInvariant