Trait ferrite_session::internal::functional::type_app::HasTypeApp

pub trait HasTypeApp<'a, F, A>: Send {
    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>, 

Implementors

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