connections 0.1.0

Galois connections as first-class values: lawful numeric casts, Q-format / IEEE / time ladders
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85

//! Shared strategies for the `tests/fixed/*_float_q.rs` submodules.
//!
//! These are bit-for-bit copies of `arb_f32_bounded` /
//! `arb_f64_bounded` + `extended_float_f{32,64}` from
//! `src/prop/arb.rs`. Inlining here (rather than depending on
//! `connections::prop::arb`) lets this test binary build without
//! the `proptest` cargo feature having to be on the manifest of
//! the integration-test target — `proptest` is a dev-dep of this
//! crate, so the strategies and `Strategy` trait are already in
//! scope regardless of the feature.

#![allow(dead_code)] // Each integration test imports a subset.

use connections::float::N5;
use proptest::prelude::*;

pub fn extended_float_f32() -> impl Strategy<Value = N5<f32>> {
    prop_oneof![
        1 => Just(N5::new(f32::NAN)),
        1 => Just(N5::new(f32::NEG_INFINITY)),
        1 => Just(N5::new(f32::INFINITY)),
        3 => prop_oneof![
            1 => -10.0_f32..10.0_f32,
            2 => prop_oneof![
                Just(f32::NAN),
                Just(f32::INFINITY),
                Just(f32::NEG_INFINITY),
                Just(0.0_f32),
                Just(-0.0_f32),
                Just(f32::MIN_POSITIVE),
                Just(f32::MAX),
                Just(f32::MIN),
                Just(f32::EPSILON),
                Just(f32::from_bits(1)),
                // Saturation plateaus mirroring `arb_f32_bounded`.
                Just(2.0_f32.powi(31)),
                Just(-2.0_f32.powi(31)),
                Just(f32::from_bits(2.0_f32.powi(31).to_bits() + 1)),
                Just(2.0_f32.powi(32)),
                Just(f32::from_bits(2.0_f32.powi(32).to_bits() + 1)),
                Just(2.0_f32.powi(63)),
                Just(f32::from_bits(2.0_f32.powi(63).to_bits() + 1)),
                Just(2.0_f32.powi(64)),
                Just(f32::from_bits(2.0_f32.powi(64).to_bits() + 1)),
                Just(2.0_f32.powi(127)),
                Just(-2.0_f32.powi(127)),
                Just(f32::from_bits(2.0_f32.powi(127).to_bits() + 1)),
            ],
        ].prop_map(N5::new),
    ]
}

pub fn extended_float_f64() -> impl Strategy<Value = N5<f64>> {
    prop_oneof![
        1 => Just(N5::new(f64::NAN)),
        1 => Just(N5::new(f64::NEG_INFINITY)),
        1 => Just(N5::new(f64::INFINITY)),
        3 => prop_oneof![
            1 => -1.0e9_f64..1.0e9_f64,
            2 => prop_oneof![
                Just(f64::NAN),
                Just(f64::INFINITY),
                Just(f64::NEG_INFINITY),
                Just(0.0_f64),
                Just(-0.0_f64),
                Just(f64::MIN_POSITIVE),
                Just(f64::MAX),
                Just(f64::MIN),
                Just(f64::EPSILON),
                Just(f64::from_bits(1)),
                // Saturation plateaus mirroring `arb_f64_bounded`.
                Just(2.0_f64.powi(63)),
                Just(-2.0_f64.powi(63)),
                Just(f64::from_bits(2.0_f64.powi(63).to_bits() + 1)),
                Just(2.0_f64.powi(64)),
                Just(f64::from_bits(2.0_f64.powi(64).to_bits() + 1)),
                Just(2.0_f64.powi(127)),
                Just(-2.0_f64.powi(127)),
                Just(f64::from_bits(2.0_f64.powi(127).to_bits() + 1)),
                Just(2.0_f64.powi(128)),
                Just(f64::from_bits(2.0_f64.powi(128).to_bits() + 1)),
            ],
        ].prop_map(N5::new),
    ]
}