Enum cairo_lang_lowering::lower::context::LoweredExpr

pub enum LoweredExpr {
    AtVariable(VarUsage),
    Tuple {
        exprs: Vec<LoweredExpr>,
        location: LocationId,
    },
    ExternEnum(LoweredExprExternEnum),
    Member(ExprVarMemberPath, LocationId),
    Snapshot {
        expr: Box<LoweredExpr>,
        location: LocationId,
    },
}

Representation of the value of a computed expression.

Variants

AtVariable(VarUsage)

The expression value lies in a variable.

Tuple

Fields

exprs: Vec<LoweredExpr>

location: LocationId

The expression value is a tuple.

ExternEnum(LoweredExprExternEnum)

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

Member(ExprVarMemberPath, LocationId)

Snapshot

Fields

expr: Box<LoweredExpr>

location: LocationId

Implementations

impl LoweredExpr

pub fn as_var_usage( self, ctx: &mut LoweringContext<'_, '_>, builder: &mut BlockBuilder ) -> Result<VarUsage, LoweringFlowError>

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

pub fn location(&self) -> LocationId

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.