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

pub trait TypeApp<'a, X: 'a + ?Sized>: TypeCon {
    type Applied: 'a + ?Sized;
}

Associated Types

`type Applied: 'a + ?Sized`[src]

Loading content...

Implementors

`impl<'a, A: 'a + ?Sized, X: 'a + ?Sized> TypeApp<'a, X> for Const<A>`[src]

`type Applied = A`

`impl<'a, X: 'a + ?Sized> TypeApp<'a, X> for Borrow`[src]

`type Applied = &'a X`

`impl<'a, X: 'a + ?Sized> TypeApp<'a, X> for BorrowMut`[src]

`type Applied = &'a mut X`

`impl<'a, X: 'a + ?Sized> TypeApp<'a, X> for Identity`[src]

`type Applied = X`

`impl<'a, X: 'a> TypeApp<'a, X> for VecF`[src]

`type Applied = Vec<X>`

Loading content...