Trait ferrite_session::internal::functional::base::Functor

pub trait Functor: TyCon {
    fn fmap<A, B>(fa: App<Self, A>, mapper: impl Fn(A) -> B) -> App<Self, B>
    where
        A: Send + 'static,
        B: Send + 'static;
}

Required methods

fn fmap<A, B>(fa: App<Self, A>, mapper: impl Fn(A) -> B) -> App<Self, B> where
    A: Send + 'static,
    B: Send + 'static, 

Implementors

impl Functor for IdentityF