Enum Expression 

pub enum Expression {
    ArrayAccess(Box<ArrayAccess>),
    AssociatedConstant(AssociatedConstantExpression),
    AssociatedFunction(AssociatedFunctionExpression),
    Async(AsyncExpression),
    Array(ArrayExpression),
    Binary(Box<BinaryExpression>),
    Call(Box<CallExpression>),
    Cast(Box<CastExpression>),
    Err(ErrExpression),
    Path(Path),
    Literal(Literal),
    Locator(LocatorExpression),
    MemberAccess(Box<MemberAccess>),
    Repeat(Box<RepeatExpression>),
    Struct(StructExpression),
    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].

AssociatedConstant(AssociatedConstantExpression)

An associated constant; e.g., group::GEN.

AssociatedFunction(AssociatedFunctionExpression)

An associated function; e.g., BHP256::hash_to_field.

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.

Call(Box<CallExpression>)

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

Cast(Box<CastExpression>)

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

Err(ErrExpression)

An expression of type “error”. Will result in a compile error eventually.

Path(Path)

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

Literal(Literal)

A literal expression.

Locator(LocatorExpression)

A locator expression, e.g., hello.aleo/foo.

MemberAccess(Box<MemberAccess>)

An access of a struct member, e.g. struc.member.

Repeat(Box<RepeatExpression>)

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

Struct(StructExpression)

An expression constructing a struct like Foo { bar: 42, baz }.

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(crate) fn precedence(&self) -> u32

pub(crate) fn associativity(&self) -> Associativity

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 zero( ty: &Type, span: Span, node_builder: &NodeBuilder, struct_lookup: &dyn Fn(&[Symbol]) -> 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 struct initialization).

Supported types:

• Integers (i8–i128, u8–u128): literal 0
• Boolean: literal false
• Field, Group, Scalar: zero literals "0"
• Structs: recursively constructs a struct 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 struct_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<AssociatedConstantExpression> for Expression

fn from(value: AssociatedConstantExpression) -> Self

Converts to this type from the input type.

impl From<AssociatedFunctionExpression> for Expression

fn from(value: AssociatedFunctionExpression) -> 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<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<Literal> for Expression

fn from(value: Literal) -> Self

Converts to this type from the input type.

impl From<LocatorExpression> for Expression

fn from(value: LocatorExpression) -> 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<StructExpression> for Expression

fn from(value: StructExpression) -> 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