Trait radn::func::Functor

pub trait Functor<'a>: WeakFunctor<'a> {
    // Required method
    fn fmap<A: 'a + Send, B: 'a + Send>(
        fa: Self::F<A>,
        f: impl 'a + Send + FnOnce(A) -> B
    ) -> Self::F<B>;

    // Provided methods
    fn replace<A: 'a + Send, B: 'a + Send>(fa: Self::F<A>, b: B) -> Self::F<B> { ... }
    fn void<A: 'a + Send>(fa: Self::F<A>) -> Self::F<()> { ... }
}

Rust-specific implementation of Functor, respecting move semantics.

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

Required Methods

fn fmap<A: 'a + Send, B: 'a + Send>( fa: Self::F<A>, f: impl 'a + Send + FnOnce(A) -> B ) -> Self::F<B>

Equivalent or Haskell’s fmap. Due to Rust limitations, it’s not a function->function conversion. For that see derivations::fmap.

Provided Methods

fn replace<A: 'a + Send, B: 'a + Send>(fa: Self::F<A>, b: B) -> Self::F<B>

Equivalent of Haskell’s $>/<$.

fn void<A: 'a + Send>(fa: Self::F<A>) -> Self::F<()>

Equivalent of Haskell’s void.

Implementors

impl<'a> Functor<'a> for FutureInstance

impl<'a> Functor<'a> for LazyInstance

impl<'a> Functor<'a> for OptionInstance

impl<'a> Functor<'a> for SoloInstance

impl<'a> Functor<'a> for StacklessInstance

impl<'a, E: 'a + Send> Functor<'a> for EffectInstance<E>

impl<'a, E: 'a + Send> Functor<'a> for ResultInstance<E>

impl<'a, E: 'a + Send> Functor<'a> for TryFutureInstance<E>

impl<'a, T: Functor<'a>, O: 'a + DeriveFunctor> Functor<'a> for OverloadInstance<T, O>

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