Trait lambek::row::RowApp [−][src]
Associated Types
Loading content...Implementors
impl<'a, F: 'a> RowApp<'a, F> for Bottom where
F: TypeCon,
[src]
F: TypeCon,
impl<'a, F: 'a> RowApp<'a, F> for Top where
F: TypeCon,
[src]
F: TypeCon,
impl<'a, X: 'a, Tail: 'a, F: 'a> RowApp<'a, F> for Union<X, Tail> where
F: TypeCon,
[src]
F: TypeCon,
impl<'a, X: 'a, Tail: 'a, F: 'a> RowApp<'a, F> for Cons<X, Tail> where
F: TypeCon,
[src]
F: TypeCon,