pub struct InterpreterState { /* private fields */ }Expand description
This wrapper is to keep interpreter interface compatible with previous
implementation and will be removed in future.
State of the interpreter which passed between interpret_step calls.
Implementations§
Source§impl InterpreterState
impl InterpreterState
Sourcepub fn has_next(&self) -> bool
pub fn has_next(&self) -> bool
Returns true if there are alternatives which can be evaluated further.
Sourcepub fn into_result(self) -> Result<Vec<Atom>, String>
pub fn into_result(self) -> Result<Vec<Atom>, String>
Returns vector of fully evaluated results or error if there are still alternatives to be evaluated.
pub fn set_max_stack_depth(&mut self, depth: usize)
Trait Implementations§
Source§impl Debug for InterpreterState
impl Debug for InterpreterState
Auto Trait Implementations§
impl Freeze for InterpreterState
impl !RefUnwindSafe for InterpreterState
impl !Send for InterpreterState
impl !Sync for InterpreterState
impl Unpin for InterpreterState
impl !UnwindSafe for InterpreterState
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
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
Source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
Wrap the input message
T in a tonic::Request