Enum ValueExpr 

pub enum ValueExpr {
    Constant(Constant, Type),
    Tuple(List<ValueExpr>, Type),
    Union {
        field: Int,
        expr: GcCow<ValueExpr>,
        union_ty: Type,
    },
    Variant {
        discriminant: Int,
        data: GcCow<ValueExpr>,
        enum_ty: Type,
    },
    GetDiscriminant {
        place: GcCow<PlaceExpr>,
    },
    Load {
        source: GcCow<PlaceExpr>,
    },
    AddrOf {
        target: GcCow<PlaceExpr>,
        ptr_ty: PtrType,
    },
    UnOp {
        operator: UnOp,
        operand: GcCow<ValueExpr>,
    },
    BinOp {
        operator: BinOp,
        left: GcCow<ValueExpr>,
        right: GcCow<ValueExpr>,
    },
}

A “value expression” evaluates to a Value.

Variants

Constant(Constant, Type)

Just return a constant value.

Tuple(List<ValueExpr>, Type)

An n-tuple, used for arrays, structs, tuples (including unit).

Union

A Union value.

Fields

field: Int

The union’s field which will be initialized.

expr: GcCow<ValueExpr>

The value it will be initialized with.

union_ty: Type

The union type, needs to be Type::Union

Variant

A variant of an enum type.

Fields

discriminant: Int

The discriminant of the variant.

data: GcCow<ValueExpr>

The ValueExpr for the variant.

enum_ty: Type

The enum type, needs to be Type::Enum.

GetDiscriminant

Read the discriminant of an enum type. As we don’t need to know the validity of the inner data we don’t fully load the variant value.

Fields

place: GcCow<PlaceExpr>

The place where the enum is located.

Load

Load a value from memory.

Fields

source: GcCow<PlaceExpr>

The place to load from.

AddrOf

Create a pointer (raw pointer or reference) to a place.

Fields

target: GcCow<PlaceExpr>

The place to create a pointer to.

ptr_ty: PtrType

The type of the created pointer.

UnOp

Unary operators.

Fields

operator: UnOp

operand: GcCow<ValueExpr>

BinOp

Binary operators.

Fields

operator: BinOp

left: GcCow<ValueExpr>

right: GcCow<ValueExpr>

Trait Implementations

impl Clone for ValueExpr

fn clone(&self) -> ValueExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ValueExpr

impl Debug for ValueExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ValueExpr

fn deserialize<__D>( __deserializer: __D, ) -> Result<ValueExpr, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ValueExpr

impl Hash for ValueExpr

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

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 ValueExpr

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

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for ValueExpr

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for ValueExpr

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

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ValueExpr