Struct ConstrainedTypeInput 

pub struct ConstrainedTypeInput { /* private fields */ }

Input shim for type:ConstrainedType. Used as Certify::Input for InhabitanceResolver, TowerCompletenessResolver, and IncrementalCompletenessResolver.

Trait Implementations

impl Clone for ConstrainedTypeInput

fn clone(&self) -> ConstrainedTypeInput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ConstrainedTypeShape for ConstrainedTypeInput

const IRI: &'static str = "https://uor.foundation/type/ConstrainedType"

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

const SITE_COUNT: usize = 0

Number of sites (fields) this constrained type carries.

const CONSTRAINTS: &'static [ConstraintRef]

Per-site constraint list. Empty means unconstrained.

const CYCLE_SIZE: u64 = 1

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:

const SITE_BUDGET: usize = Self::SITE_COUNT

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.

impl Debug for ConstrainedTypeInput

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

Formats the value using the given formatter.

impl Default for ConstrainedTypeInput

fn default() -> ConstrainedTypeInput

Returns the “default value” for a type.

impl FoundationClosed for ConstrainedTypeInput

fn arena_slice() -> &'static [Term]

Returns the term-tree arena slice the prism_model! macro emitted for this route witness. run_route reads this to populate the CompileUnit’s root_term before invoking run.

impl Hash for ConstrainedTypeInput

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

where __H: Hasher,

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 IntoBindingValue for ConstrainedTypeInput

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 PartialEq for ConstrainedTypeInput

fn eq(&self, other: &ConstrainedTypeInput) -> 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 PartitionProductFields for ConstrainedTypeInput

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 Copy for ConstrainedTypeInput

impl Eq for ConstrainedTypeInput

impl GroundedShape for ConstrainedTypeInput

impl OntologyTarget for ConstrainedTypeInput

impl StructuralPartialEq for ConstrainedTypeInput