Struct gluon_vm::api::record::Record

pub struct Record<T, U> {
    pub type_fields: T,
    pub fields: U,
}

Fields

type_fields: T

fields: U

Trait Implementations

impl<T: FieldTypes, U: FieldValues> VmType for Record<T, U>

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

fn make_forall_type(vm: &Thread) -> ArcType

fn extra_args() -> VmIndex

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

impl<'vm, T, U> Pushable<'vm> for Record<T, U> where
    U: PushableFieldList<'vm>, 

fn 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, 'value, T, U> Getable<'vm, 'value> for Record<T, U> where
    T: Default,
    U: GetableFieldList<'vm, 'value>, 

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