Enum leo_typed::expression::Expression

pub enum Expression {
    Identifier(Identifier),
    Address(String, Span),
    Boolean(String, Span),
    Field(String, Span),
    Group(GroupValue),
    Implicit(String, Span),
    Integer(IntegerType, String, Span),
    Add(Box<Expression>, Box<Expression>, Span),
    Sub(Box<Expression>, Box<Expression>, Span),
    Mul(Box<Expression>, Box<Expression>, Span),
    Div(Box<Expression>, Box<Expression>, Span),
    Pow(Box<Expression>, Box<Expression>, Span),
    Not(Box<Expression>, Span),
    Negate(Box<Expression>, Span),
    Or(Box<Expression>, Box<Expression>, Span),
    And(Box<Expression>, Box<Expression>, Span),
    Eq(Box<Expression>, Box<Expression>, Span),
    Ge(Box<Expression>, Box<Expression>, Span),
    Gt(Box<Expression>, Box<Expression>, Span),
    Le(Box<Expression>, Box<Expression>, Span),
    Lt(Box<Expression>, Box<Expression>, Span),
    IfElse(Box<Expression>, Box<Expression>, Box<Expression>, Span),
    Array(Vec<Box<SpreadOrExpression>>, Span),
    ArrayAccess(Box<Expression>, Box<RangeOrExpression>, Span),
    Tuple(Vec<Expression>, Span),
    TupleAccess(Box<Expression>, usize, Span),
    Circuit(Identifier, Vec<CircuitVariableDefinition>, Span),
    CircuitMemberAccess(Box<Expression>, Identifier, Span),
    CircuitStaticFunctionAccess(Box<Expression>, Identifier, Span),
    FunctionCall(Box<Expression>, Vec<Expression>, Span),
}

Expression that evaluates to a value

Variants

Identifier(Identifier)

Address(String, Span)

Boolean(String, Span)

Field(String, Span)

Group(GroupValue)

Implicit(String, Span)

Integer(IntegerType, String, Span)

Add(Box<Expression>, Box<Expression>, Span)

Sub(Box<Expression>, Box<Expression>, Span)

Mul(Box<Expression>, Box<Expression>, Span)

Div(Box<Expression>, Box<Expression>, Span)

Pow(Box<Expression>, Box<Expression>, Span)

Not(Box<Expression>, Span)

Negate(Box<Expression>, Span)

Or(Box<Expression>, Box<Expression>, Span)

And(Box<Expression>, Box<Expression>, Span)

Eq(Box<Expression>, Box<Expression>, Span)

Ge(Box<Expression>, Box<Expression>, Span)

Gt(Box<Expression>, Box<Expression>, Span)

Le(Box<Expression>, Box<Expression>, Span)

Lt(Box<Expression>, Box<Expression>, Span)

IfElse(Box<Expression>, Box<Expression>, Box<Expression>, Span)

Array(Vec<Box<SpreadOrExpression>>, Span)

ArrayAccess(Box<Expression>, Box<RangeOrExpression>, Span)

Tuple(Vec<Expression>, Span)

TupleAccess(Box<Expression>, usize, Span)

Circuit(Identifier, Vec<CircuitVariableDefinition>, Span)

CircuitMemberAccess(Box<Expression>, Identifier, Span)

CircuitStaticFunctionAccess(Box<Expression>, Identifier, Span)

FunctionCall(Box<Expression>, Vec<Expression>, Span)

Implementations

impl Expression

pub fn set_span(&mut self, new_span: &Span)

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy 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<'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<'ast> Display for Expression

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

Formats the value using the given formatter.

impl Eq for Expression

impl<'ast> From<AddressValue<'ast>> for Expression

fn from(address: AddressValue<'ast>) -> Self

Performs the conversion.

impl<'ast> From<ArrayInitializerExpression<'ast>> for Expression

fn from(array: ArrayInitializerExpression<'ast>) -> Self

Performs the conversion.

impl<'ast> From<ArrayInlineExpression<'ast>> for Expression

fn from(array: ArrayInlineExpression<'ast>) -> Self

Performs the conversion.

impl<'ast> From<Assignee<'ast>> for Expression

fn from(assignee: Assignee<'ast>) -> Self

Performs the conversion.

impl<'ast> From<BinaryExpression<'ast>> for Expression

fn from(expression: BinaryExpression<'ast>) -> Self

Performs the conversion.

impl<'ast> From<BooleanValue<'ast>> for Expression

fn from(boolean: BooleanValue<'ast>) -> Self

Performs the conversion.

impl<'ast> From<CircuitInlineExpression<'ast>> for Expression

fn from(expression: CircuitInlineExpression<'ast>) -> Self

Performs the conversion.

impl<'ast> From<Expression<'ast>> for Expression

fn from(expression: AstExpression<'ast>) -> Self

Performs the conversion.

impl<'ast> From<FieldValue<'ast>> for Expression

fn from(field: FieldValue<'ast>) -> Self

Performs the conversion.

impl<'ast> From<GroupValue<'ast>> for Expression

fn from(ast_group: AstGroupValue<'ast>) -> Self

Performs the conversion.

impl<'ast> From<Identifier<'ast>> for Expression

fn from(identifier: AstIdentifier<'ast>) -> Self

Performs the conversion.

impl<'ast> From<IntegerValue<'ast>> for Expression

fn from(integer: IntegerValue<'ast>) -> Self

Performs the conversion.

impl<'ast> From<NumberValue<'ast>> for Expression

fn from(number: AstNumber<'ast>) -> Self

Performs the conversion.

impl<'ast> From<PostfixExpression<'ast>> for Expression

fn from(expression: PostfixExpression<'ast>) -> Self

Performs the conversion.

impl<'ast> From<TernaryExpression<'ast>> for Expression

fn from(expression: TernaryExpression<'ast>) -> Self

Performs the conversion.

impl<'ast> From<TupleExpression<'ast>> for Expression

fn from(tuple: TupleExpression<'ast>) -> Self

Performs the conversion.

impl<'ast> From<UnaryExpression<'ast>> for Expression

fn from(expression: UnaryExpression<'ast>) -> Self

Performs the conversion.

impl<'ast> From<Value<'ast>> for Expression

fn from(value: Value<'ast>) -> Self

Performs the conversion.

impl PartialEq<Expression> for Expression

fn eq(&self, other: &Expression) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Expression) -> bool

This method tests for !=.

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 StructuralEq for Expression

impl StructuralPartialEq for Expression