Trait FlattenSumApp 

pub trait FlattenSumApp<'a, F>: SumApp<'a, F>
where
    F: TyCon,
{
    type FlattenApplied;

    // Required methods
    fn unflatten_sum(row: Self::FlattenApplied) -> Self::Applied;
    fn flatten_sum(row: AppSum<'a, Self, F>) -> Self::FlattenApplied;
}

Required Associated Types

type FlattenApplied

Required Methods

fn unflatten_sum(row: Self::FlattenApplied) -> Self::Applied

fn flatten_sum(row: AppSum<'a, Self, F>) -> Self::FlattenApplied

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'a, F, A: 'a, R> FlattenSumApp<'a, F> for (A, R)

where R: FlattenSumApp<'a, F> + 'a, F: TypeApp<'a, A> + 'a,

type FlattenApplied = Sum<<F as TypeApp<'a, A>>::Applied, <R as FlattenSumApp<'a, F>>::FlattenApplied>

fn unflatten_sum(row1: Self::FlattenApplied) -> Self::Applied

fn flatten_sum(row1: AppSum<'a, Self, F>) -> Self::FlattenApplied

impl<'a, F> FlattenSumApp<'a, F> for ()

where F: TyCon,

type FlattenApplied = Bottom

fn unflatten_sum(row: Self::FlattenApplied) -> Self::Applied

fn flatten_sum(row: AppSum<'_, Self, F>) -> Self::FlattenApplied

Implementors