[][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)

Methods

impl MonoTLData[src]

pub const EMPTY: Self[src]

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 a TLDataDiscriminant,allowing one to query which discriminant this is (without either copying MonoTLData or keeping a reference).

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

Trait Implementations

impl Clone for MonoTLData[src]

impl Copy for MonoTLData[src]

impl GetStaticEquivalent_ for MonoTLData[src]

type StaticEquivalent = _static_MonoTLData

impl SharedStableAbi for MonoTLData[src]

type IsNonZeroType = False

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

type Kind = __ValueKind

The kind of abi stability of this type,there are 2: 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

type RBorrowed = &'a T

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

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

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

impl<This> StableAbi for This where
    This: SharedStableAbi<Kind = ValueKind>, 
[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