pub struct TypedResumableInvocation<Results> { /* private fields */ }
Expand description

State required to resume a TypedFunc invocation.

Implementations§

source§

impl<Results> TypedResumableInvocation<Results>

source

pub fn resume<T>( self, ctx: impl AsContextMut<UserState = T>, inputs: &[Value] ) -> Result<TypedResumableCall<Results>, Error>
where Results: WasmResults,

Resumes the call to the TypedFunc with the given inputs.

Returns a resumable handle to the function invocation upon enountering host errors with which it is possible to handle the error and continue the execution as if no error occured.

§Errors
  • If the function resumption returned a Wasm Trap.
  • If the types or the number of values in inputs does not match the types and number of result values of the errorneous host function.

Methods from Deref<Target = ResumableInvocation>§

source

pub fn host_func(&self) -> Func

Returns the host Func that returned the host error.

§Note

When using ResumableInvocation::resume the inputs need to match the results of this host function so that the function invocation can properly resume. For that number and types of the values provided must match.

source

pub fn host_error(&self) -> &Trap

Returns a shared reference to the encountered host error.

§Note

This is guaranteed to never be a Wasm trap.

Trait Implementations§

source§

impl<Results> Debug for TypedResumableInvocation<Results>

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl<Results> Deref for TypedResumableInvocation<Results>

§

type Target = ResumableInvocation

The resulting type after dereferencing.
source§

fn deref(&self) -> &Self::Target

Dereferences the value.

Auto Trait Implementations§

§

impl<Results> !RefUnwindSafe for TypedResumableInvocation<Results>

§

impl<Results> Send for TypedResumableInvocation<Results>

§

impl<Results> !Sync for TypedResumableInvocation<Results>

§

impl<Results> Unpin for TypedResumableInvocation<Results>

§

impl<Results> !UnwindSafe for TypedResumableInvocation<Results>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.