Enum TypeVariant

pub enum TypeVariant<I: Layout> {
    Builtin(BuiltinType),
    Record(Record<I>),
    Typedef(Box<Type<I>>),
    Array(Array<I>),
    Enum(Vec<i128>),
    Opaque(I::OpaqueLayout),
}

An enum of all available types.

Variants

Builtin(BuiltinType)

A builtin type.

Record(Record<I>)

A record. Struct or union.

Typedef(Box<Type<I>>)

A typedef.

The box contains the target type.

Array(Array<I>)

An array.

Enum(Vec<i128>)

An enum.

The vector contains the values of the variants.

Opaque(I::OpaqueLayout)

An opaque type.

This does not correspond to anything in C. It is useful if the layout of a nested type is already known and should not be recomputed. On all supported targets, substituting a type for the opaque type with the same layout leads to the same layout for the containing type.

Implementations

impl<I: Layout> TypeVariant<I>

pub fn into<J: Layout>(self) -> TypeVariant<J>

where I::TypeLayout: Into<J::TypeLayout>, I::FieldLayout: Into<J::FieldLayout>, I::OpaqueLayout: Into<J::OpaqueLayout>,

Returns the identical type variant with the Layout converted.

Trait Implementations

impl<I: Clone + Layout> Clone for TypeVariant<I>

where I::OpaqueLayout: Clone,

fn clone(&self) -> TypeVariant<I>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Debug + Layout> Debug for TypeVariant<I>

where I::OpaqueLayout: Debug,

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

Formats the value using the given formatter.

impl<I: PartialEq + Layout> PartialEq for TypeVariant<I>

where I::OpaqueLayout: PartialEq,

fn eq(&self, other: &TypeVariant<I>) -> 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<I: Eq + Layout> Eq for TypeVariant<I>

where I::OpaqueLayout: Eq,

impl<I: Layout> StructuralPartialEq for TypeVariant<I>