unify.rs

Rust 的基于特质的类型级别相等约束

概述

此包提供基于特质的相等约束实现。它旨在作为在正确实现相等谓词（如 where-子句中所述）之前的临时解决方案。

由于它是一个技巧，因此在使用上有一些限制。它最有效地作为辅助编码额外特质不变性的工具，以排除无效的实现。之前它曾作为指定静态方法调用时的 Self 的手段，但随着 UFCS 的出现，这不再需要。

文档

请参阅此处API文档：这里。

要求

1. Rust
2. Cargo

您可以使用以下内容安装它们

$ curl -s https://static.rust-lang.org/rustup.sh | sudo sh

有关更多信息，请参阅安装 Rust。

用法

$ cargo build       ## build library and binary
$ cargo test        ## run tests in ./tests
$ cargo bench       ## run benchmarks in ./benches

讨论

在freenode (chat.freenode.net) 的#epsilonz上有IRC频道。