Trait Functor
Other items inferrite_session::prelude
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; }
fn fmap<A, B>(fa: App<Self, A>, mapper: impl Fn(A) -> B) -> App<Self, B> where A: Send + 'static, B: Send + 'static,
impl Functor for IdentityF