Enum move_lang::typing::ast::UnannotatedExp_

pub enum UnannotatedExp_ {
    Unit {
        trailing: bool,
    },
    Value(Value),
    Move {
        from_user: bool,
        var: Var,
    },
    Copy {
        from_user: bool,
        var: Var,
    },
    Use(Var),
    Constant(Option<ModuleIdent>, ConstantName),
    ModuleCall(Box<ModuleCall>),
    Builtin(Box<BuiltinFunction>, Box<Exp>),
    IfElse(Box<Exp>, Box<Exp>, Box<Exp>),
    While(Box<Exp>, Box<Exp>),
    Loop {
        has_break: bool,
        body: Box<Exp>,
    },
    Block(Sequence),
    Assign(LValueList, Vec<Option<Type>>, Box<Exp>),
    Mutate(Box<Exp>, Box<Exp>),
    Return(Box<Exp>),
    Abort(Box<Exp>),
    Break,
    Continue,
    Dereference(Box<Exp>),
    UnaryExp(UnaryOp, Box<Exp>),
    BinopExp(Box<Exp>, BinOp, Box<Type>, Box<Exp>),
    Pack(ModuleIdent, StructName, Vec<Type>, Fields<(Type, Exp)>),
    ExpList(Vec<ExpListItem>),
    Borrow(bool, Box<Exp>, Field),
    TempBorrow(bool, Box<Exp>),
    BorrowLocal(bool, Var),
    Cast(Box<Exp>, Box<Type>),
    Annotate(Box<Exp>, Box<Type>),
    Spec(SpecId, BTreeMap<Var, Type>),
    UnresolvedError,
}

Variants

Unit

Fields

trailing: bool

Value(Value)

Move

Fields

from_user: bool

var: Var

Copy

Fields

from_user: bool

var: Var

Use(Var)

Constant(Option<ModuleIdent>, ConstantName)

ModuleCall(Box<ModuleCall>)

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

IfElse(Box<Exp>, Box<Exp>, Box<Exp>)

While(Box<Exp>, Box<Exp>)

Loop

Fields

has_break: bool

body: Box<Exp>

Block(Sequence)

Assign(LValueList, Vec<Option<Type>>, Box<Exp>)

Mutate(Box<Exp>, Box<Exp>)

Return(Box<Exp>)

Abort(Box<Exp>)

Break

Continue

Dereference(Box<Exp>)

UnaryExp(UnaryOp, Box<Exp>)

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

Pack(ModuleIdent, StructName, Vec<Type>, Fields<(Type, Exp)>)

ExpList(Vec<ExpListItem>)

Borrow(bool, Box<Exp>, Field)

TempBorrow(bool, Box<Exp>)

BorrowLocal(bool, Var)

Cast(Box<Exp>, Box<Type>)

Annotate(Box<Exp>, Box<Type>)

Spec(SpecId, BTreeMap<Var, Type>)

UnresolvedError

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_