Struct HandleBlock 

pub struct HandleBlock {
    pub effect_names: Vec<String>,
    pub clauses: Vec<HandlerClause>,
    pub body: Vec<FlowStep>,
    pub loc: Loc,
}

handle SSE { Emit(token) -> { … } } in { … } — the delimited handler scope (D3: an effect is interceptable only inside body).

Fields

effect_names: Vec<String>

handle E1, E2 { … } — the effects this frame intercepts. More than one is legal; IRHandlerFrame.effect_names in the cycle-23 IR is a Vec for the same reason.

clauses: Vec<HandlerClause>

body: Vec<FlowStep>

The in { … } block. Ordinary flow steps — this is what the design decision buys.

loc: Loc

Trait Implementations

impl Debug for HandleBlock

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

Formats the value using the given formatter.