Enum Expr 

pub enum Expr {
    Block(Vec<Expr>),
    LabelAnnotated {
        label: LabelMetadata,
        expr: Box<Expr>,
    },
    Null,
    Bool(bool),
    Number(f64),
    String(CompactString),
    Variable(CompactString),
    List(Vec<Expr>),
    Record(Vec<(CompactString, Expr)>),
    Assign {
        target: AssignTarget,
        expr: Box<Expr>,
    },
    If {
        condition: Box<Expr>,
        then_block: Box<Expr>,
        else_block: Box<Expr>,
    },
    For {
        binding: CompactString,
        iterable: Box<Expr>,
        body: Box<Expr>,
    },
    While {
        condition: Box<Expr>,
        body: Box<Expr>,
    },
    Break,
    Continue,
    StartProcess(ProcessStartExpr),
    ProcessRef {
        process: CompactString,
    },
    HostValueConstructor {
        type_name: CompactString,
        input: Box<Expr>,
    },
    ResourceRef(ResourceRefExpr),
    ReceiverCall {
        receiver: Box<Expr>,
        operation: CompactString,
        args: Vec<Expr>,
    },
    Await(Box<Expr>),
    SleepFor(Box<Expr>),
    SleepUntil(Box<Expr>),
    WaitSignal,
    SignalRun {
        run: Box<Expr>,
        payload: Box<Expr>,
    },
    ResultUnwrap(Box<Expr>),
    Cancel(Box<Expr>),
    Print(Box<Expr>),
    Submit(Option<Box<Expr>>),
    Yield(Box<Expr>),
    Wake(Box<Expr>),
    Finish(Option<Box<Expr>>),
    Fail(Box<Expr>),
    BuiltinCall {
        name: CompactString,
        args: Vec<Expr>,
    },
    Field {
        target: Box<Expr>,
        field: CompactString,
    },
    Index {
        target: Box<Expr>,
        index: Box<Expr>,
    },
    Unary {
        op: UnaryOp,
        expr: Box<Expr>,
    },
    Binary {
        left: Box<Expr>,
        op: BinaryOp,
        right: Box<Expr>,
    },
    TypeLiteral(Box<TypeExpr>),
}

Variants

Block(Vec<Expr>)

LabelAnnotated

Fields

label: LabelMetadata

expr: Box<Expr>

Null

Bool(bool)

Number(f64)

String(CompactString)

Variable(CompactString)

List(Vec<Expr>)

Record(Vec<(CompactString, Expr)>)

Assign

Fields

target: AssignTarget

expr: Box<Expr>

If

Fields

condition: Box<Expr>

then_block: Box<Expr>

else_block: Box<Expr>

For

Fields

binding: CompactString

iterable: Box<Expr>

body: Box<Expr>

While

Fields

condition: Box<Expr>

body: Box<Expr>

Break

Continue

StartProcess(ProcessStartExpr)

ProcessRef

Fields

process: CompactString

HostValueConstructor

Fields

type_name: CompactString

input: Box<Expr>

ResourceRef(ResourceRefExpr)

ReceiverCall

Fields

receiver: Box<Expr>

operation: CompactString

args: Vec<Expr>

Await(Box<Expr>)

SleepFor(Box<Expr>)

SleepUntil(Box<Expr>)

WaitSignal

SignalRun

Fields

run: Box<Expr>

payload: Box<Expr>

ResultUnwrap(Box<Expr>)

Cancel(Box<Expr>)

Print(Box<Expr>)

Submit(Option<Box<Expr>>)

Yield(Box<Expr>)

Wake(Box<Expr>)

Finish(Option<Box<Expr>>)

Fail(Box<Expr>)

BuiltinCall

Fields

name: CompactString

args: Vec<Expr>

Field

Fields

target: Box<Expr>

field: CompactString

Index

Fields

target: Box<Expr>

index: Box<Expr>

Unary

Fields

op: UnaryOp

expr: Box<Expr>

Binary

Fields

left: Box<Expr>

op: BinaryOp

right: Box<Expr>

TypeLiteral(Box<TypeExpr>)

Implementations

impl Expr

pub fn children(&self) -> ExprChildren<'_>

Yields every direct child expression of self in evaluation order.

This is the single structural-traversal primitive: any pass that only needs to recurse into the sub-expressions of a node (without caring about the node’s own kind) can fold over children() instead of re-spelling the full match. Leaf nodes (Null, Bool, Number, String, Variable, Break, Continue, WaitSignal, ResourceRef, ProcessRef, HostValueConstructor metadata, and TypeLiteral) yield nothing.

Assign includes any dynamic index expressions in its target path (in path order) before the assigned value, matching the order in which the compiler and linker visit them.

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<'de> Deserialize<'de> for Expr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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 Serialize for Expr

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Expr