Enum PessimisticBool 

pub enum PessimisticBool {
    True,
    False,
    Assume,
}

A bool that assumes false when uncertain.

PessimisticBool behaves like an Option<bool> where None defaults to false. The enum’s True maps to Some(true), False maps to Some(false).

Inside rust, your extrinsic uncertainity is your pessimism.

Variants

True

Explicitly true.

False

Explicitly false.

Assume

Unknown but pessimistically assumed to be false.

Trait Implementations

impl BitAnd for PessimisticBool

Resolves both operands to bool, then ANDs.

type Output = PessimisticBool

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self

Performs the & operation.

impl BitAndAssign for PessimisticBool

fn bitand_assign(&mut self, rhs: Self)

Performs the &= operation.

impl BitOr for PessimisticBool

Resolves both operands to bool, then ORs.

type Output = PessimisticBool

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self

Performs the | operation.

impl BitOrAssign for PessimisticBool

fn bitor_assign(&mut self, rhs: Self)

Performs the |= operation.

impl BitXor for PessimisticBool

Resolves both operands to bool, then XORs.

type Output = PessimisticBool

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Self) -> Self

Performs the ^ operation.

impl BitXorAssign for PessimisticBool

fn bitxor_assign(&mut self, rhs: Self)

Performs the ^= operation.

impl Clone for PessimisticBool

fn clone(&self) -> PessimisticBool

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PessimisticBool

Prints True, False, or AssumeFalse.

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

Formats the value using the given formatter.

impl Default for PessimisticBool

Returns Assume.

fn default() -> Self

Returns the “default value” for a type.

impl Display for PessimisticBool

Prints true, false, or assume_false.

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

Formats the value using the given formatter.

impl From<Option<bool>> for PessimisticBool

fn from(value: Option<bool>) -> Self

Converts to this type from the input type.

impl From<PessimisticBool> for Option<bool>

fn from(value: PessimisticBool) -> Self

Converts to this type from the input type.

impl From<PessimisticBool> for bool

fn from(value: PessimisticBool) -> Self

Converts to this type from the input type.

impl From<bool> for PessimisticBool

fn from(value: bool) -> Self

Converts to this type from the input type.

impl FromStr for PessimisticBool

Parses "true", "false", "assume", or "assume_false".

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for PessimisticBool

Hashes the resolved bool, consistent with Eq.

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 Not for PessimisticBool

Negation flips the predisposition: returns OptimisticBool.

type Output = OptimisticBool

The resulting type after applying the ! operator.

fn not(self) -> OptimisticBool

Performs the unary ! operation.

impl Ord for PessimisticBool

Orders by resolved value: False < True, Assume equals False.

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

Compares resolved values: Assume equals False.

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

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

impl Eq for PessimisticBool