Struct gluon_vm::api::FutureResult

pub struct FutureResult<F>(pub F);

Wrapper around a Future which can be used as a return value to let the virtual machine know that it must resolve the Future to receive the value.

Tuple Fields

0: F

Implementations

impl<F> FutureResult<F>

pub fn new<'vm>(f: F) -> Selfwhere F: Future + Send + 'vm, F::Output: Pushable<'vm>,

Trait Implementations

impl<'vm, F> AsyncPushable<'vm> for FutureResult<F>where F: Future + Send + 'vm, F::Output: Pushable<'vm>,

fn async_push( self, context: &mut ActiveThread<'vm>, lock: Lock, frame_index: VmIndex ) -> Poll<Result<()>>

Pushes self to stack. If the call is successful a single element should have been added to the stack and Ok(()) should be returned. If the call is unsuccessful Status:Error should be returned and the stack should be left intact.

fn async_status_push( self, context: &mut ActiveThread<'vm>, lock: Lock, frame_index: VmIndex ) -> Statuswhere Self: Sized,

impl<F> VmType for FutureResult<F>where F: Future, F::Output: VmType,

type Type = <<F as Future>::Output as VmType>::Type

A version of Self which implements Any allowing a TypeId to be retrieved

fn make_type(vm: &Thread) -> ArcType

Creates an gluon type which maps to Self in rust

const EXTRA_ARGS: VmIndex = <F::Output>::EXTRA_ARGS

How many extra arguments a function returning this type requires. Used for abstract types which when used in return position should act like they still need more arguments before they are called

fn make_forall_type(vm: &Thread) -> ArcType