Trait functional::Rebind2 [−] [src]

pub trait Rebind2<Y>: Generic2 {
    type Type;
}

Generic types with at least two parameters can implement this trait providing an ability to change second generic parameter. Associated Type must have same HKT. There are few laws: <<X As Rebind2<T>::Type as Generic2>::Type == T <X As Rebind2<<X as Generic2>::Type>::Type == X

Associated Types

`type Type`

Implementors

impl<T0, T1, Y> Rebind2<Y> for Result<T0, T1> where Result<T0, T1>: Generic1<Type=T0>, Result<T0, T1>: Generic2<Type=T1>
impl<'a, X, Y, T> Rebind2<Y> for &'a X where X: Rebind2<Y, Type=T>
impl<X, Y, T> Rebind2<Y> for Box<X> where X: Rebind2<Y, Type=T>
impl<X, Y, T> Rebind2<Y> for Rc<X> where X: Rebind2<Y, Type=T>
impl<X, Y, T> Rebind2<Y> for Arc<X> where X: Rebind2<Y, Type=T>