Enum repc_impl::layout::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)

Tuple Fields

0: BuiltinType

A builtin type.

Record(Record<I>)

Tuple Fields

0: Record<I>

A record. Struct or union.

Typedef(Box<Type<I>>)

Tuple Fields

0: Box<Type<I>>

A typedef.

The box contains the target type.

Array(Array<I>)

Tuple Fields

0: Array<I>

An array.

Enum(Vec<i128>)

Tuple Fields

0: Vec<i128>

An enum.

The vector contains the values of the variants.

Opaque(I::OpaqueLayout)

Tuple Fields

0: 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 copy 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<TypeVariant<I>> for TypeVariant<I> where
    I::OpaqueLayout: PartialEq, 

fn eq(&self, other: &TypeVariant<I>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &TypeVariant<I>) -> bool

This method tests for !=.

impl<I: Eq + Layout> Eq for TypeVariant<I> where
    I::OpaqueLayout: Eq, 

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

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