Struct ExtensionDataTypeId 

pub struct ExtensionDataTypeId(pub u32);

Stable u32 id for an extension variant.

Extension ids are generated deterministically from a stable name via ExtensionDataTypeId::from_name. A crate that never changes its extension name keeps the same id across versions, which is the wire-format contract: a Program encoded by v1.0 of an extension decodes identically in v1.1 so long as the name is stable.

Tuple Fields

0: u32

Implementations

impl ExtensionDataTypeId

pub const EXTENSION_RANGE_MASK: u32 = 0x8000_0000

Reserved range: every extension id has its high bit set.

Core IR discriminants occupy 0x00..=0x7F; extensions occupy 0x80..=0xFFFF_FFFF. Wire decoders test the high byte to route decoding between the two.

pub const fn from_name(name: &str) -> Self

Construct an id from a stable extension name.

The id is derived deterministically: callers that pass the same name always get the same id. Wire encoders serialize this id directly; decoders on a machine with the same extension crate linked resolve it back to the original trait vtable.

The implementation hashes name with FNV-1a and folds the 32-bit result into the extension range by setting the high bit. Two collision-free names produce two distinct ids with overwhelming probability.

pub const fn as_u32(self) -> u32

Return the raw id.

pub const fn is_extension(self) -> bool

Is this a reserved extension id (high bit set)?

Trait Implementations

impl Clone for ExtensionDataTypeId

fn clone(&self) -> ExtensionDataTypeId

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExtensionDataTypeId

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExtensionDataTypeId

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for ExtensionDataTypeId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ExtensionDataTypeId

fn eq(&self, other: &ExtensionDataTypeId) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ExtensionDataTypeId

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ExtensionDataTypeId

impl Eq for ExtensionDataTypeId

impl StructuralPartialEq for ExtensionDataTypeId