Enum Operation 

pub enum Operation {
    Call {
        component: String,
        input: Expression,
        bind: Option<String>,
    },
    Invoke {
        definition: String,
        input: Expression,
        bind: Option<String>,
    },
    Wait {
        wait: WaitSpec,
    },
    Effect {
        effect: String,
        input: Expression,
        occurrence: String,
        bind: Option<String>,
    },
    Scope {
        mode: ScopeMode,
        body: Box<Region>,
        bind: Option<String>,
    },
}

Frozen structured operations. Complex frontend syntax lowers to these five semantic boundaries.

Variants

Call

Call an abstract component.

Fields

component: String

Component contract ID.

input: Expression

Typed input expression.

bind: Option<String>

Optional result binding.

Invoke

Invoke another definition in the same immutable Plan.

Fields

definition: String

Referenced definition ID.

input: Expression

Typed invocation input expression.

bind: Option<String>

Optional result binding.

Wait

Durably suspend.

Fields

wait: WaitSpec

Wait description.

Effect

Propose an abstract external effect.

Fields

effect: String

Effect contract ID.

input: Expression

Typed argument expression.

occurrence: String

Intentional occurrence key. Retries reuse it.

bind: Option<String>

Optional result binding.

Scope

Execute a nested transactional scope.

Fields

mode: ScopeMode

Scope behavior profile.

body: Box<Region>

Nested body.

bind: Option<String>

Optional result binding.

Trait Implementations

impl Clone for Operation

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 Operation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Operation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Operation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Operation

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 Operation