Enum ValidityStatus 

pub enum ValidityStatus {
    Valid,
    Invalid,
    Undetermined,
}

Validity status of an argument

Variants

Valid

Argument is logically valid (conclusion follows from premises)

Invalid

Argument is logically invalid (conclusion does not follow)

Undetermined

Validity could not be determined

Trait Implementations

impl Clone for ValidityStatus

fn clone(&self) -> ValidityStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidityStatus

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ValidityStatus

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ValidityStatus

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

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 ValidityStatus

impl Eq for ValidityStatus

impl StructuralPartialEq for ValidityStatus