Enum Expr 

pub enum Expr<T> {
    Not(Box<Expr<T>>),
    And(Vec<Expr<T>>),
    Or(Vec<Expr<T>>),
    Eq(Box<[Expr<T>; 2]>),
    Add(Box<[Expr<T>; 2]>),
    Sub(Box<[Expr<T>; 2]>),
    Mul(Box<[Expr<T>; 2]>),
    BitNot(Box<Expr<T>>),
    BitAnd(Box<[Expr<T>; 2]>),
    BitOr(Box<[Expr<T>; 2]>),
    BitShl(Box<[Expr<T>; 2]>),
    BitShr(Box<[Expr<T>; 2]>),
    TypeProperty(T, String),
    Ref(T),
    Const(Value),
}

An expression, parameterized over the domain of references.

A reference can be:

• An identifier, on the syntactic level,
• an R, for the expanded representation,
• a field index (usize) when executing.

Variants

Not(Box<Expr<T>>)

And(Vec<Expr<T>>)

Or(Vec<Expr<T>>)

Eq(Box<[Expr<T>; 2]>)

Add(Box<[Expr<T>; 2]>)

Sub(Box<[Expr<T>; 2]>)

Mul(Box<[Expr<T>; 2]>)

BitNot(Box<Expr<T>>)

BitAnd(Box<[Expr<T>; 2]>)

BitOr(Box<[Expr<T>; 2]>)

BitShl(Box<[Expr<T>; 2]>)

BitShr(Box<[Expr<T>; 2]>)

TypeProperty(T, String)

Ref(T)

Const(Value)

Implementations

impl<T> Expr<T>

pub fn constant(value: impl Into<Value>) -> Self

pub fn equal(e1: impl Into<Expr<T>>, e2: impl Into<Expr<T>>) -> Self

pub fn add(e1: impl Into<Expr<T>>, e2: impl Into<Expr<T>>) -> Self

pub fn sub(e1: impl Into<Expr<T>>, e2: impl Into<Expr<T>>) -> Self

pub fn mul(e1: impl Into<Expr<T>>, e2: impl Into<Expr<T>>) -> Self

pub fn bitwise_not(e: impl Into<Expr<T>>) -> Self

pub fn bitwise_and(e1: impl Into<Expr<T>>, e2: impl Into<Expr<T>>) -> Self

pub fn bitwise_or(e1: impl Into<Expr<T>>, e2: impl Into<Expr<T>>) -> Self

pub fn bitwise_shift_left( e1: impl Into<Expr<T>>, e2: impl Into<Expr<T>>, ) -> Self

pub fn bitwise_shift_right( e1: impl Into<Expr<T>>, e2: impl Into<Expr<T>>, ) -> Self

pub fn simplified(self) -> Self

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> From<T> for Expr<T>

fn from(r: T) -> Self

Converts to this type from the input type.