Enum move_lang::naming::ast::Exp_

pub enum Exp_ {
    Value(Value),
    Move(Var),
    Copy(Var),
    Use(Var),
    Constant(Option<ModuleIdent>, ConstantName),
    ModuleCall(ModuleIdent, FunctionName, Option<Vec<Type>>, Spanned<Vec<Exp>>),
    Builtin(BuiltinFunction, Spanned<Vec<Exp>>),
    IfElse(Box<Exp>, Box<Exp>, Box<Exp>),
    While(Box<Exp>, Box<Exp>),
    Loop(Box<Exp>),
    Block(Sequence),
    Assign(LValueList, Box<Exp>),
    FieldMutate(ExpDotted, 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<Exp>),
    Pack(ModuleIdent, StructName, Option<Vec<Type>>, Fields<Exp>),
    ExpList(Vec<Exp>),
    Unit {
        trailing: bool,
    },
    DerefBorrow(ExpDotted),
    Borrow(bool, ExpDotted),
    Cast(Box<Exp>, Type),
    Annotate(Box<Exp>, Type),
    Spec(SpecId, BTreeSet<Var>),
    UnresolvedError,
}

Variants

Value(Value)

Move(Var)

Copy(Var)

Use(Var)

Constant(Option<ModuleIdent>, ConstantName)

ModuleCall(ModuleIdent, FunctionName, Option<Vec<Type>>, Spanned<Vec<Exp>>)

Builtin(BuiltinFunction, Spanned<Vec<Exp>>)

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

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

Loop(Box<Exp>)

Block(Sequence)

Assign(LValueList, Box<Exp>)

FieldMutate(ExpDotted, 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<Exp>)

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

ExpList(Vec<Exp>)

Unit

Fields

trailing: bool

DerefBorrow(ExpDotted)

Borrow(bool, ExpDotted)

Cast(Box<Exp>, Type)

Annotate(Box<Exp>, Type)

Spec(SpecId, BTreeSet<Var>)

UnresolvedError

Trait Implementations

impl AstDebug for Exp_

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

impl Clone for Exp_

fn clone(&self) -> Exp_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Exp_

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

Formats the value using the given formatter.

impl PartialEq<Exp_> for Exp_

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