Trait MonoAtop 

pub trait MonoAtop<'a, A, B, C, D>
where
    Self: Sized,
{
    // Provided method
    fn AT<Duo>(self, d: Duo) -> Box<dyn Fn(A, B) -> D + 'a>
       where Self: Fn(C) -> D + 'a,
             Duo: Fn(A, B) -> C + 'a { ... }
}

Provided Methods

fn AT<Duo>(self, d: Duo) -> Box<dyn Fn(A, B) -> D + 'a>

where Self: Fn(C) -> D + 'a, Duo: Fn(A, B) -> C + 'a,

Atop

M1.AT(D2)(x,y)
 
      /x
M1-D2<
      \y

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, A, B, C, D, Fun> MonoAtop<'a, A, B, C, D> for Fun

where Fun: Fn(C) -> D,