Struct HandlerClause 

pub struct HandlerClause {
    pub operation_name: String,
    pub parameter_names: Vec<String>,
    pub body: Vec<FlowStep>,
    pub loc: Loc,
}

One clause of a HandleBlock: Emit(token) -> { … }.

Fields

operation_name: String

parameter_names: Vec<String>

The clause’s binders. perform Emit(x)’s argument is bound under the clause’s parameter name for the duration of the clause body — the same discipline EffectRuntime::dispatch_clause_for uses (save, bind, restore), so a clause cannot leak a binding into its continuation.

body: Vec<FlowStep>

loc: Loc

Trait Implementations

impl Debug for HandlerClause

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

Formats the value using the given formatter.