Trait gluon_vm::api::record::FieldTypes

pub trait FieldTypes: HList {
    type Type: Any;

    fn field_types(
        vm: &Thread,
        type_fields: &mut Vec<Field<Symbol, Alias<Symbol, ArcType>>>
    );
}

Required Associated Types

type Type: Any

Required Methods

fn field_types(
    vm: &Thread,
    type_fields: &mut Vec<Field<Symbol, Alias<Symbol, ArcType>>>
)

Implementations on Foreign Types

impl FieldTypes for HNil

type Type = ()

fn field_types(_: &Thread, _: &mut Vec<Field<Symbol, Alias<Symbol, ArcType>>>)

impl<F: Field, H: VmType, T> FieldTypes for HCons<(F, H), T>where
    T: FieldTypes,
    H::Type: Sized,

type Type = HCons<(&'static str, <H as VmType>::Type), <T as FieldTypes>::Type>

fn field_types(
    vm: &Thread,
    type_fields: &mut Vec<Field<Symbol, Alias<Symbol, ArcType>>>
)

Implementors