Trait ferrite_session::internal::functional::Functor[][src]

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, 
[src]

Loading content...

Implementors

impl Functor for IdentityF[src]

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

Loading content...