[][src]Struct abi_stable::type_layout::tagging::CheckableTag

#[repr(C)]pub struct CheckableTag { /* fields omitted */ }

A tag that can be checked for compatibility with another tag.

Implementations

impl CheckableTag[src]

pub fn check_compatible(&self, other: &Self) -> Result<(), TagErrors>[src]

Checks that this CheckableTag is compatible with another one, returning Ok if it is compatible, Err if it was not.

Trait Implementations

impl Clone for CheckableTag[src]

impl Debug for CheckableTag[src]

impl Display for CheckableTag[src]

impl Eq for CheckableTag[src]

impl GetStaticEquivalent_ for CheckableTag[src]

type StaticEquivalent = _static_CheckableTag

impl Hash for CheckableTag[src]

impl Ord for CheckableTag[src]

impl PartialEq<CheckableTag> for CheckableTag[src]

impl PartialOrd<CheckableTag> for CheckableTag[src]

impl StableAbi for CheckableTag[src]

type IsNonZeroType = False

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

impl StructuralEq for CheckableTag[src]

impl StructuralPartialEq for CheckableTag[src]

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<T> ToString for T where
    T: Display + ?Sized
[src]

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

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