Trait lubeck::prelude::Functor

pub trait Functor<'a, A>: GenType {
    fn fmap<F, B: 'a>(self, f: F) -> Self::Type<B>
    where
        F: Fn(A) -> B + 'a;
}

Required Methods

fn fmap<F, B: 'a>(self, f: F) -> Self::Type<B>where
    F: Fn(A) -> B + 'a,

Implementations on Foreign Types

impl<'a, A> Functor<'a, A> for Option<A>

fn fmap<F, B>(self, f: F) -> Self::Type<B>where
    F: Fn(A) -> B,

impl<'a> Functor<'a, char> for String

fn fmap<F, B>(self, f: F) -> Self::Type<B>where
    F: Fn(char) -> B + 'a,
    B: 'a,

impl<'a, A> Functor<'a, A> for Vec<A>

fn fmap<F, B>(self, f: F) -> Self::Type<B>where
    F: Fn(A) -> B + 'a,
    B: 'a,

impl<'a, A, E> Functor<'a, A> for Result<A, E>

fn fmap<F, B>(self, f: F) -> Self::Type<B>where
    F: Fn(A) -> B + 'a,
    B: 'a,

Implementors

impl<'a, M, A> Functor<'a, A> for OptionT<'a, M, A>where
    M: GenType<Type<Option<A>> = M> + Monad<'a, Option<A>>,
    A: 'a,

impl<'a, R, A> Functor<'a, A> for Cont<'a, R, A>where
    R: 'a,
    A: 'a,

impl<'a, R, A> Functor<'a, A> for Reader<'a, R, A>where
    R: Clone + 'a,
    A: 'a,

impl<'a, R, A> Functor<'a, A> for ReaderOptionT<'a, R, A>where
    R: Clone + 'a,
    A: 'a,

impl<'a, S, A> Functor<'a, A> for State<'a, S, A>where
    S: Clone + 'a,
    A: 'a,

impl<'a, W, A> Functor<'a, A> for Writer<'a, W, A>where
    W: Monoid + 'a,
    A: 'a,