Struct gluon_vm::api::WithVM

pub struct WithVM<'vm, T> {
    pub vm: &'vm Thread,
    pub value: T,
}

Wrapper type which passes acts as the type T but also passes the VM to the called function

Fields

vm: &'vm Thread

value: T

Trait Implementations

impl<'vm, 'value, T> Getable<'vm, 'value> for WithVM<'vm, T>

where T: Getable<'vm, 'value>,

type Proxy = <T as Getable<'vm, 'value>>::Proxy

fn to_proxy(vm: &'vm Thread, value: Variants<'value>) -> Result<Self::Proxy>

fn from_proxy(vm: &'vm Thread, proxy: &'value mut Self::Proxy) -> Self

fn from_value(vm: &'vm Thread, value: Variants<'value>) -> WithVM<'vm, T>

impl<'vm, T> Pushable<'vm> for WithVM<'vm, T>

where T: Pushable<'vm>,

fn vm_push(self, context: &mut ActiveThread<'vm>) -> 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 status_push(self, context: &mut ActiveThread<'vm>) -> Status

where Self: Sized,

unsafe fn marshal_unrooted(self, vm: &'vm Thread) -> Result<Value>

where Self: Sized,

fn marshal<T>(self, vm: &'vm Thread) -> Result<RootedValue<T>>

where Self: Sized, T: VmRoot<'vm>,

impl<'vm, T> VmType for WithVM<'vm, T>

where T: VmType,

type Type = <T 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 = T::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