Enum selectors::kleene_value::KleeneValue

pub enum KleeneValue {
    False,
    True,
    Unknown,
}

A “trilean” value based on Kleen logic.

Variants

False

False

True

True

Unknown

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<KleeneValue> for KleeneValue

type Output = KleeneValue

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAndAssign<KleeneValue> for KleeneValue

fn bitand_assign(&mut self, other: Self)

Performs the &= operation.

impl BitOr<KleeneValue> for KleeneValue

type Output = KleeneValue

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOrAssign<KleeneValue> 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<KleeneValue> for KleeneValue

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

This method tests for self and other values to be equal, and is used by ==.

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

This method 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 StructuralEq for KleeneValue

impl StructuralPartialEq for KleeneValue