Struct coyoneda::Coyoneda [−] [src]

pub struct Coyoneda<'a, T: Param, B> {
    // some fields omitted
}

Methods

`impl<'a, T: 'a + Param, B: 'a> Coyoneda<'a, T, B>`

`fn unwrap(self) -> T::Output where T: Covariant<'a, B>, T::Param: 'a`

Trait Implementations

`impl<'a, T: Param, B> Param for Coyoneda<'a, T, B>`

`type Param = B`

`impl<'a, T: Param, B, C> ReParam<C> for Coyoneda<'a, T, B>`

`type Output = Coyoneda<'a, T, C>`

`impl<'a, T: Param, B, C> Covariant<'a, C> for Coyoneda<'a, T, B>`

`fn fmap<F: Fn(B) -> C + 'a>(self, f: F) -> Coyoneda<'a, T, C>`

`impl<'a, T: Param> From<T> for Coyoneda<'a, T, T::Param>`

`fn from(x: T) -> Coyoneda<'a, T, T::Param>`

`impl<'a, T, U, B> NaturalTransform<Coyoneda<'a, U, B>> for Coyoneda<'a, T, B> where T: Param + NaturalTransform<U>, U: Param<Param=T::Param>`

`fn transform(self) -> Coyoneda<'a, U, B>`