pub struct Machine<'a, B: BuiltinCostModel> { /* private fields */ }Implementations§
Source§impl<'a, B: BuiltinCostModel> Machine<'a, B>
impl<'a, B: BuiltinCostModel> Machine<'a, B>
pub fn new( arena: &'a Arena, initial_budget: ExBudget, costs: CostModel<B>, semantics: BuiltinSemantics, ) -> Self
pub fn info(self) -> MachineInfo
pub fn run<V>(
&mut self,
term: &'a Term<'a, V>,
) -> Result<&'a Term<'a, V>, MachineError<'a, V>>where
V: Eval<'a>,
pub fn compute<V>(
&mut self,
context: &'a Context<'a, V>,
env: &'a Env<'a, V>,
term: &'a Term<'a, V>,
) -> Result<&'a mut MachineState<'a, V>, MachineError<'a, V>>where
V: Eval<'a>,
pub fn return_compute<V>(
&mut self,
context: &'a Context<'a, V>,
value: &'a Value<'a, V>,
) -> Result<&'a mut MachineState<'a, V>, MachineError<'a, V>>where
V: Eval<'a>,
Auto Trait Implementations§
impl<'a, B> Freeze for Machine<'a, B>where
B: Freeze,
impl<'a, B> !RefUnwindSafe for Machine<'a, B>
impl<'a, B> !Send for Machine<'a, B>
impl<'a, B> !Sync for Machine<'a, B>
impl<'a, B> Unpin for Machine<'a, B>where
B: Unpin,
impl<'a, B> UnsafeUnpin for Machine<'a, B>where
B: UnsafeUnpin,
impl<'a, B> !UnwindSafe for Machine<'a, B>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more