Enum TransferEffect 

pub enum TransferEffect {
    Assign {
        var: String,
        interval: Interval,
    },
    Constrain {
        var: String,
        constraint: Interval,
    },
    Invalidate {
        var: String,
    },
}

Variants

Assign

Assign a variable to an interval.

Fields

var: String

interval: Interval

Constrain

Constrain a variable to a non-bottom interval.

Fields

var: String

constraint: Interval

Invalidate

Invalidate (set to top) a variable.

Fields

var: String

Trait Implementations

impl Clone for TransferEffect

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TransferEffect

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

Formats the value using the given formatter.