Enum LeafOp 

pub enum LeafOp<'a> {
    FieldAccess {
        object: &'a Spanned<Expr>,
        field_name: &'a str,
    },
    MapGet {
        map: &'a Spanned<Expr>,
        key: &'a Spanned<Expr>,
    },
    MapSet {
        map: &'a Spanned<Expr>,
        key: &'a Spanned<Expr>,
        value: &'a Spanned<Expr>,
    },
    VectorNew {
        size: &'a Spanned<Expr>,
        fill: &'a Spanned<Expr>,
    },
    VectorSetOrDefaultSameVector {
        vector: &'a Spanned<Expr>,
        index: &'a Spanned<Expr>,
        value: &'a Spanned<Expr>,
    },
    VectorGetOrDefaultLiteral {
        vector: &'a Spanned<Expr>,
        index: &'a Spanned<Expr>,
        default_literal: &'a Literal,
    },
    IntModOrDefaultLiteral {
        a: &'a Spanned<Expr>,
        b: &'a Spanned<Expr>,
        default_literal: &'a Literal,
    },
    ListIndexGet {
        list: &'a Spanned<Expr>,
        index: &'a Spanned<Expr>,
    },
    NoneValue,
    VariantConstructor {
        qualified_type_name: String,
        variant_name: String,
    },
    StaticRef(String),
}

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 Spanned<Expr>

field_name: &'a str

MapGet

Fields

map: &'a Spanned<Expr>

key: &'a Spanned<Expr>

MapSet

Fields

map: &'a Spanned<Expr>

key: &'a Spanned<Expr>

value: &'a Spanned<Expr>

VectorNew

Fields

size: &'a Spanned<Expr>

fill: &'a Spanned<Expr>

VectorSetOrDefaultSameVector

Fields

vector: &'a Spanned<Expr>

index: &'a Spanned<Expr>

value: &'a Spanned<Expr>

VectorGetOrDefaultLiteral

Fields

vector: &'a Spanned<Expr>

index: &'a Spanned<Expr>

default_literal: &'a Literal

IntModOrDefaultLiteral

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

Fields

a: &'a Spanned<Expr>

b: &'a Spanned<Expr>

default_literal: &'a Literal

ListIndexGet

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

Fields

list: &'a Spanned<Expr>

index: &'a Spanned<Expr>

NoneValue

Option.None in non-call position.

VariantConstructor

Nullary variant constructor: Shape.Circle, Domain.Types.TaskStatus.Blocked.

Fields

qualified_type_name: String

variant_name: String

StaticRef(String)

Static module/builtin path not in call position: Fibonacci.fib, List.len.

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> StructuralPartialEq for LeafOp<'a>