Struct BytePair 

pub struct BytePair;

UOR ADR-026 G17 partition-product shape (binary form).

Trait Implementations

impl ConstrainedTypeShape for BytePair

const IRI: &'static str = "urn:uor:product:W8Byte:W8Byte"

IRI of the ontology type:ConstrainedType instance this shape represents.

const SITE_BUDGET: usize

Ontology-level siteBudget: count of data sites only, excluding bookkeeping introduced by composition (coproduct tag sites, etc.). Equals SITE_COUNT for leaf shapes and for shapes whose composition introduces no bookkeeping (products, cartesian products). Strictly less than SITE_COUNT for coproduct shapes and any shape whose SITE_COUNT includes inherited bookkeeping. Introduced by the Product/Coproduct Completion Amendment §4a; defaults to SITE_COUNT so pre-amendment shape impls remain valid without edits.

const SITE_COUNT: usize

Number of sites (fields) this constrained type carries.

const CONSTRAINTS: &'static [ConstraintRef]

Per-site constraint list. Empty means unconstrained.

const CYCLE_SIZE: u64

ADR-032: cardinality of the shape’s value-set (the cycle structure of the shape under the substrate’s discrete-clock model). Used by the prism_model! macro to lower first_admit (closure-body grammar G16) to the correct descent measure. Conventions:

impl IntoBindingValue for BytePair

const MAX_BYTES: usize = 0

Maximum byte length any value of this shape can produce when serialized via [into_binding_bytes]. Used by run_route to size the on-stack buffer and reject inputs that would overflow.

fn into_binding_bytes(&self, _out: &mut [u8]) -> Result<usize, ShapeViolation>

Serialize this input value into the binding-table form. out is a fixed-capacity buffer the call-site provides; the implementation writes the canonical content-addressable byte sequence and returns the written length.

impl PartitionProductFactor<0> for BytePair

type Factor = W8Byte

The static type of the factor at position INDEX.

impl PartitionProductFactor<1> for BytePair

type Factor = W8Byte

The static type of the factor at position INDEX.

impl PartitionProductFields for BytePair

const FIELDS: &'static [(u32, u32)]

Per-factor (byte_offset, byte_length) pairs in declaration order. Length is the same as FIELD_NAMES.len().

const FIELD_NAMES: &'static [&'static str]

Per-factor names. Empty string "" for positional-only partition_product!(Name, A, B) emissions; non-empty for named-field partition_product!(Name, lhs: A, rhs: B) form. Length matches FIELDS.len().

fn field_index_by_name(name: &str) -> usize

Linear search returning the field index whose FIELD_NAMES entry equals name, or usize::MAX if not found. Delegates to the free const fn field_index_by_name_in so the result is usable inside const-eval contexts on stable Rust 1.83 (where const trait methods are unavailable).

impl GroundedShape for BytePair