Trait radn::func::WeakFunctor

pub trait WeakFunctor<'a>: 'a + Send {
    type F<A: 'a + Send>: 'a + Send;
}

Part of Haskell’s Functor f responsible for having f a.

https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-Functor.html

Required Associated Types

type F<A: 'a + Send>: 'a + Send

Implementors

impl<'a, T: WeakFunctor<'a>, O: 'a + DeriveWeakFunctor> WeakFunctor<'a> for OverloadInstance<T, O>

type F<A: 'a + Send> = <T as WeakFunctor<'a>>::F<A>

impl<'a, T: ?Sized + 'a + WeakFunctorAny> WeakFunctor<'a> for T

type F<A: 'a + Send> = <T as WeakFunctorAny>::FAny<'a, A>

impl<'a, U: WeakFunctor<'a>, V: WeakFunctor<'a>> WeakFunctor<'a> for CompositionInstance<U, V>

type F<A: 'a + Send> = <U as WeakFunctor<'a>>::F<<V as WeakFunctor<'a>>::F<A>>