Struct EffectHandle 

pub struct EffectHandle {
    pub scope: Scope,
    pub shells: ShellMap,
    pub exposed: HashSet<String>,
    pub exposed_vars: VarMap,
    pub dep_guards: Vec<EffectGuard>,
    pub cleanup: Option<IrCleanupBlock>,
    pub setup_span: SpanId,
    pub key: EffectInstanceKey,
    pub marker: String,
    pub alias: Option<String>,
}

Fields

scope: Scope

shells: ShellMap

All shells owned by this effect (both exposed and internal).

exposed: HashSet<String>

Names of shells that are exposed to the caller.

exposed_vars: VarMap

Variables exposed to the caller (name -> value).

dep_guards: Vec<EffectGuard>

Guards held for each acquired dependency. Dropping a guard via release_and_teardown decrements the dep’s refcount; the last holder triggers the dep’s cleanup body.

cleanup: Option<IrCleanupBlock>

setup_span: SpanId

The EffectSetup span this handle represents. Threaded into the EffectCleanup span at teardown so the viewer can resolve a cleanup shell’s scope back to the owning effect - cleanups themselves are now parented directly under the test span, so this is the only link from cleanup back to the originating setup.

key: EffectInstanceKey

Dedup key for this effect instance. Needed at cleanup time to derive a ShellInstanceKey::Effect for the synthetic __cleanup shell. marker below is key.marker(), pre-computed at construction.

marker: String

Identity marker mirrored from the dedup key. Threaded into every EffectCleanup span this handle drives at teardown so partner lookup by marker works without re-deriving from the key.

alias: Option<String>

Alias supplied at the first acquisition (start <FX> as <alias>). None when no alias was used. Threaded into the EffectCleanup span so the cleanup card can mirror EffectSetup’s alias display.

Implementations

impl EffectHandle

pub fn exposed_shells(&self) -> ShellMap

Return only the shells that are exposed to the caller.

pub fn exposed_vars(&self) -> &VarMap

Return the exposed variables.