Enum AssertionStatus 

pub enum AssertionStatus {
    Hypothesis,
    Supported,
    Refuted,
    Disputed,
    Retracted,
    Superseded,
}

Closed assertion-status@1 value.

Variants

Hypothesis

An explicit hypothesis.

Supported

Supported by the current interpretation.

Refuted

Refuted by the current interpretation.

Disputed

Actively disputed.

Retracted

Explicitly retracted.

Superseded

Replaced through the atomic supersession operation.

Implementations

impl AssertionStatus

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

Stable persisted spelling.

pub const fn is_terminal(self) -> bool

Whether this value is terminal under assertion-status@1.

Trait Implementations

impl Clone for AssertionStatus

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 AssertionStatus

impl Debug for AssertionStatus

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

Formats the value using the given formatter.

impl Eq for AssertionStatus

impl Hash for AssertionStatus

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 AssertionStatus

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AssertionStatus