Enum Variants

pub enum Variants<FieldIdx: Idx, VariantIdx: Idx> {
    Single {
        index: VariantIdx,
    },
    Multiple {
        tag: Scalar,
        tag_encoding: TagEncoding<VariantIdx>,
        tag_field: usize,
        variants: IndexVec<VariantIdx, LayoutData<FieldIdx, VariantIdx>>,
    },
}

Variants

Single

Single enum variants, structs/tuples, unions, and all non-ADTs.

Fields

index: VariantIdx

Multiple

Enum-likes with more than one variant: each variant comes with a discriminant (usually the same as the variant index but the user can assign explicit discriminant values). That discriminant is encoded as a tag on the machine. The layout of each variant is a struct, and they all have space reserved for the tag. For enums, the tag is the sole field of the layout.

Fields

tag: Scalar

tag_encoding: TagEncoding<VariantIdx>

tag_field: usize

variants: IndexVec<VariantIdx, LayoutData<FieldIdx, VariantIdx>>

Trait Implementations

impl<FieldIdx: Clone + Idx, VariantIdx: Clone + Idx> Clone for Variants<FieldIdx, VariantIdx>

fn clone(&self) -> Variants<FieldIdx, VariantIdx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<FieldIdx: Debug + Idx, VariantIdx: Debug + Idx> Debug for Variants<FieldIdx, VariantIdx>

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

Formats the value using the given formatter.

impl<FieldIdx: Hash + Idx, VariantIdx: Hash + Idx> Hash for Variants<FieldIdx, VariantIdx>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<FieldIdx: PartialEq + Idx, VariantIdx: PartialEq + Idx> PartialEq for Variants<FieldIdx, VariantIdx>

fn eq(&self, other: &Variants<FieldIdx, VariantIdx>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<FieldIdx: Eq + Idx, VariantIdx: Eq + Idx> Eq for Variants<FieldIdx, VariantIdx>

impl<FieldIdx: Idx, VariantIdx: Idx> StructuralPartialEq for Variants<FieldIdx, VariantIdx>