Trait ferrite_session::prelude::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
[src]
Required methods
fn unflatten_sum(row: Self::FlattenApplied) -> Self::Applied
[src]
fn flatten_sum(row: AppSum<Self, F>) -> Self::FlattenApplied
[src]
Implementations on Foreign Types
impl<F, A, R> FlattenSumApp<F> for (A, R) where
A: Send + 'static,
R: FlattenSumApp<F>,
F: TypeApp<A>,
[src]
impl<F, A, R> FlattenSumApp<F> for (A, R) where
A: Send + 'static,
R: FlattenSumApp<F>,
F: TypeApp<A>,
[src]type FlattenApplied = Sum<F::Applied, R::FlattenApplied>
fn unflatten_sum(row1: Self::FlattenApplied) -> Self::Applied
[src]
fn flatten_sum(row1: AppSum<Self, F>) -> Self::FlattenApplied
[src]
impl<F> FlattenSumApp<F> for () where
F: TyCon,
[src]
impl<F> FlattenSumApp<F> for () where
F: TyCon,
[src]