Trait lambek::type_app::HasTypeApp[−][src]

pub trait HasTypeApp<'a, F: 'a + ?Sized, X: 'a + ?Sized> {
    fn get_applied(self: Box<Self>) -> Box<F::Applied>
    where
        F: TypeApp<'a, X>;

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

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

Required methods

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

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

fn get_applied_borrow_mut(&mut self) -> &mut F::Applied where
    F: TypeApp<'a, X>, [src]

Loading content...

Implementors

impl<'a, F: 'a, X: 'a, FX: 'a> HasTypeApp<'a, F, X> for FX where
    F: TypeApp<'a, X, Applied = FX>, [src]

Loading content...