[−][src]Enum abi_stable::for_examples::ValidTag

#[repr(u8)]
#[non_exhaustive]pub enum ValidTag {
    Foo,
    Bar,
    Tag {
        name: RString,
        tag: RString,
    },
}

For demonstrating ffi-safe non-exhaustive enums.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Foo

Bar

Tag

Fields of Tag

name: RStringtag: RString

Implementations

`impl ValidTag where Self: ValidTag_Bounds,` [src]

`pub fn Foo_NE() -> ValidTag_NE`[src]

Constructs the ValidTag::Foo variant inside a NonExhaustive.

`pub fn Bar_NE() -> ValidTag_NE`[src]

Constructs the ValidTag::Bar variant inside a NonExhaustive.

`pub fn Tag_NE(name: RString, tag: RString) -> ValidTag_NE`[src]

Constructs the ValidTag::Tag variant inside a NonExhaustive.

Trait Implementations

`impl Clone for ValidTag`[src]

`pub fn clone(&self) -> ValidTag`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Debug for ValidTag`[src]

`pub fn fmt(&self, f: &mut Formatter<'_>) -> Result`[src]

`impl GetEnumInfo for ValidTag`[src]

`type Discriminant = u8`

The type of the discriminant.

`type DefaultStorage = ValidTag_Storage`

The default storage type, used to store this enum inside NonExhaustive<>, and allow the enum to grow in size in newer ABI compatible versions. Read more

`type DefaultInterface = ValidTag_Interface`

The default InterfaceType, used to determine the traits that are required when constructing a NonExhaustive<>, and are then usable afterwards. Read more

`pub const ENUM_INFO: &'static EnumInfo`[src]

`pub fn discriminants() -> &'static [u8]ⓘNotable traits for &'_ mut [u8] impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8]`[src]

`pub fn is_valid_discriminant(discriminant: u8) -> bool`[src]

`impl<Storage> GetNonExhaustive<Storage> for ValidTag`[src]

`type NonExhaustive = ValidTag_NEMarker<Self, __Storage>`

The type whose type layout is used to represent this enum.

`impl GetStaticEquivalent_ for ValidTag where ValidTag_NEMarker<Self, ValidTag_Storage>: GetStaticEquivalent_,` [src]

`type StaticEquivalent = GetStaticEquivalent<ValidTag_NEMarker<Self, ValidTag_Storage>>`

`impl PartialEq<ValidTag> for ValidTag`[src]

`pub fn eq(&self, other: &ValidTag) -> bool`[src]

`pub fn ne(&self, other: &ValidTag) -> bool`[src]

`impl StructuralPartialEq for ValidTag`[src]

Auto Trait Implementations

`impl RefUnwindSafe for ValidTag`[src]

`impl Send for ValidTag`[src]

`impl Sync for ValidTag`[src]

`impl Unpin for ValidTag`[src]

`impl UnwindSafe for ValidTag`[src]

Blanket Implementations

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

`pub fn type_id(&self) -> TypeId`[src]

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

`pub fn borrow(&self) -> &T`[src]

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

`pub fn borrow_mut(&mut self) -> &mut T`[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

`pub fn r_borrow( &'a <T as BorrowOwned<'a>>::ROwned ) -> <T as BorrowOwned<'a>>::RBorrowed`[src]

`pub fn r_to_owned( <T as BorrowOwned<'a>>::RBorrowed ) -> <T as BorrowOwned<'a>>::ROwned`[src]

`pub fn deref_borrowed(&<T as BorrowOwned<'a>>::RBorrowed) -> &T`[src]

`pub fn deref_owned(&<T as BorrowOwned<'a>>::ROwned) -> &T`[src]

`pub fn from_cow_borrow(&'a T) -> <T as BorrowOwned<'a>>::RBorrowed`[src]

`pub fn from_cow_owned(<T as ToOwned>::Owned) -> <T as BorrowOwned<'a>>::ROwned`[src]

`pub fn into_cow_borrow(<T as BorrowOwned<'a>>::RBorrowed) -> &'a T`[src]

`pub fn into_cow_owned(<T as BorrowOwned<'a>>::ROwned) -> <T as ToOwned>::Owned`[src]

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

`pub fn from(t: T) -> T`[src]

`impl<T> GetWithMetadata for T`[src]

`type ForSelf = WithMetadata_<T, T>`

This is always WithMetadata_<Self, Self>

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

`pub fn into(self) -> U`[src]

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

`pub const T: PhantomData<fn() -> Self>`[src]

`pub const T_D: PhantomData<Self>`[src]

`pub fn assert_ty(self, _other: PhantomData<fn() -> Self>) -> Self`[src]

`pub fn assert_ty_ref(&self, _other: PhantomData<fn() -> Self>) -> &Self`[src]

`pub fn assert_ty_mut(&mut self, _other: PhantomData<fn() -> Self>) -> &mut Self`[src]

`pub fn ty_(&self) -> PhantomData<fn() -> Self>`[src]

`pub fn ty_d(&self) -> PhantomData<Self>`[src]

`pub fn ty_inv(&self) -> PhantomData<fn(Self) -> Self>`[src]

`pub fn ty_inv_ref(&self) -> PhantomData<Cell<&Self>>`[src]

`pub fn eq_id(&self, other: &Self) -> bool`[src]

`pub fn piped<F, U>(self, f: F) -> U where F: FnOnce(Self) -> U,` [src]

`pub fn piped_ref<'a, F, U>(&'a self, f: F) -> U where F: FnOnce(&'a Self) -> U,` [src]

`pub fn piped_mut<'a, F, U>(&'a mut self, f: F) -> U where F: FnOnce(&'a mut Self) -> U,` [src]

`pub fn mutated<F>(self, f: F) -> Self where F: FnOnce(&mut Self),` [src]

`pub fn observe<F>(self, f: F) -> Self where F: FnOnce(&Self),` [src]

`pub fn into_<T>(self, PhantomData<fn() -> T>) -> T where Self: Into<T>,` [src]

`pub fn as_ref_<T>(&self) -> &T where Self: AsRef<T>, T: ?Sized,` [src]

`pub fn as_mut_<T>(&mut self) -> &mut T where Self: AsMut<T>, T: ?Sized,` [src]

`pub fn drop_(self)`[src]

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

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

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

`pub unsafe fn transmute_element<T>(self) -> Self::TransmutedPtr where Self: CanTransmuteElement<T>, Self::Target: Sized,` [src]

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

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

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

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

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

`type Error = >::Error`

The error type returned when the conversion fails.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

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

`type Type = T`

The same type as Self. Read more

`pub fn into_type_val(self) -> Self::Type where Self::Type: Sized,` [src]

`pub fn into_type_ref(&self) -> &Self::Type`[src]

`pub fn into_type_mut(&mut self) -> &mut Self::Type`[src]

`pub fn into_type_box(self: Box<Self, Global>) -> Box<Self::Type, Global>`[src]

`pub fn into_type_arc(this: Arc<Self>) -> Arc<Self::Type>`[src]

`pub fn into_type_rc(this: Rc<Self>) -> Rc<Self::Type>`[src]

`pub fn from_type_val(this: Self::Type) -> Self where Self::Type: Sized,` [src]

`pub fn from_type_ref(this: &Self::Type) -> &Self`[src]

`pub fn from_type_mut(this: &mut Self::Type) -> &mut Self`[src]

`pub fn from_type_box(this: Box<Self::Type, Global>) -> Box<Self, Global>`[src]

`pub fn from_type_arc(this: Arc<Self::Type>) -> Arc<Self>`[src]

`pub fn from_type_rc(this: Rc<Self::Type>) -> Rc<Self>`[src]

`impl<This> ValidTag_Bounds for This where This: Debug + Clone + PartialEq<This>,` [src]

[−][src]Enum abi_stable::for_examples::ValidTag

Variants (Non-exhaustive)

Fields of Tag

Implementations

impl ValidTag where Self: ValidTag_Bounds, [src]

pub fn Foo_NE() -> ValidTag_NE[src]

pub fn Bar_NE() -> ValidTag_NE[src]

pub fn Tag_NE(name: RString, tag: RString) -> ValidTag_NE[src]

Trait Implementations

impl Clone for ValidTag[src]

pub fn clone(&self) -> ValidTag[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Debug for ValidTag[src]

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

impl GetEnumInfo for ValidTag[src]

type Discriminant = u8

type DefaultStorage = ValidTag_Storage

type DefaultInterface = ValidTag_Interface

pub const ENUM_INFO: &'static EnumInfo[src]

pub fn discriminants() -> &'static [u8]ⓘNotable traits for &'_ mut [u8]impl<'_> Write for &'_ mut [u8]impl<'_> Read for &'_ [u8][src]

Notable traits for &'_ mut [u8]

pub fn is_valid_discriminant(discriminant: u8) -> bool[src]

impl<__Storage> GetNonExhaustive<__Storage> for ValidTag[src]

type NonExhaustive = ValidTag_NEMarker<Self, __Storage>

impl GetStaticEquivalent_ for ValidTag where ValidTag_NEMarker<Self, ValidTag_Storage>: GetStaticEquivalent_, [src]

type StaticEquivalent = GetStaticEquivalent<ValidTag_NEMarker<Self, ValidTag_Storage>>

impl PartialEq<ValidTag> for ValidTag[src]

pub fn eq(&self, other: &ValidTag) -> bool[src]

pub fn ne(&self, other: &ValidTag) -> bool[src]

impl StructuralPartialEq for ValidTag[src]

Auto Trait Implementations

impl RefUnwindSafe for ValidTag[src]

impl Send for ValidTag[src]

impl Sync for ValidTag[src]

impl Unpin for ValidTag[src]

impl UnwindSafe for ValidTag[src]

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

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

pub fn borrow(&self) -> &T[src]

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

pub fn borrow_mut(&mut self) -> &mut T[src]

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

type ROwned = T

type RBorrowed = &'a T

pub fn r_borrow( &'a <T as BorrowOwned<'a>>::ROwned) -> <T as BorrowOwned<'a>>::RBorrowed[src]

pub fn r_to_owned( <T as BorrowOwned<'a>>::RBorrowed) -> <T as BorrowOwned<'a>>::ROwned[src]

pub fn deref_borrowed(&<T as BorrowOwned<'a>>::RBorrowed) -> &T[src]

pub fn deref_owned(&<T as BorrowOwned<'a>>::ROwned) -> &T[src]

pub fn from_cow_borrow(&'a T) -> <T as BorrowOwned<'a>>::RBorrowed[src]

pub fn from_cow_owned(<T as ToOwned>::Owned) -> <T as BorrowOwned<'a>>::ROwned[src]

pub fn into_cow_borrow(<T as BorrowOwned<'a>>::RBorrowed) -> &'a T[src]

pub fn into_cow_owned(<T as BorrowOwned<'a>>::ROwned) -> <T as ToOwned>::Owned[src]

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

pub fn from(t: T) -> T[src]

impl<T> GetWithMetadata for T[src]

type ForSelf = WithMetadata_<T, T>

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

pub fn into(self) -> U[src]

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

pub const T: PhantomData<fn() -> Self>[src]

pub const T_D: PhantomData<Self>[src]

pub fn assert_ty(self, _other: PhantomData<fn() -> Self>) -> Self[src]

pub fn assert_ty_ref(&self, _other: PhantomData<fn() -> Self>) -> &Self[src]

pub fn assert_ty_mut(&mut self, _other: PhantomData<fn() -> Self>) -> &mut Self[src]

pub fn ty_(&self) -> PhantomData<fn() -> Self>[src]

pub fn ty_d(&self) -> PhantomData<Self>[src]

pub fn ty_inv(&self) -> PhantomData<fn(Self) -> Self>[src]

pub fn ty_inv_ref(&self) -> PhantomData<Cell<&Self>>[src]

pub fn eq_id(&self, other: &Self) -> bool[src]

pub fn piped<F, U>(self, f: F) -> U where F: FnOnce(Self) -> U, [src]

pub fn piped_ref<'a, F, U>(&'a self, f: F) -> U where F: FnOnce(&'a Self) -> U, [src]

pub fn piped_mut<'a, F, U>(&'a mut self, f: F) -> U where F: FnOnce(&'a mut Self) -> U, [src]

pub fn mutated<F>(self, f: F) -> Self where F: FnOnce(&mut Self), [src]

pub fn observe<F>(self, f: F) -> Self where F: FnOnce(&Self), [src]

pub fn into_<T>(self, PhantomData<fn() -> T>) -> T where Self: Into<T>, [src]

pub fn as_ref_<T>(&self) -> &T where Self: AsRef<T>, T: ?Sized, [src]

pub fn as_mut_<T>(&mut self) -> &mut T where Self: AsMut<T>, T: ?Sized, [src]

pub fn drop_(self)[src]