Enum Expression 

pub enum Expression {
    ArrayAccess(Box<ArrayAccess>),
    Async(AsyncExpression),
    Array(ArrayExpression),
    Binary(Box<BinaryExpression>),
    Intrinsic(Box<IntrinsicExpression>),
    Call(Box<CallExpression>),
    DynamicOp(Box<DynamicOpExpression>),
    Cast(Box<CastExpression>),
    Composite(CompositeExpression),
    Err(ErrExpression),
    Path(Path),
    Literal(Literal),
    MemberAccess(Box<MemberAccess>),
    Repeat(Box<RepeatExpression>),
    Ternary(Box<TernaryExpression>),
    Tuple(TupleExpression),
    TupleAccess(Box<TupleAccess>),
    Unary(Box<UnaryExpression>),
    Unit(UnitExpression),
}

Expression that evaluates to a value.

Variants

ArrayAccess(Box<ArrayAccess>)

An array access, e.g. arr[i].

Async(AsyncExpression)

An async block: e.g. async { my_mapping.set(1, 2); }.

Array(ArrayExpression)

An array expression, e.g., [true, false, true, false].

Binary(Box<BinaryExpression>)

A binary expression, e.g., 42 + 24.

Intrinsic(Box<IntrinsicExpression>)

An intrinsic expression, e.g., _my_intrinsic(args).

Call(Box<CallExpression>)

A call expression, e.g., my_fun(args).

DynamicOp(Box<DynamicOpExpression>)

A dynamic operation against an interface, e.g., MyInterface @ (target) :: foobar(args), MyInterface @ (target) :: counter, or MyInterface @ (target) :: entries.get(i).

Cast(Box<CastExpression>)

A cast expression, e.g., 42u32 as u8.

Composite(CompositeExpression)

An expression of type “error”. Will result in a compile error eventually. An expression constructing a composite like Foo { bar: 42, baz }.

Err(ErrExpression)

Path(Path)

A path to some item, e.g., foo::bar::x.

Literal(Literal)

A literal expression.

MemberAccess(Box<MemberAccess>)

An access of a composite member, e.g. composite.member.

Repeat(Box<RepeatExpression>)

An array expression constructed from one repeated element, e.g., [1u32; 5].

Ternary(Box<TernaryExpression>)

A ternary conditional expression cond ? if_expr : else_expr.

Tuple(TupleExpression)

A tuple expression e.g., (foo, 42, true).

TupleAccess(Box<TupleAccess>)

A tuple access expression e.g., foo.2.

Unary(Box<UnaryExpression>)

An unary expression.

Unit(UnitExpression)

A unit expression e.g. ()

Implementations

impl Expression

pub fn as_u32(&self) -> Option<u32>

Returns self as a known u32 if possible. Otherwise, returns a None. This allows for large and/or signed types but only if they can be safely cast to a u32.

pub fn is_none_expr(&self) -> bool

pub fn is_pure(&self, get_type: &impl Fn(NodeID) -> Type) -> bool

Returns true if we can confidently say evaluating this expression has no side effects, false otherwise

pub fn zero( ty: &Type, span: Span, node_builder: &NodeBuilder, composite_lookup: &dyn Fn(&Location) -> Vec<(Symbol, Type)>, ) -> Option<Self>

Returns the zero value expression for a given type, if one exists.

This is used during lowering and reconstruction to provide default or placeholder values (e.g., for get_or_use calls or composite initialization).

Supported types:

• Integers (i8–i128, u8–u128): literal 0
• Boolean: literal false
• Field, Group, Scalar: zero literals "0"
• Composites: recursively constructs a composite with all members zeroed
• Arrays: repeats a zero element for the array length

Returns None if the type has no well-defined zero representation (e.g. mapping, Future).

The composite_lookup callback provides member definitions for composite types.

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl Default for Expression

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Expression

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Expression

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

Formats the value using the given formatter.

impl From<ArrayAccess> for Expression

fn from(value: ArrayAccess) -> Self

Converts to this type from the input type.

impl From<ArrayExpression> for Expression

fn from(value: ArrayExpression) -> Self

Converts to this type from the input type.

impl From<AsyncExpression> for Expression

fn from(value: AsyncExpression) -> Self

Converts to this type from the input type.

impl From<BinaryExpression> for Expression

fn from(value: BinaryExpression) -> Self

Converts to this type from the input type.

impl From<CallExpression> for Expression

fn from(value: CallExpression) -> Self

Converts to this type from the input type.

impl From<CastExpression> for Expression

fn from(value: CastExpression) -> Self

Converts to this type from the input type.

impl From<CompositeExpression> for Expression

fn from(value: CompositeExpression) -> Self

Converts to this type from the input type.

impl From<DynamicOpExpression> for Expression

fn from(value: DynamicOpExpression) -> Self

Converts to this type from the input type.

impl From<ErrExpression> for Expression

fn from(value: ErrExpression) -> Self

Converts to this type from the input type.

impl From<Identifier> for Expression

fn from(value: Identifier) -> Self

Converts to this type from the input type.

impl From<IntrinsicExpression> for Expression

fn from(value: IntrinsicExpression) -> Self

Converts to this type from the input type.

impl From<Literal> for Expression

fn from(value: Literal) -> Self

Converts to this type from the input type.

impl From<MemberAccess> for Expression

fn from(value: MemberAccess) -> Self

Converts to this type from the input type.

impl From<Path> for Expression

fn from(value: Path) -> Self

Converts to this type from the input type.

impl From<RepeatExpression> for Expression

fn from(value: RepeatExpression) -> Self

Converts to this type from the input type.

impl From<TernaryExpression> for Expression

fn from(value: TernaryExpression) -> Self

Converts to this type from the input type.

impl From<TupleAccess> for Expression

fn from(value: TupleAccess) -> Self

Converts to this type from the input type.

impl From<TupleExpression> for Expression

fn from(value: TupleExpression) -> Self

Converts to this type from the input type.

impl From<UnaryExpression> for Expression

fn from(value: UnaryExpression) -> Self

Converts to this type from the input type.

impl From<UnitExpression> for Expression

fn from(value: UnitExpression) -> Self

Converts to this type from the input type.

impl Node for Expression

fn span(&self) -> Span

Returns the span of the node.

fn set_span(&mut self, span: Span)

Sets the span of the node.

fn id(&self) -> NodeID

Returns the ID of the node.

fn set_id(&mut self, id: NodeID)

Sets the ID of the node.

impl PartialEq for Expression

fn eq(&self, other: &Expression) -> 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 Serialize for Expression

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Expression

impl StructuralPartialEq for Expression