Trait ferrite_session::prelude::HasTypeApp [−][src]
Required methods
fn get_applied(self: Box<Self>) -> Box<F::Applied> where
F: TypeApp<A>,
[src]
F: TypeApp<A>,
fn get_applied_borrow<'a>(&'a self) -> &'a F::Applied where
F: TypeApp<A>,
[src]
F: TypeApp<A>,
Implementors
impl<T, F, A> HasTypeApp<F, A> for T where
F: 'static,
A: 'static,
T: Send + 'static,
F: TypeApp<A, Applied = T>,
[src]
F: 'static,
A: 'static,
T: Send + 'static,
F: TypeApp<A, Applied = T>,
fn get_applied(self: Box<T>) -> Box<T>
[src]
fn get_applied_borrow<'a>(&'a self) -> &'a F::Applied where
F: TypeApp<A>,
[src]
F: TypeApp<A>,