Trait ferrite_session::internal::functional::public::HasTypeApp [−][src]
pub trait HasTypeApp<F, A>: Send where
F: 'static,
A: 'static, { fn get_applied(self: Box<Self>) -> Box<F::Applied>
where
F: TypeApp<A>; fn get_applied_borrow(&self) -> &F::Applied
where
F: TypeApp<A>; }
Required methods
fn get_applied_borrow(&self) -> &F::Applied where
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>,