#float #NaN #finite #panic #signaling

noisy_float

Contains floating point types that panic if they are set to an illegal value, such as NaN

13 releases

✓ Uses Rust 2018 edition

0.1.12 Dec 21, 2019
0.1.11 May 26, 2019
0.1.9 Jan 6, 2019
0.1.8 Sep 29, 2018
0.1.2 Sep 12, 2016

#2 in #panic

Download history 614/week @ 2019-10-11 599/week @ 2019-10-18 683/week @ 2019-10-25 642/week @ 2019-11-01 632/week @ 2019-11-08 728/week @ 2019-11-15 627/week @ 2019-11-22 411/week @ 2019-11-29 605/week @ 2019-12-06 692/week @ 2019-12-13 286/week @ 2019-12-20 394/week @ 2019-12-27 518/week @ 2020-01-03 766/week @ 2020-01-10 605/week @ 2020-01-17

2,898 downloads per month
Used in 10 crates (7 directly)

Apache-2.0

47KB
761 lines

noisy_float-rs

This is a Rust library containing floating point types that panic if they are set to an illegal value, such as NaN.

Crate

The Rust crate for this library can be found here.

Documentation

The documentation for this library can be found here.

Description

The name "Noisy Float" comes from the terms "quiet NaN" and "signaling NaN"; "signaling" was too long to put in a struct/crate name, so "noisy" is used instead, being the opposite of "quiet."

The standard types defined in noisy_float::types follow the principle demonstrated by Rust's handling of integer overflow: a bad arithmetic operation is considered an error, but it is too costly to check everywhere in optimized builds. For each floating point number that is created, a debug_assert! invocation is used to check if it is valid or not. This way, there are guarantees when developing code that floating point numbers have valid values, but during a release run there is no overhead for using these floating point types compared to using f32 or f64 directly.

This crate makes use of the num, bounded, signed and floating point traits in the popular num_traits crate. This crate can be compiled with no_std.

Examples

An example using the R64 type, which corresponds to finite f64 values.

use noisy_float::prelude::*;

fn geometric_mean(a: R64, b: R64) -> R64 {
    (a * b).sqrt() //used just like regular floating-point numbers
}

println!("geometric_mean(10.0, 20.0) = {}", geometric_mean(r64(10.0), r64(20.0)));
//prints 14.142...

An example using the N32 type, which corresponds to non-NaN f32 values. The float types in this crate are able to implement Eq and Ord properly, since NaN is not allowed.

use noisy_float::prelude::*;

let values = vec![n32(3.0), n32(-1.5), n32(71.3), N32::infinity()];
assert!(values.iter().cloned().min() == Some(n32(-1.5)));
assert!(values.iter().cloned().max() == Some(N32::infinity()));

License

Noisy_float is licensed under the Apache 2.0 License.

Dependencies

~215KB