Trait cut::HasTypeApp

pub trait HasTypeApp<'a, F, A>: Send {
    fn get_applied(
        self: Box<Self, Global>
    ) -> Box<<F as TypeApp<'a, A>>::Applied, Global>
    where
        F: TypeApp<'a, A>;
    fn get_applied_borrow(&self) -> &<F as TypeApp<'a, A>>::Applied
    where
        F: TypeApp<'a, A>;
}

Required methods

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

fn get_applied_borrow(&self) -> &<F as TypeApp<'a, A>>::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>,