Enum cairo_lang_lowering::lower::context::LoweredExpr

pub enum LoweredExpr {
    AtVariable(VariableId),
    Tuple {
        exprs: Vec<LoweredExpr>,
        location: StableLocation,
    },
    ExternEnum(LoweredExprExternEnum),
    SemanticVar(VarId),
    Snapshot {
        expr: Box<LoweredExpr>,
        location: StableLocation,
    },
}

Representation of the value of a computed expression.

Variants

AtVariable(VariableId)

The expression value lies in a variable.

Tuple

Fields

exprs: Vec<LoweredExpr>

location: StableLocation

The expression value is a tuple.

ExternEnum(LoweredExprExternEnum)

The expression value is an enum result from an extern call.

SemanticVar(VarId)

Snapshot

Fields

expr: Box<LoweredExpr>

location: StableLocation

Implementations

impl LoweredExpr

pub fn var( self, ctx: &mut LoweringContext<'_>, scope: &mut BlockBuilder ) -> Result<VariableId, LoweringFlowError>

pub fn ty(&self, ctx: &mut LoweringContext<'_>) -> TypeId

Trait Implementations

impl Clone for LoweredExpr

fn clone(&self) -> LoweredExpr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LoweredExpr

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

Formats the value using the given formatter.