Enum Element

pub enum Element<'a> {
    Statement(&'a Statement),
    Expression(&'a Expression),
    Block {
        block: &'a Block,
        function_body: bool,
    },
    AleoExecution {
        context: AleoContext<'a>,
        registers: IndexMap<u64, Value>,
        instruction_index: usize,
    },
    DelayedCall(GlobalId),
}

A Leo construct to be evauated.

Variants

Statement(&'a Statement)

A Leo statement.

Expression(&'a Expression)

A Leo expression.

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: &'a Block

function_body: bool

AleoExecution

Fields

context: AleoContext<'a>

registers: IndexMap<u64, Value>

instruction_index: usize

DelayedCall(GlobalId)

Implementations

impl Element<'_>

pub fn span(&self) -> Span

Trait Implementations

impl<'a> Clone for Element<'a>

fn clone(&self) -> Element<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Element<'a>

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

Formats the value using the given formatter.