Struct EffectRuntime 

pub struct EffectRuntime { /* private fields */ }

The Algebraic Effects runtime.

Construct with EffectRuntime::new(), register effect declarations via register_effect, then execute a block of instructions via run.

Implementations

impl EffectRuntime

pub fn new() -> Self

pub fn register_effect(&mut self, eff: IREffectDeclaration)

Register an effect declaration so perform sites can validate operation arity + parameter shapes at dispatch.

pub fn bind_global(&mut self, name: impl Into<String>, value: Value)

Bind a named value into the global environment (used to resolve symbolic arguments at perform sites).

pub fn enable_tracing(&mut self)

Enable trace event recording. Off by default.

pub fn take_trace(&mut self) -> Vec<TraceEvent>

Drain the recorded trace, leaving the runtime tracing in a fresh state.

pub fn run( &mut self, block: &[Instruction], ) -> Result<ExecutionResult, EffectRuntimeError>

Run a block of instructions and produce a terminal ExecutionResult.

pub fn lookup_operation( &self, effect: &str, operation: &str, ) -> Option<&IREffectOperation>

Look up an effect operation by name. Returns None if the effect is not registered or the operation is not declared.

pub fn effects(&self) -> &HashMap<String, IREffectDeclaration>

Read-only access to registered effects (test introspection).

Trait Implementations

impl Default for EffectRuntime

fn default() -> Self

Returns the “default value” for a type.