DuoAppose

Trait DuoAppose 

Source
pub trait DuoAppose<'a, A, B, C>
where Self: Sized,
{ // Provided method fn AP<Mono>(self, m: Mono) -> Box<dyn Fn(A, A) -> C + 'a> where Self: Fn(B, B) -> C + 'a, Mono: Fn(A) -> B + 'a { ... } }

Provided Methods§

Source

fn AP<Mono>(self, m: Mono) -> Box<dyn Fn(A, A) -> C + 'a>
where Self: Fn(B, B) -> C + 'a, Mono: Fn(A) -> B + 'a,

§Appose
D1.AP(M2)(x,y)
 
   /M2-x:T
D1<
   \M2-y:T

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§

Source§

impl<'a, A, B, C, Fun> DuoAppose<'a, A, B, C> for Fun
where Fun: Fn(B, B) -> C,