[][src]Enum abi_stable::type_layout::MonoTLData

#[repr(u8)]pub enum MonoTLData {
    Primitive(TLPrimitive),
    Opaque,
    Struct {
        fields: CompTLFields,
    },
    Union {
        fields: CompTLFields,
    },
    Enum(MonoTLEnum),
    PrefixType(MonoTLPrefixType),
}

The parts of TLData that don't change based on generic parameters.

Variants

Primitive(TLPrimitive)
Opaque
Struct

Fields of Struct

fields: CompTLFields
Union

Fields of Union

fields: CompTLFields
PrefixType(MonoTLPrefixType)

Implementations

impl MonoTLData[src]

pub const EMPTY: Self[src]

Teh MonoTLData for an empty struct.

pub const fn struct_(fields: RSlice<'static, CompTLField>) -> Self[src]

Constructs MonoTLData::Struct from a slice of its fields.

pub const fn union_(fields: RSlice<'static, CompTLField>) -> Self[src]

Constructs MonoTLData::Union from a slice of its fields.

pub const fn prefix_type(
    first_suffix_field: usize,
    conditional_prefix_fields: FieldConditionality,
    fields: RSlice<'static, CompTLField>
) -> Self
[src]

Constructs a MonoTLData::PrefixType

pub const fn struct_derive(fields: CompTLFields) -> Self[src]

Constructs MonoTLData::Struct from a slice of its fields.

pub const fn union_derive(fields: CompTLFields) -> Self[src]

Constructs MonoTLData::Union from a slice of its fields.

pub const fn prefix_type_derive(
    first_suffix_field: usize,
    conditional_prefix_fields: u64,
    fields: CompTLFields
) -> Self
[src]

Constructs a MonoTLData::PrefixType

pub fn as_discriminant(&self) -> TLDataDiscriminant[src]

Converts this into a TLDataDiscriminant, allowing one to query which discriminant this is.

pub fn expand(
    self,
    generic: GenericTLData,
    shared_vars: &'static SharedVars
) -> Result<TLData, MismatchedTLDataVariant>
[src]

Expands this MonoTLData.

Errors

This returns a MismatchedTLDataVariant if self and generic are variant of different names.

Trait Implementations

impl Clone for MonoTLData[src]

impl Copy for MonoTLData[src]

impl GetStaticEquivalent_ for MonoTLData[src]

type StaticEquivalent = _static_MonoTLData

impl StableAbi for MonoTLData[src]

type IsNonZeroType = False

Whether this type has a single invalid bit-pattern. Read more

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<'a, T> BorrowOwned<'a> for T where
    T: 'a + Clone
[src]

type ROwned = T

The owned type, stored in RCow::Owned

type RBorrowed = &'a T

The borrowed type, stored in RCow::Borrowed

impl<T> From<T> for T[src]

impl<T> GetWithMetadata for T[src]

type ForSelf = WithMetadata_<T, T>

This is always WithMetadata_<Self, Self>

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> SelfOps for T where
    T: ?Sized
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<This> TransmuteElement for This where
    This: ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The error type returned when the conversion fails.

impl<T> TypeIdentity for T where
    T: ?Sized
[src]

type Type = T

The same type as Self. Read more