Enum move_lang::hlir::ast::UnannotatedExp_

pub enum UnannotatedExp_ {
    Unit {
        case: UnitCase,
    },
    Value(Value),
    Move {
        from_user: bool,
        var: Var,
    },
    Copy {
        from_user: bool,
        var: Var,
    },
    Constant(ConstantName),
    ModuleCall(Box<ModuleCall>),
    Builtin(Box<BuiltinFunction>, Box<Exp>),
    Freeze(Box<Exp>),
    Dereference(Box<Exp>),
    UnaryExp(UnaryOp, Box<Exp>),
    BinopExp(Box<Exp>, BinOp, Box<Exp>),
    Pack(StructName, Vec<BaseType>, Vec<(Field, BaseType, Exp)>),
    ExpList(Vec<ExpListItem>),
    Borrow(bool, Box<Exp>, Field),
    BorrowLocal(bool, Var),
    Cast(Box<Exp>, BuiltinTypeName),
    Unreachable,
    Spec(SpecId, BTreeMap<Var, SingleType>),
    UnresolvedError,
}

Variants

Unit

Fields

case: UnitCase

Value(Value)

Move

Fields

from_user: bool

var: Var

Copy

Fields

from_user: bool

var: Var

Constant(ConstantName)

ModuleCall(Box<ModuleCall>)

Builtin(Box<BuiltinFunction>, Box<Exp>)

Freeze(Box<Exp>)

Dereference(Box<Exp>)

UnaryExp(UnaryOp, Box<Exp>)

BinopExp(Box<Exp>, BinOp, Box<Exp>)

Pack(StructName, Vec<BaseType>, Vec<(Field, BaseType, Exp)>)

ExpList(Vec<ExpListItem>)

Borrow(bool, Box<Exp>, Field)

BorrowLocal(bool, Var)

Cast(Box<Exp>, BuiltinTypeName)

Unreachable

Spec(SpecId, BTreeMap<Var, SingleType>)

UnresolvedError

Implementations

impl UnannotatedExp_

pub fn is_unit(&self) -> bool

Trait Implementations

impl AstDebug for UnannotatedExp_

fn ast_debug(&self, w: &mut AstWriter)

impl Clone for UnannotatedExp_

fn clone(&self) -> UnannotatedExp_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UnannotatedExp_

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

Formats the value using the given formatter.

impl PartialEq<UnannotatedExp_> for UnannotatedExp_

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for UnannotatedExp_