Trait gluon_vm::api::record::PushableFieldList

pub trait PushableFieldList<'vm>: HList {
    // Required method
    fn vm_push(
        self,
        context: &mut ActiveThread<'vm>,
        field_names: &mut Vec<InternedStr>
    ) -> Result<()>;
}

Required Methods

fn vm_push( self, context: &mut ActiveThread<'vm>, field_names: &mut Vec<InternedStr> ) -> Result<()>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'vm> PushableFieldList<'vm> for HNil

fn vm_push( self, _: &mut ActiveThread<'_>, _: &mut Vec<InternedStr> ) -> Result<()>

impl<'vm, F: Field, H: Pushable<'vm>, T> PushableFieldList<'vm> for HCons<(F, H), T>

where T: PushableFieldList<'vm>,

fn vm_push( self, context: &mut ActiveThread<'vm>, field_names: &mut Vec<InternedStr> ) -> Result<()>

Implementors