Struct CompiledEffectMachine 

pub struct CompiledEffectMachine { /* private fields */ }

Compiled effect machine — drives JIT-compiled freer-simple effect stacks.

The step/resume protocol:

1. step() calls the compiled function, parses the result:
   • Con with Val con_tag → Yield::Done(value)
   • Con with E con_tag → Yield::Request(tag, request, continuation)
2. resume(continuation, response) applies the continuation tree to the response and parses the resulting heap object.

Implementations

impl CompiledEffectMachine

pub fn new( func_ptr: unsafe extern "C" fn(*mut VMContext) -> *mut u8, vmctx: VMContext, tags: ConTags, ) -> Self

pub fn vmctx_mut(&mut self) -> &mut VMContext

Access the VMContext (e.g., to update nursery pointers after GC).

pub fn step(&mut self) -> Yield

Execute the compiled function and parse the result.

pub unsafe fn resume( &mut self, continuation: *mut u8, response: *mut u8, ) -> Yield

Resume after handling an effect by applying the continuation to the response.

Safety

continuation and response must be valid heap pointers from the nursery.

Trait Implementations

impl Send for CompiledEffectMachine