Trait functor::CovariantOnce [−] [src]

pub trait CovariantOnce<'a, B>: ReParam<B> + Covariant<'a, B> {
    fn fmap_once<F: 'a + FnOnce(Self::Param) -> B>(self, F) -> Self::Output;
}

Required Methods

`fn fmap_once<F: 'a + FnOnce(Self::Param) -> B>(self, F) -> Self::Output`

Implementors

impl<'a, A, B> CovariantOnce<'a, B> for Option<A>
impl<'a, X, A, B> CovariantOnce<'a, B> for (X, A)
impl<'a, A, B> CovariantOnce<'a, B> for Box<A>
impl<'a, A, B, E> CovariantOnce<'a, B> for Result<A, E>