文件名称:decorum:使浮点行为
文件大小:32KB
文件格式:ZIP
更新时间:2024-05-26 17:36:21
hashing rust library floating-point ieee-754
Decorum是一个Rust库,它为浮点表示提供总排序,等价,哈希和约束。 Decorum需要Rust 1.43.0或更高版本,并且不需要std库。 总订购 以下特征通过实现Ord原始类型和代理类型的特征来公开: [ -INF < ... < 0 < ... < +INF < NaN ] IEEE-754浮点编码提供零( -0和+0 )和NaN多种表示形式。 此排序认为所有零表示和NaN表示均相等,这与。 某些代理类型不允许无序的NaN值,因此支持基于非NaN浮点值的有序子集的总排序(请参见下文)。 代理类型 Decorum公开了几种代理(包装器)类型。 代理类型提供两个主要功能:它们通过Eq , Ord和Hash特性实现总排序和等效性,并且限制了它们可以表示的浮点值的类别。 不同的类型定义应用不同的约束,而Total类型完全不应用约束。 类型 别名 特性实施 不允许的值 Total
【文件预览】:
decorum-master
----rustfmt.toml(75B)
----Cargo.toml(1KB)
----.github()
--------workflows()
----src()
--------canonical.rs(1KB)
--------hash.rs(2KB)
--------cmp.rs(12KB)
--------lib.rs(9KB)
--------primitive.rs(8KB)
--------constraint.rs(3KB)
--------proxy.rs(43KB)
----doc()
--------katex-header.html(1KB)
--------decorum-favicon.ico(255KB)
--------decorum-favicon.svg(2KB)
--------decorum.svg(2KB)
--------decorum-minimal.svg(2KB)
----LICENSE(1KB)
----README.md(6KB)
----.gitignore(45B)