#bounds #equality #type #coercing

eq-type

允许在两个类型上声明等价约束并在它们之间进行转换

1 个不稳定版本

0.1.0 2022年6月7日

#33 in #equality

MIT/Apache

3KB
55

eq-type

查看文档


lib.rs:

一个允许在两个类型上声明等价约束并在它们之间进行转换的crate。

示例

#
pub trait ResultExt<T, E>: Sized + Is<Result<T, E>> {
    /// Given any `E` and `EI` that implement `Into<ER>`, converts from Result<Result<T, EI>, E> to Result<T, ER>.
    fn flatten_into<TI, EI, ER>(self) -> Result<TI, ER>
    where
        T: Is<Result<TI, EI>>,
        E: Into<ER>,
        EI: Into<ER>,
    {
        self.coerce().map_err(|e| e.into()).and_then(|x| x.coerce().map_err(|e| e.into()))
    }
}
#

无运行时依赖