Struct gluon_vm::api::function::TypedBytecode

pub struct TypedBytecode<T> { /* private fields */ }

Implementations

impl<T> TypedBytecode<T>

pub fn new(
    name: &str,
    args: VmIndex,
    instructions: Vec<Instruction>
) -> TypedBytecode<T>where
    T: VmType,

Trait Implementations

impl<'vm, T: VmType> Pushable<'vm> for TypedBytecode<T>

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>) -> Statuswhere
    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<T: VmType> VmType for TypedBytecode<T>

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

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