Struct Machine 

pub struct Machine { /* private fields */ }

Implementations

impl Machine

pub fn new(env: Env, exp: RcExp) -> Machine

pub fn applying(f: Val, arg: Val) -> Machine

A machine poised to apply f to arg. How a spawned task starts: its thunk arrives as a value, never as syntax, so both ride in as Exp::Proc, the carrier cross-stage persistence uses.

pub fn step<M: Mail>(&mut self, h: &mut Store<M>) -> Result<Step, Fault>

pub fn run<M: Mail>(self, h: &mut Store<M>) -> Result<Val, Fault>

pub fn turn<M: Mail>( &mut self, h: &mut Store<M>, budget: usize, ) -> Result<(Step, usize), Fault>

One turn: step until the machine blocks, finishes, or spends the budget. Blocked is returned once, on the edge, so the scheduler never polls.