qubit-value 0.13.1

Type-safe containers for single, multi-valued, and named runtime values
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

// =============================================================================
//    Copyright (c) 2025 - 2026 Haixing Hu.
//
//    SPDX-License-Identifier: Apache-2.0
//
//    Licensed under the Apache License, Version 2.0.
// =============================================================================

//! Public finite-float wire behavior.

use qubit_value::MultiValues;
use qubit_value::Value;
use qubit_value::ValueContainer;
use qubit_value::ValueWireEncodeError;
use qubit_value::ValueWireV1;
use serde_json::to_string;
use serde_json::to_value;

use crate::decode_value_wire_str;

#[test]
fn test_finite_float_wire_contract() {
    assert!(
        matches!(
            ValueWireV1::try_from(Value::Float64(f64::NAN)),
            Err(ValueWireEncodeError::NonFiniteFloat { .. })
        ),
        "wire conversion should reject non-finite floats"
    );
}

#[test]
fn test_float_wire_accepts_finite_value() {
    let wire = ValueWireV1::try_from(Value::Float64(1.25))
        .expect("finite float wire value should construct");

    to_value(wire).expect("finite float wire value should serialize");
}

#[test]
fn test_finite_float_collection_wire_round_trip() {
    let cases = [
        MultiValues::Float32(vec![0.0, -1.25, 3.5]),
        MultiValues::Float64(vec![0.0, -1.25, 3.5]),
    ];
    for values in cases {
        let expected = ValueContainer::Collection(values.clone());
        let wire = ValueWireV1::try_from(values).expect("finite collection must construct");
        let encoded = to_string(&wire).expect("finite collection must encode");
        let restored = decode_value_wire_str(&encoded).expect("finite collection must decode");
        assert_eq!(
            restored.into_container(),
            expected,
            "wire round trip must preserve the finite collection"
        );
    }
}