Struct DefaultHostTypes 

pub struct DefaultHostTypes;

Phase B: canonical default impl of HostTypes. Selects f64/str/[u8]. Use as type H = uor_foundation::DefaultHostTypes; to inherit the defaults; replace with a downstream marker struct if any slot needs an override.

Trait Implementations

impl Clone for DefaultHostTypes

fn clone(&self) -> DefaultHostTypes

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DefaultHostTypes

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

Formats the value using the given formatter.

impl Default for DefaultHostTypes

fn default() -> DefaultHostTypes

Returns the “default value” for a type.

impl Hash for DefaultHostTypes

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 HostTypes for DefaultHostTypes

const EMPTY_DECIMAL: Self::Decimal = 0.0

Empty / zero Decimal value for resolver-absent partition accessors. DefaultHostTypes selects 0.0. Used by NullPartition::density() and analogous H-typed defaults.

const EMPTY_HOST_STRING: &'static str = ""

Empty &'static HostString reference for resolver-absent accessors. DefaultHostTypes selects &"" coerced to &str. Used by NullPartition::product_category_level() and the address-typed string accessors on NullElement<H>.

const EMPTY_WITNESS_BYTES: &'static [u8]

Empty &'static WitnessBytes reference for resolver-absent accessors. DefaultHostTypes selects &[] coerced to &[u8]. Used by NullElement<H>::canonical_bytes().

type Decimal = f64

Real-number representation for kernel observables (entropies, amplitudes, rates). DefaultHostTypes selects f64. Override with higher-precision or interval arithmetic as needed.

type HostString = str

Host-supplied opaque string (NOT a foundation IRI). DefaultHostTypes selects str. Override with owned String, Cow<'_, str>, etc. for embedded / host-heap environments. The 'static bound is required by the Product/Coproduct Completion Amendment §B1 EMPTY_HOST_STRING constant — every conforming H must be able to expose a &'static HostString. All in-tree impls (DefaultHostTypes::HostString = str) already satisfy this.

type WitnessBytes = [u8]

Host-supplied opaque byte sequence (NOT a foundation canonicalBytes constant). DefaultHostTypes selects [u8]. Override with owned Vec<u8>, Bytes, etc. for host-heap environments. The 'static bound mirrors HostString for the same reason — see the EMPTY_WITNESS_BYTES constant below.

impl PartialEq for DefaultHostTypes

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

impl Eq for DefaultHostTypes

impl StructuralPartialEq for DefaultHostTypes