Trait ferrite_session::functional::row::SumApp[−][src]

pub trait SumApp<F>: RowCon where
    F: TyCon, {
    type Applied: Send + 'static;
}

Associated Types

`type Applied: Send + 'static`[src]

Loading content...

Implementations on Foreign Types

`impl<F, A, R> SumApp<F> for (A, R) where A: Send + 'static, F: TyCon, R: RowCon,` [src]

`type Applied = Sum<App<F, A>, AppSum<R, F>>`

`impl<F> SumApp<F> for () where F: TyCon,` [src]

`type Applied = Bottom`

Loading content...

Implementors

Loading content...