pub struct I32;Expand description
32-bit signed integer.
Trait Implementations§
Source§impl ConstrainedTypeShape for I32
impl ConstrainedTypeShape for I32
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 = INT32_BYTES
const SITE_COUNT: usize = INT32_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 I32
impl Dtype for I32
Source§const BLOCK_BYTES: usize = INT32_BYTES
const BLOCK_BYTES: usize = INT32_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 IntoBindingValue for I32
impl IntoBindingValue for I32
Source§const MAX_BYTES: usize = INT32_BYTES
const MAX_BYTES: usize = INT32_BYTES
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.Source§fn into_binding_bytes(&self, _out: &mut [u8]) -> Result<usize, ShapeViolation>
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. Read moreimpl Copy for I32
impl GroundedShape for I32
Auto Trait Implementations§
impl Freeze for I32
impl RefUnwindSafe for I32
impl Send for I32
impl Sync for I32
impl Unpin for I32
impl UnsafeUnpin for I32
impl UnwindSafe for I32
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