Enum move_ir_types::ast::FunctionBody

pub enum FunctionBody {
    Move {
        locals: Vec<(Var, Type)>,
        code: Block_,
    },
    Bytecode {
        locals: Vec<(Var, Type)>,
        code: BytecodeBlocks,
    },
    Native,
}

The body of a Move function

Variants

Move

Fields

locals: Vec<(Var, Type)>

code: Block_

The body is declared locals are all of the declared locals code is the code that defines the procedure

Bytecode

Fields

locals: Vec<(Var, Type)>

code: BytecodeBlocks

Native

The body is provided by the runtime

Trait Implementations

impl Clone for FunctionBody

fn clone(&self) -> FunctionBody

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionBody

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

Formats the value using the given formatter.

impl Display for FunctionBody

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

Formats the value using the given formatter.

impl PartialEq<FunctionBody> for FunctionBody

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