Skip to main content

Module polyfill_128

polydat_core::library

Module polyfill_128 

Source
Expand description

Polyfill edge adapters for the 128-bit integer types (u128/i128) — cranelift I128 under both signedness interpretations (polydat/docs/design/type_system_alignment.md §8.1).

Conventions mirror the 64-bit rows:

  • Widenings from the 64-bit carriers are class A; u64→i128 is also A (every u64 fits).
  • Narrowings and cross-signedness casts are class B with range-check panics.
  • Bytes serdes are little-endian, exactly 16 bytes.
  • JSON projection is a decimal string in both directions (JSON Number is bounded by u64/i64/f64 leaves); the extractors also accept an in-range JSON Number for convenience at result-body boundaries.
  • → f64 mirrors u64→f64’s class-A treatment (defined for every input; precision-lossy above 2^53 by the same rule).

Structs§

BoolToI128
The __bool_to_i128 node.
BoolToU128
The __bool_to_u128 node.
BytesToI128
The __bytes_to_i128 node.
BytesToU128
The __bytes_to_u128 node.
F64ToI128
The __f64_to_i128 node.
F64ToU128
The __f64_to_u128 node.
I8ToI128
The __i8_to_i128 node.
I16ToI128
The __i16_to_i128 node.
I32ToI128
The __i32_to_i128 node.
I64ToI128
The __i64_to_i128 node.
I64ToU128
The __i64_to_u128 node.
I128ToBool
The __i128_to_bool node.
I128ToBytes
The __i128_to_bytes node.
I128ToF64
The __i128_to_f64 node.
I128ToI64
The __i128_to_i64 node.
I128ToJson
The __i128_to_json node.
I128ToString
The __i128_to_string node.
I128ToU128
The __i128_to_u128 node.
JsonToI128
The __json_to_i128 node.
JsonToU128
The __json_to_u128 node.
StrToI128
The __str_to_i128 node.
StrToU128
The __str_to_u128 node.
U8ToI128
The __u8_to_i128 node.
U8ToU128
The __u8_to_u128 node.
U16ToI128
The __u16_to_i128 node.
U16ToU128
The __u16_to_u128 node.
U32ToI128
The __u32_to_i128 node.
U32ToU128
The __u32_to_u128 node.
U64ToI128
The __u64_to_i128 node.
U64ToU128
The __u64_to_u128 node.
U128ToBool
The __u128_to_bool node.
U128ToBytes
The __u128_to_bytes node.
U128ToF64
The __u128_to_f64 node.
U128ToI128
The __u128_to_i128 node.
U128ToJson
The __u128_to_json node.
U128ToString
The __u128_to_string node.
U128ToU64
The __u128_to_u64 node.