Trait ExactCellSelector 

pub trait ExactCellSelector: Sealed + Copy {
    const WIRE_SIZE: u16;

    // Required method
    fn to_u32(self) -> u32;
}

A selector whose runtime value and wire representation are guaranteed to agree with Hopper’s exact-cell Effect ABI.

The trait is sealed: aliases of the real unsigned primitives inherit the implementation, while signed integers and user-defined lookalikes cannot opt themselves in. Macro-generated code also checks WIRE_SIZE against the authored type spelling, catching primitive-shadowing aliases such as a local type u16 = u8 before a manifest can publish the wrong decoder width.

Required Associated Constants

const WIRE_SIZE: u16

Canonical fixed width of the selector on the instruction wire.

Required Methods

fn to_u32(self) -> u32

Convert to the compact value consumed by the write-policy gate.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl ExactCellSelector for u8

const WIRE_SIZE: u16 = 1

fn to_u32(self) -> u32

impl ExactCellSelector for u16

const WIRE_SIZE: u16 = 2

fn to_u32(self) -> u32

impl ExactCellSelector for u32

const WIRE_SIZE: u16 = 4

fn to_u32(self) -> u32

Implementors