Struct JitEffectMachine 

pub struct JitEffectMachine { /* private fields */ }

High-level JIT effect machine.

Compiles a CoreExpr (Haskell effect program) into native code via Cranelift and runs it as a coroutine: the machine yields effect requests, the caller dispatches them through an HList of EffectHandlers, and resumes with responses.

let (expr, table) = haskell_inline! { target = "main", include = "haskell", r#"..."# };
let mut vm = JitEffectMachine::compile(&expr, &table, 1 << 20)?;
vm.run(&table, &mut frunk::hlist![MyHandler], &())?;

Owns the compiled code, nursery (GC heap), and freer-simple constructor tags. The nursery size (in bytes) controls how much heap is available before GC triggers.

Implementations

impl JitEffectMachine

pub fn compile( expr: &CoreExpr, table: &DataConTable, nursery_size: usize, ) -> Result<Self, JitError>

Compile a CoreExpr for JIT execution.

pub fn run<U, H: DispatchEffect<U>>( &mut self, table: &DataConTable, handlers: &mut H, user: &U, ) -> Result<Value, JitError>

Run to completion, dispatching effects through the handler HList.

pub fn run_pure(&mut self) -> Result<Value, JitError>

Run a pure (non-effectful) program to completion.

Skips freer-simple effect dispatch entirely — calls the compiled function and converts the raw heap result directly to a Value. Use this for programs that don’t use an Eff wrapper.