Trait ferrite_session::HasTypeApp

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<'a>(&'a self) -> &'a F::Applied
    where
        F: TypeApp<A>;
    fn get_applied_borrow_mut<'a>(&'a mut self) -> &'a mut F::Applied
    where
        F: TypeApp<A>;
}

Required methods

fn get_applied(self: Box<Self>) -> Box<F::Applied> where
    F: TypeApp<A>, 

fn get_applied_borrow<'a>(&'a self) -> &'a F::Applied where
    F: TypeApp<A>, 

fn get_applied_borrow_mut<'a>(&'a mut self) -> &'a mut F::Applied where
    F: TypeApp<A>, 

Loading content...

Implementors

impl<T, F, A> HasTypeApp<F, A> for T where
    F: 'static,
    A: 'static,
    T: Send + 'static,
    F: TypeApp<A, Applied = T>, 

fn get_applied(self: Box<T>) -> Box<T>

fn get_applied_borrow<'a>(&'a self) -> &'a F::Applied where
    F: TypeApp<A>, 

fn get_applied_borrow_mut<'a>(&'a mut self) -> &'a mut F::Applied where
    F: TypeApp<A>, 

Loading content...