Enum Expr 

pub enum Expr {
    Const(Span<ConstantExpr>),
    Range(RangeExpr),
    Vector(Span<Vec<Expr>>),
    Matrix(Span<Vec<Vec<ScalarExpr>>>),
    SymbolAccess(SymbolAccess),
    Binary(BinaryExpr),
    Call(Call),
    ListComprehension(ListComprehension),
    Let(Box<Let>),
    BusOperation(BusOperation),
    Null(Span<()>),
    Unconstrained(Span<()>),
}

Expressions which are valid in the body of a let statement, or in a function call.

Variants

Const(Span<ConstantExpr>)

A constant expression

Range(RangeExpr)

An expression which evaluates to a vector of integers in the given range

Vector(Span<Vec<Expr>>)

A vector of expressions

A vector may be used to represent matrices in some situations, but such matrices must always be composed of scalar values. It is not permitted to have arbitrarily deep vectors.

Matrix(Span<Vec<Vec<ScalarExpr>>>)

A matrix of scalar expressions

SymbolAccess(SymbolAccess)

A reference to a named value of any type

Binary(BinaryExpr)

A binary operator over scalar values

Call(Call)

A call to a pure function

NOTE: This expression is only valid when the call is a pure function; calls to evaluators are not permitted in an Expr context, as they do not produce a value.

ListComprehension(ListComprehension)

A generator expression which produces a vector or matrix of values

Let(Box<Let>)

A let expression, used to bind temporaries in expression position during compilation.

NOTE: The AirScript syntax only permits let in statement position, so this variant is only present in the AST as the result of an explicit transformation.

BusOperation(BusOperation)

A bus operation (p.insert(...) or p.remove(...))

Null(Span<()>)

An empty bus

Unconstrained(Span<()>)

An unconstrained bus

Implementations

impl Expr

pub fn is_constant(&self) -> bool

Returns true if this expression is constant

NOTE: This only returns true for the Const and Range variants

pub fn ty(&self) -> Option<Type>

Returns the resolved type of this expression, if known

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl Display for Expr

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

Formats the value using the given formatter.

impl From<BinaryExpr> for Expr

fn from(expr: BinaryExpr) -> Self

Converts to this type from the input type.

impl From<BusOperation> for Expr

fn from(expr: BusOperation) -> Self

Converts to this type from the input type.

impl From<Call> for Expr

fn from(expr: Call) -> Self

Converts to this type from the input type.

impl From<Expr> for Statement

fn from(expr: Expr) -> Self

Converts to this type from the input type.

impl From<ListComprehension> for Expr

fn from(expr: ListComprehension) -> Self

Converts to this type from the input type.

impl From<SymbolAccess> for Expr

fn from(expr: SymbolAccess) -> Self

Converts to this type from the input type.

impl PartialEq for Expr

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

fn span(&self) -> SourceSpan

impl TryFrom<Expr> for ScalarExpr

type Error = InvalidExprError

The type returned in the event of a conversion error.

fn try_from(expr: Expr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Let> for Expr

type Error = InvalidExprError

The type returned in the event of a conversion error.

fn try_from(expr: Let) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<ScalarExpr> for Expr

type Error = InvalidExprError

The type returned in the event of a conversion error.

fn try_from(expr: ScalarExpr) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Statement> for Expr

type Error = InvalidExprError

The type returned in the event of a conversion error.

fn try_from(stmt: Statement) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for Expr

impl StructuralPartialEq for Expr