Skip to main content

Module polyfill_complete

polydat_core::library

Module polyfill_complete 

Source
Expand description

Matrix-completion adapters — the boundary (class-B) conversions that fill every meaningful (from, to) cell the §3 catalog had left as ·. Generated by paste!-driven macros so the ~130 trivial transforms aren’t hand-written; each is still a real #[polydat_node] (the SRD-80b authoring path), so they JIT and register exactly like the hand-written adapters.

Semantics follow the existing scalar/vector adapters:

  • integer narrowing / cross-sign uses TryFrom and panics with a range diagnostic — same contract as polyfill.rs.
  • float → integer range-checks against the target’s [MIN, MAX] and rejects non-finite inputs.
  • integer → narrow float (f16/f32) saturates per IEEE (lossy, hence class B, but never panics).

See type_system.md §3 and tests/adapter_catalog_invariants.rs.

Structs§

BytesToVecF16
The __bytes_to_vec_f16 node.
BytesToVecF64
The __bytes_to_vec_f64 node.
BytesToVecI8
The __bytes_to_vec_i8 node.
BytesToVecI16
The __bytes_to_vec_i16 node.
BytesToVecI64
The __bytes_to_vec_i64 node.
F16ToI8
The __f16_to_i8 node.
F16ToI16
The __f16_to_i16 node.
F16ToI32
The __f16_to_i32 node.
F16ToI64
The __f16_to_i64 node.
F16ToI128
The __f16_to_i128 node.
F16ToU8
The __f16_to_u8 node.
F16ToU16
The __f16_to_u16 node.
F16ToU32
The __f16_to_u32 node.
F16ToU64
The __f16_to_u64 node.
F16ToU128
The __f16_to_u128 node.
F32ToI8
The __f32_to_i8 node.
F32ToI16
The __f32_to_i16 node.
F32ToI128
The __f32_to_i128 node.
F32ToU8
The __f32_to_u8 node.
F32ToU16
The __f32_to_u16 node.
F32ToU128
The __f32_to_u128 node.
I8ToU8
The __i8_to_u8 node.
I8ToU16
The __i8_to_u16 node.
I8ToU32
The __i8_to_u32 node.
I8ToU64
The __i8_to_u64 node.
I8ToU128
The __i8_to_u128 node.
I16ToF16
The __i16_to_f16 node.
I16ToI8
The __i16_to_i8 node.
I16ToU8
The __i16_to_u8 node.
I16ToU16
The __i16_to_u16 node.
I16ToU32
The __i16_to_u32 node.
I16ToU64
The __i16_to_u64 node.
I16ToU128
The __i16_to_u128 node.
I32ToF16
The __i32_to_f16 node.
I32ToU8
The __i32_to_u8 node.
I32ToU16
The __i32_to_u16 node.
I32ToU128
The __i32_to_u128 node.
I64ToF16
The __i64_to_f16 node.
I128ToF16
The __i128_to_f16 node.
I128ToF32
The __i128_to_f32 node.
I128ToI8
The __i128_to_i8 node.
I128ToI16
The __i128_to_i16 node.
I128ToI32
The __i128_to_i32 node.
I128ToU8
The __i128_to_u8 node.
I128ToU16
The __i128_to_u16 node.
I128ToU32
The __i128_to_u32 node.
I128ToU64
The __i128_to_u64 node.
JsonToVecF16
The __json_to_vec_f16 node.
JsonToVecF64
The __json_to_vec_f64 node.
JsonToVecI8
The __json_to_vec_i8 node.
JsonToVecI16
The __json_to_vec_i16 node.
JsonToVecI64
The __json_to_vec_i64 node.
StrToVecF16
The __str_to_vec_f16 node.
StrToVecF64
The __str_to_vec_f64 node.
StrToVecI8
The __str_to_vec_i8 node.
StrToVecI16
The __str_to_vec_i16 node.
StrToVecI64
The __str_to_vec_i64 node.
U8ToI8
The __u8_to_i8 node.
U16ToF16
The __u16_to_f16 node.
U16ToI8
The __u16_to_i8 node.
U16ToI16
The __u16_to_i16 node.
U32ToF16
The __u32_to_f16 node.
U32ToI8
The __u32_to_i8 node.
U32ToI16
The __u32_to_i16 node.
U128ToF16
The __u128_to_f16 node.
U128ToF32
The __u128_to_f32 node.
U128ToI8
The __u128_to_i8 node.
U128ToI16
The __u128_to_i16 node.
U128ToI32
The __u128_to_i32 node.
U128ToI64
The __u128_to_i64 node.
U128ToU8
The __u128_to_u8 node.
U128ToU16
The __u128_to_u16 node.
U128ToU32
The __u128_to_u32 node.
VecF16ToBytes
The __vec_f16_to_bytes node.
VecF16ToJson
The __vec_f16_to_json node.
VecF16ToStr
The __vec_f16_to_str node.
VecF16ToVecF32
The __vec_f16_to_vec_f32 node.
VecF16ToVecF64
The __vec_f16_to_vec_f64 node.
VecF16ToVecI8
The __vec_f16_to_vec_i8 node.
VecF16ToVecI16
The __vec_f16_to_vec_i16 node.
VecF16ToVecI32
The __vec_f16_to_vec_i32 node.
VecF16ToVecI64
The __vec_f16_to_vec_i64 node.
VecF32ToVecF16
The __vec_f32_to_vec_f16 node.
VecF32ToVecF64
The __vec_f32_to_vec_f64 node.
VecF32ToVecI8
The __vec_f32_to_vec_i8 node.
VecF32ToVecI16
The __vec_f32_to_vec_i16 node.
VecF32ToVecI64
The __vec_f32_to_vec_i64 node.
VecF64ToBytes
The __vec_f64_to_bytes node.
VecF64ToJson
The __vec_f64_to_json node.
VecF64ToStr
The __vec_f64_to_str node.
VecF64ToVecF16
The __vec_f64_to_vec_f16 node.
VecF64ToVecF32
The __vec_f64_to_vec_f32 node.
VecF64ToVecI8
The __vec_f64_to_vec_i8 node.
VecF64ToVecI16
The __vec_f64_to_vec_i16 node.
VecF64ToVecI32
The __vec_f64_to_vec_i32 node.
VecF64ToVecI64
The __vec_f64_to_vec_i64 node.
VecI8ToBytes
The __vec_i8_to_bytes node.
VecI8ToJson
The __vec_i8_to_json node.
VecI8ToStr
The __vec_i8_to_str node.
VecI8ToVecF16
The __vec_i8_to_vec_f16 node.
VecI8ToVecF32
The __vec_i8_to_vec_f32 node.
VecI8ToVecF64
The __vec_i8_to_vec_f64 node.
VecI8ToVecI16
The __vec_i8_to_vec_i16 node.
VecI8ToVecI32
The __vec_i8_to_vec_i32 node.
VecI8ToVecI64
The __vec_i8_to_vec_i64 node.
VecI16ToBytes
The __vec_i16_to_bytes node.
VecI16ToJson
The __vec_i16_to_json node.
VecI16ToStr
The __vec_i16_to_str node.
VecI16ToVecF16
The __vec_i16_to_vec_f16 node.
VecI16ToVecF32
The __vec_i16_to_vec_f32 node.
VecI16ToVecF64
The __vec_i16_to_vec_f64 node.
VecI16ToVecI8
The __vec_i16_to_vec_i8 node.
VecI16ToVecI32
The __vec_i16_to_vec_i32 node.
VecI16ToVecI64
The __vec_i16_to_vec_i64 node.
VecI32ToVecF16
The __vec_i32_to_vec_f16 node.
VecI32ToVecF64
The __vec_i32_to_vec_f64 node.
VecI32ToVecI8
The __vec_i32_to_vec_i8 node.
VecI32ToVecI16
The __vec_i32_to_vec_i16 node.
VecI32ToVecI64
The __vec_i32_to_vec_i64 node.
VecI64ToBytes
The __vec_i64_to_bytes node.
VecI64ToJson
The __vec_i64_to_json node.
VecI64ToStr
The __vec_i64_to_str node.
VecI64ToVecF16
The __vec_i64_to_vec_f16 node.
VecI64ToVecF32
The __vec_i64_to_vec_f32 node.
VecI64ToVecF64
The __vec_i64_to_vec_f64 node.
VecI64ToVecI8
The __vec_i64_to_vec_i8 node.
VecI64ToVecI16
The __vec_i64_to_vec_i16 node.
VecI64ToVecI32
The __vec_i64_to_vec_i32 node.