Trait ferrite_session::internal::public::prelude::type_app::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<'a>(&'a self) -> &'a F::Applied
    where
        F: TypeApp<A>;
}

Required methods

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

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

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>, [src]

fn get_applied(self: Box<T>) -> Box<T>[src]

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

Loading content...