Trait ferrite_session::internal::public::functional::FlattenSumApp [−][src]
pub trait FlattenSumApp<F>: SumApp<F> where
F: TyCon, { type FlattenApplied: Send + 'static; fn unflatten_sum(row: Self::FlattenApplied) -> Self::Applied; fn flatten_sum(row: AppSum<Self, F>) -> Self::FlattenApplied; }
Associated Types
type FlattenApplied: Send + 'static
Required methods
fn unflatten_sum(row: Self::FlattenApplied) -> Self::Applied
fn flatten_sum(row: AppSum<Self, F>) -> Self::FlattenApplied
Implementations on Foreign Types
impl<F, A, R> FlattenSumApp<F> for (A, R) where
A: Send + 'static,
R: FlattenSumApp<F>,
F: TypeApp<A>,
impl<F, A, R> FlattenSumApp<F> for (A, R) where
A: Send + 'static,
R: FlattenSumApp<F>,
F: TypeApp<A>,
type FlattenApplied = Sum<F::Applied, R::FlattenApplied>
type FlattenApplied = Bottom