Enum move_lang::expansion::ast::Exp_

pub enum Exp_ {
    Value(Value),
    Move(Var),
    Copy(Var),
    Name(ModuleAccess, Option<Vec<Type>>),
    Call(ModuleAccess, Option<Vec<Type>>, Spanned<Vec<Exp>>),
    Pack(ModuleAccess, Option<Vec<Type>>, Fields<Exp>),
    IfElse(Box<Exp>, Box<Exp>, Box<Exp>),
    While(Box<Exp>, Box<Exp>),
    Loop(Box<Exp>),
    Block(Sequence),
    Lambda(LValueList, Box<Exp>),
    Quant(QuantKind, LValueWithRangeList, Vec<Vec<Exp>>, Option<Box<Exp>>, Box<Exp>),
    Assign(LValueList, Box<Exp>),
    FieldMutate(Box<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>),
    ExpList(Vec<Exp>),
    Unit {
        trailing: bool,
    },
    Borrow(bool, Box<Exp>),
    ExpDotted(Box<ExpDotted>),
    Index(Box<Exp>, Box<Exp>),
    Cast(Box<Exp>, Type),
    Annotate(Box<Exp>, Type),
    Spec(SpecId, BTreeSet<Name>),
    UnresolvedError,
}

Variants

Value(Value)

Move(Var)

Copy(Var)

Name(ModuleAccess, Option<Vec<Type>>)

Call(ModuleAccess, Option<Vec<Type>>, Spanned<Vec<Exp>>)

Pack(ModuleAccess, Option<Vec<Type>>, Fields<Exp>)

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

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

Loop(Box<Exp>)

Block(Sequence)

Lambda(LValueList, Box<Exp>)

Quant(QuantKind, LValueWithRangeList, Vec<Vec<Exp>>, Option<Box<Exp>>, Box<Exp>)

Assign(LValueList, Box<Exp>)

FieldMutate(Box<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>)

ExpList(Vec<Exp>)

Unit

Fields

trailing: bool

Borrow(bool, Box<Exp>)

ExpDotted(Box<ExpDotted>)

Index(Box<Exp>, Box<Exp>)

Cast(Box<Exp>, Type)

Annotate(Box<Exp>, Type)

Spec(SpecId, BTreeSet<Name>)

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_