Struct EffectDefinition 

pub struct EffectDefinition {
    pub name: String,
    pub operations: Vec<EffectOperation>,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

effect SSE { Emit(token: Token) -> Unit Done() -> Never } — a top-level declaration, a peer of tool / persona / anchor per the design plan section 3.1.

The declaration is what makes the operation catalog CLOSED. the design decision resolves a bare perform Emit(x) against exactly this set: one declarer ⇒ resolved, two ⇒ a compile error naming both, zero ⇒ a compile error. Without the declaration there is no catalog and effect_name would have to be guessed.

Fields

name: String

operations: Vec<EffectOperation>

loc: Loc

leading_trivia: Vec<Trivia>

v1.5.2 — leading comment trivia attached to this declaration.

trailing_trivia: Vec<Trivia>

v1.5.2 — trailing comment trivia.

Trait Implementations

impl Debug for EffectDefinition

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

Formats the value using the given formatter.