Trait abi_stable::nonexhaustive_enum::GetEnumInfo

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

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

    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 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 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 Methods

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

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

Implementors

impl GetEnumInfo for ValidTag

type Discriminant = u8

type DefaultStorage = ValidTag_Storage

type DefaultInterface = ValidTag_Interface

const ENUM_INFO: &'static EnumInfo = _

const DISCRIMINANTS: &'static [u8] = _