Trait ferrite_session::prelude::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

[src]

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

[src]

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

Implementors

[src]

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