Trait GetEnumInfo

pub unsafe trait GetEnumInfo: Sized {
    type Discriminant: ValidDiscriminant;
    type DefaultStorage;
    type DefaultInterface;

    const ENUM_INFO: &'static EnumInfo;
    const DISCRIMINANTS: &'static [Self::Discriminant];

    // Required method
    fn is_valid_discriminant(discriminant: Self::Discriminant) -> bool;
}

Describes the discriminant of an enum,and its valid values.

Safety

This must be an enum with a #[repr(C)] or #[repr(SomeInteFgerType)] attribute.

The Discriminant associated type must correspond to the type of this enum’s discriminant.

The DISCRIMINANTS associated constant must be the values of this enum’s discriminants.

Required Associated Constants

const ENUM_INFO: &'static EnumInfo

Information about the enum.

const DISCRIMINANTS: &'static [Self::Discriminant]

The values of the discriminants of each variant.

Required Associated Types

type Discriminant: ValidDiscriminant

The type of the discriminant.

type DefaultStorage

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

type DefaultInterface

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

Required Methods

fn is_valid_discriminant(discriminant: Self::Discriminant) -> bool

Whether discriminant is one of the valid discriminants for this enum in this context.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl GetEnumInfo for ValidTag

const ENUM_INFO: &'static EnumInfo = _

const DISCRIMINANTS: &'static [u8] = _

type Discriminant = u8

type DefaultStorage = ValidTag_Storage

type DefaultInterface = ValidTag_Interface