Trait ferrite_session::prelude::row::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]

Loading content...

Required methods

fn unflatten_sum(row: Self::FlattenApplied) -> Self::Applied[src]

fn flatten_sum(row: AppSum<Self, F>) -> Self::FlattenApplied[src]

Loading content...

Implementations on Foreign Types

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]

type FlattenApplied = Bottom

fn unflatten_sum(row: Self::FlattenApplied) -> Self::Applied[src]

fn flatten_sum(row: AppSum<Self, F>) -> Self::FlattenApplied[src]

Loading content...

Implementors

Loading content...