Enum LeafOp 

pub enum LeafOp<'a> {
    FieldAccess {
        object: &'a Expr,
        field_name: &'a str,
    },
    MapGet {
        map: &'a Expr,
        key: &'a Expr,
    },
    MapSet {
        map: &'a Expr,
        key: &'a Expr,
        value: &'a Expr,
    },
    VectorNew {
        size: &'a Expr,
        fill: &'a Expr,
    },
    VectorSetOrDefaultSameVector {
        vector: &'a Expr,
        index: &'a Expr,
        value: &'a Expr,
    },
    VectorGetOrDefaultLiteral {
        vector: &'a Expr,
        index: &'a Expr,
        default_literal: &'a Literal,
    },
    IntModOrDefaultLiteral {
        a: &'a Expr,
        b: &'a Expr,
        default_literal: &'a Literal,
    },
    ListIndexGet {
        list: &'a Expr,
        index: &'a Expr,
    },
}

Small expression-shaped leaf operations shared across backends.

These are still semantic plans, not backend instructions: they recognize common Aver expression shapes whose meaning is clearer than the raw AST.

Variants

FieldAccess

Fields

object: &'a Expr

field_name: &'a str

MapGet

Fields

map: &'a Expr

key: &'a Expr

MapSet

Fields

map: &'a Expr

key: &'a Expr

value: &'a Expr

VectorNew

Fields

size: &'a Expr

fill: &'a Expr

VectorSetOrDefaultSameVector

Fields

vector: &'a Expr

index: &'a Expr

value: &'a Expr

VectorGetOrDefaultLiteral

Fields

vector: &'a Expr

index: &'a Expr

default_literal: &'a Literal

IntModOrDefaultLiteral

Fused Result.withDefault(Int.mod(a, b), literal) → skip Result allocation.

Fields

a: &'a Expr

b: &'a Expr

default_literal: &'a Literal

ListIndexGet

Fused Vector.get(Vector.fromList(list), index) → skip AverVector allocation.

Fields

list: &'a Expr

index: &'a Expr

Trait Implementations

impl<'a> Clone for LeafOp<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for LeafOp<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for LeafOp<'a>

fn eq(&self, other: &LeafOp<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Copy for LeafOp<'a>

impl<'a> StructuralPartialEq for LeafOp<'a>