Trait lambek::row::RowApp[−][src]

pub trait RowApp<'a, F: 'a + ?Sized>: RowCon where
    F: TypeCon, {
    type Applied: 'a;
}

Associated Types

`type Applied: 'a`[src]

Loading content...

Implementors

`impl<'a, F: 'a> RowApp<'a, F> for Bottom where F: TypeCon,` [src]

`type Applied = Bottom`

`impl<'a, F: 'a> RowApp<'a, F> for Top where F: TypeCon,` [src]

`type Applied = Top`

`impl<'a, X: 'a, Tail: 'a, F: 'a> RowApp<'a, F> for Union<X, Tail> where F: TypeCon,` [src]

`type Applied = Union<App<'a, F, X>, AppRow<'a, Tail, F>>`

`impl<'a, X: 'a, Tail: 'a, F: 'a> RowApp<'a, F> for Cons<X, Tail> where F: TypeCon,` [src]

`type Applied = Cons<App<'a, F, X>, AppRow<'a, Tail, F>>`

Loading content...