Trait fmap::ContravariantSelf

pub trait ContravariantSelf<'a, A>where
    Self: Contravariant<'a, A, Inner = A, Mapped = Self>,
    A: 'a,{ }

A Contravariant functor that can be mapped to itself

This trait should be required as bound when the compiler shall infer that the return type of Contravariant::contramap is Self.

Implementors

impl<'a, T, A> ContravariantSelf<'a, A> for Twhere T: Contravariant<'a, A, Inner = A, Mapped = Self>, A: 'a,