Struct ConstructorData 

pub struct ConstructorData {
    pub header: ObjectHeader,
    pub ctor_index: u32,
    pub num_fields: u16,
    pub scalar_fields: Vec<u64>,
    pub object_fields: Vec<RtObject>,
    pub name: Option<Name>,
}

Data for a constructor object.

Fields

header: ObjectHeader

Object header.

ctor_index: u32

Constructor index within the inductive type.

num_fields: u16

Number of fields.

scalar_fields: Vec<u64>

Scalar fields (unboxed small values).

object_fields: Vec<RtObject>

Object fields (boxed values).

name: Option<Name>

The name of the constructor (optional).

Trait Implementations

impl Clone for ConstructorData

fn clone(&self) -> ConstructorData

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ConstructorData

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.