Enum Expr 

pub enum Expr<T> {
    Any(Any<T>),
    All(All<T>),
    Not(Not<T>),
    Var(Var<T>),
    Const(bool),
}

Variants

Any(Any<T>)

All(All<T>)

Not(Not<T>)

Var(Var<T>)

Const(bool)

Implementations

impl<T> Expr<T>

pub fn is_any(&self) -> bool

pub fn is_all(&self) -> bool

pub fn is_not(&self) -> bool

pub fn is_var(&self) -> bool

pub fn is_const(&self) -> bool

pub fn is_const_true(&self) -> bool

pub fn is_const_false(&self) -> bool

impl<T> Expr<T>

pub fn as_mut_any(&mut self) -> Option<&mut Any<T>>

pub fn as_mut_all(&mut self) -> Option<&mut All<T>>

pub fn as_mut_not(&mut self) -> Option<&mut Not<T>>

pub fn as_mut_var(&mut self) -> Option<&mut Var<T>>

pub fn as_mut_const(&mut self) -> Option<&mut bool>

impl<T> Expr<T>

pub fn as_any(&self) -> Option<&Any<T>>

pub fn as_all(&self) -> Option<&All<T>>

pub fn as_not(&self) -> Option<&Not<T>>

pub fn as_var(&self) -> Option<&Var<T>>

pub fn as_const(&self) -> Option<&bool>

impl<T> Expr<T>

pub fn is_empty_not_any(&self) -> bool

pub fn is_empty_not_all(&self) -> bool

pub fn is_expr_not_var(&self) -> bool

pub fn as_mut_not_any(&mut self) -> Option<&mut Any<T>>

pub fn as_mut_not_all(&mut self) -> Option<&mut All<T>>

pub fn as_mut_expr_list(&mut self) -> Option<&mut Vec<Expr<T>>>

Trait Implementations

impl<T: Clone> Clone for Expr<T>

fn clone(&self) -> Expr<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Expr<T>

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

Formats the value using the given formatter.

impl<T> Display for Expr<T>

where T: Display,

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

Formats the value using the given formatter.

impl<T> From<All<T>> for Expr<T>

fn from(all: All<T>) -> Self

Converts to this type from the input type.

impl<T> From<Any<T>> for Expr<T>

fn from(any: Any<T>) -> Self

Converts to this type from the input type.

impl<T> From<Expr<T>> for Not<T>

fn from(expr: Expr<T>) -> Self

Converts to this type from the input type.

impl<T> From<Not<T>> for Expr<T>

fn from(not: Not<T>) -> Self

Converts to this type from the input type.

impl<T> From<Var<T>> for Expr<T>

fn from(var: Var<T>) -> Self

Converts to this type from the input type.

impl<T> From<bool> for Expr<T>

fn from(b: bool) -> Self

Converts to this type from the input type.

impl<T: PartialEq> PartialEq for Expr<T>

fn eq(&self, other: &Expr<T>) -> 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<T: Eq> Eq for Expr<T>

impl<T> StructuralPartialEq for Expr<T>