Trait functor::CovariantOnce

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>