[][src]Enum leo_ast::expression::Expression

pub enum Expression {
    Identifier(Identifier),
    Address(StringSpan),
    Boolean(StringSpan),
    Field(StringSpan),
    Group(Box<GroupValue>),
    Implicit(StringSpan),
    Integer(IntegerTypeStringSpan),
    Add(Box<(Expression, Expression)>, Span),
    Sub(Box<(Expression, Expression)>, Span),
    Mul(Box<(Expression, Expression)>, Span),
    Div(Box<(Expression, Expression)>, Span),
    Pow(Box<(Expression, Expression)>, Span),
    Not(Box<Expression>, Span),
    Negate(Box<Expression>, Span),
    Or(Box<(Expression, Expression)>, Span),
    And(Box<(Expression, Expression)>, Span),
    Eq(Box<(Expression, Expression)>, Span),
    Ge(Box<(Expression, Expression)>, Span),
    Gt(Box<(Expression, Expression)>, Span),
    Le(Box<(Expression, Expression)>, Span),
    Lt(Box<(Expression, Expression)>, Span),
    IfElse(Box<(Expression, Expression, Expression)>, Span),
    ArrayInline(Vec<SpreadOrExpression>, Span),
    ArrayInitializer(Box<(Expression, ArrayDimensions)>, Span),
    ArrayAccess(Box<(Expression, RangeOrExpression)>, Span),
    Tuple(Vec<Expression>, Span),
    TupleAccess(Box<(Expression, PositiveNumber)>, Span),
    Circuit(IdentifierVec<CircuitVariableDefinition>, Span),
    CircuitMemberAccess(Box<Expression>, IdentifierSpan),
    CircuitStaticFunctionAccess(Box<Expression>, IdentifierSpan),
    FunctionCall(Box<Expression>, Vec<Expression>, Span),
    CoreFunctionCall(StringVec<Expression>, Span),
}

Expression that evaluates to a value

Variants

Identifier(Identifier)
Address(StringSpan)
Boolean(StringSpan)
Field(StringSpan)
Group(Box<GroupValue>)
Implicit(StringSpan)
Integer(IntegerTypeStringSpan)
Negate(Box<Expression>, Span)
ArrayInline(Vec<SpreadOrExpression>, Span)
ArrayInitializer(Box<(Expression, ArrayDimensions)>, Span)
Tuple(Vec<Expression>, Span)
CircuitMemberAccess(Box<Expression>, IdentifierSpan)
CircuitStaticFunctionAccess(Box<Expression>, IdentifierSpan)
FunctionCall(Box<Expression>, Vec<Expression>, Span)
CoreFunctionCall(StringVec<Expression>, Span)

Implementations

impl Expression[src]

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

Trait Implementations

impl Clone for Expression[src]

impl Debug for Expression[src]

impl<'de> Deserialize<'de> for Expression[src]

impl<'ast> Display for Expression[src]

impl Eq for Expression[src]

impl<'ast> From<AddressValue<'ast>> for Expression[src]

impl<'ast> From<ArrayInitializerExpression<'ast>> for Expression[src]

impl<'ast> From<ArrayInlineExpression<'ast>> for Expression[src]

impl<'ast> From<Assignee<'ast>> for Expression[src]

impl<'ast> From<BinaryExpression<'ast>> for Expression[src]

impl<'ast> From<BooleanValue<'ast>> for Expression[src]

impl<'ast> From<CircuitInlineExpression<'ast>> for Expression[src]

impl<'ast> From<Expression<'ast>> for Expression[src]

impl<'ast> From<FieldValue<'ast>> for Expression[src]

impl<'ast> From<GroupValue<'ast>> for Expression[src]

impl<'ast> From<Identifier<'ast>> for Expression[src]

impl<'ast> From<IntegerValue<'ast>> for Expression[src]

impl<'ast> From<NumberValue<'ast>> for Expression[src]

impl<'ast> From<PostfixExpression<'ast>> for Expression[src]

impl<'ast> From<TernaryExpression<'ast>> for Expression[src]

impl<'ast> From<TupleAccess<'ast>> for Expression[src]

impl<'ast> From<TupleExpression<'ast>> for Expression[src]

impl<'ast> From<UnaryExpression<'ast>> for Expression[src]

impl<'ast> From<Value<'ast>> for Expression[src]

impl PartialEq<Expression> for Expression[src]

impl Serialize for Expression[src]

impl StructuralEq for Expression[src]

impl StructuralPartialEq for Expression[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> DeserializeOwned for T where
    T: for<'de> Deserialize<'de>, 
[src]

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]

impl<T> From<T> for T[src]

impl<T> Instrument for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,