pub struct U64;Expand description
64-bit unsigned integer.
Trait Implementations§
Source§impl ConstrainedTypeShape for U64
impl ConstrainedTypeShape for U64
Source§const IRI: &'static str = "https://uor.foundation/type/ConstrainedType"
const IRI: &'static str = "https://uor.foundation/type/ConstrainedType"
IRI of the ontology
type:ConstrainedType instance this shape represents.Source§const SITE_COUNT: usize = INT64_BYTES
const SITE_COUNT: usize = INT64_BYTES
Number of sites (fields) this constrained type carries.
Source§const CONSTRAINTS: &'static [ConstraintRef]
const CONSTRAINTS: &'static [ConstraintRef]
Per-site constraint list. Empty means unconstrained.
Source§const CYCLE_SIZE: u64
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: Read moreSource§const SITE_BUDGET: usize = Self::SITE_COUNT
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.Source§impl Dtype for U64
impl Dtype for U64
Source§const BLOCK_BYTES: usize = INT64_BYTES
const BLOCK_BYTES: usize = INT64_BYTES
Bytes per block. For continuous element types this is the element
byte count; for quantized types this is the block-bytes count
(= the GGML
block_q*_* sizeof).Source§const BLOCK_ELEMS: usize = 1
const BLOCK_ELEMS: usize = 1
Elements per block.
1 for continuous types; 32 for legacy
quantization; 256 for K-series quantization.Source§impl<'a> IntoBindingValue<'a> for U64
impl<'a> IntoBindingValue<'a> for U64
Source§fn as_binding_value<const INLINE_BYTES: usize>(
&self,
) -> TermValue<'a, INLINE_BYTES>
fn as_binding_value<const INLINE_BYTES: usize>( &self, ) -> TermValue<'a, INLINE_BYTES>
Return this input value’s canonical content-addressable bytes as a
source-polymorphic
crate::pipeline::TermValue carrier (ADR-060).
Inline for values within the derived inline width, Borrowed for
larger in-memory values (zero-copy), or Stream for unbounded
sources. The carrier borrows the input’s 'a-lived data; for an
Inline-only input it owns its bytes and is valid for any 'a.impl Copy for U64
impl GroundedShape for U64
Auto Trait Implementations§
impl Freeze for U64
impl RefUnwindSafe for U64
impl Send for U64
impl Sync for U64
impl Unpin for U64
impl UnsafeUnpin for U64
impl UnwindSafe for U64
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more