Trait HasTypeApp 

pub trait HasTypeApp<'a, F, A>: Send {
    // Required methods
    fn get_applied(self: Box<Self>) -> Box<F::Applied>
       where F: TypeApp<'a, A>;
    fn get_applied_borrow(&self) -> &F::Applied
       where F: TypeApp<'a, A>;
}

Required Methods

fn get_applied(self: Box<Self>) -> Box<F::Applied>

where F: TypeApp<'a, A>,

fn get_applied_borrow(&self) -> &F::Applied

where F: TypeApp<'a, A>,

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'a, T, F, A> HasTypeApp<'a, F, A> for T

where T: Send, F: TypeApp<'a, A, Applied = T>,