Enum Element 

pub enum Element {
    Statement(Statement),
    Expression(Expression, Option<Type>),
    Block {
        block: Block,
        function_body: bool,
    },
    AleoExecution {
        context: Box<AleoContext>,
        registers: IndexMap<u64, Value>,
        instruction_index: usize,
    },
    DelayedCall(Location),
    DelayedAsyncBlock {
        program: Symbol,
        block: NodeID,
        names: HashMap<Vec<Symbol>, Value>,
    },
}

A Leo construct to be evauated.

Variants

Statement(Statement)

A Leo statement.

Expression(Expression, Option<Type>)

A Leo expression. The optional type is an optional “expected type” for the expression. It helps when trying to resolve an unsuffixed literal.

Block

A Leo block.

We have a separate variant for Leo blocks for two reasons:

1. In a ConditionalExpression, the then block is stored as just a Block with no statement, and
2. We need to remember if a Block came from a function body, so that if such a block ends, we know to push a Unit to the values stack.

Fields

block: Block

function_body: bool

AleoExecution

Fields

context: Box<AleoContext>

registers: IndexMap<u64, Value>

instruction_index: usize

DelayedCall(Location)

DelayedAsyncBlock

Fields

program: Symbol

block: NodeID

names: HashMap<Vec<Symbol>, Value>

Implementations

impl Element

pub fn span(&self) -> Span

Trait Implementations

impl Clone for Element

fn clone(&self) -> Element

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Element

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

Formats the value using the given formatter.