Enum Expr 

pub enum Expr {
    Literal {
        value: Literal,
        span: Span,
    },
    Tr(Tr),
    Path(PathExpr),
    Variant(VariantExpr),
    Unary {
        op: UnaryOp,
        expr: Box<Expr>,
        span: Span,
    },
    Binary {
        op: BinaryOp,
        lhs: Box<Expr>,
        rhs: Box<Expr>,
        span: Span,
    },
    Query(Action),
    If {
        cond: Box<Expr>,
        then: Box<Expr>,
        otherwise: Box<Expr>,
        span: Span,
    },
}

Restricted expressions: literals, translations, typed bindings, enum values and a fixed set of operators. Arbitrary function calls do not exist in this grammar.

Variants

Literal

Fields

value: Literal

span: Span

Tr(Tr)

Path(PathExpr)

Variant(VariantExpr)

Unary

Fields

op: UnaryOp

expr: Box<Expr>

span: Span

Binary

Fields

op: BinaryOp

lhs: Box<Expr>

rhs: Box<Expr>

span: Span

Query(Action)

client.query(args): a typed query binding. It is only written as the query: property of Query; calls exist nowhere else.

If

if cond { a } else { b }: one of two values of the same type.

Fields

cond: Box<Expr>

then: Box<Expr>

otherwise: Box<Expr>

span: Span

Implementations

impl Expr

pub fn span(&self) -> Span

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Self

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.