Enum Expr

pub enum Expr {
    Atom(Atom),
    Array(Vec<Atom>),
    ArrayAccess {
        array: Atom,
        index: Atom,
    },
    Binary {
        op: BinaryOperation,
        left: Atom,
        right: Atom,
    },
    Repeat {
        value: Atom,
        count: Atom,
    },
    Ternary {
        condition: Atom,
        if_true: Atom,
        if_false: Atom,
    },
    Unary {
        op: UnaryOperation,
        receiver: Atom,
    },
}

An expression that can be mapped to a variable, and eliminated if it appears again.

For now we are rather conservative in the types of expressions we allow. We define this separate type rather than using Expression largely for ease of hashing and comparison while ignoring superfluous information like node ids and spans. It also makes explicit in the type that subexpressions must be atoms.

Variants

Atom(Atom)

Array(Vec<Atom>)

ArrayAccess

Fields

array: Atom

index: Atom

Binary

Fields

op: BinaryOperation

left: Atom

right: Atom

Repeat

Fields

value: Atom

count: Atom

Ternary

Fields

condition: Atom

if_true: Atom

if_false: Atom

Unary

Fields

op: UnaryOperation

receiver: Atom

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl From<Atom> for Expr

fn from(value: Atom) -> Self

Converts to this type from the input type.

impl Hash for Expr

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 Ord for Expr

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

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

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

impl StructuralPartialEq for Expr