3个不稳定版本
| 0.2.1 | 2020年1月7日 |
|---|---|
| 0.2.0 | 2020年1月1日 |
| 0.1.0 | 2019年6月22日 |
27 在 #equality
每月下载量 209
用于 haskell_bits
3KB
类型相等约束
is_type 提供了 Is<X> trait，该trait类似于一个相等约束。
还有一些函数可以在这两种等价类型之间进行转换，因为Rust仍然无法意识到这些类型是等价的。
约束 X : Is<Y> 要求 X == Y。
这个想法来自 关于where子句中相等约束的这条评论，其中包含了一个示例用例。
请注意，into_val 和 from_val 函数基本上等同于 into 和 from，但是为了让这个trait通用，我们需要一个通用实例，而这个实例不能在 Into 或 From 上定义。