Enum selectors::kleene_value::KleeneValue

pub enum KleeneValue {
    False = 0,
    True = 1,
    Unknown = 2,
}

A “trilean” value based on Kleen logic.

Variants

False = 0

False

True = 1

True

Unknown = 2

Either true or false, but we’re not sure which yet.

Implementations

impl KleeneValue

pub fn to_bool(self, unknown: bool) -> bool

Turns this Kleene value to a bool, taking the unknown value as an argument.

pub fn any<T>(iter: impl Iterator<Item = T>, f: impl FnMut(T) -> Self) -> Self

Return true if any result of f() is true. Otherwise, return the strongest value seen. Returns false if empty, like that of Iterator.

pub fn any_false<T>( iter: impl Iterator<Item = T>, f: impl FnMut(T) -> Self, ) -> Self

Return false if any results of f() is false. Otherwise, return the strongest value seen. Returns true if empty, opposite of Iterator.

fn any_value<T>( iter: impl Iterator<Item = T>, value: Self, on_empty: Self, f: impl FnMut(T) -> Self, ) -> Self

Trait Implementations

impl BitAnd for KleeneValue

type Output = KleeneValue

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAndAssign for KleeneValue

fn bitand_assign(&mut self, other: Self)

Performs the &= operation.

impl BitOr for KleeneValue

type Output = KleeneValue

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOrAssign for KleeneValue

fn bitor_assign(&mut self, other: Self)

Performs the |= operation.

impl Clone for KleeneValue

fn clone(&self) -> KleeneValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for KleeneValue

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

Formats the value using the given formatter.

impl From<SelectorMatchingResult> for KleeneValue

fn from(value: SelectorMatchingResult) -> Self

Converts to this type from the input type.

impl From<bool> for KleeneValue

fn from(b: bool) -> Self

Converts to this type from the input type.

impl Not for KleeneValue

type Output = KleeneValue

The resulting type after applying the ! operator.

fn not(self) -> Self

Performs the unary ! operation.

impl PartialEq for KleeneValue

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

impl Eq for KleeneValue

impl StructuralPartialEq for KleeneValue