Trait ferrite_session::prelude::FlattenSumApp

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>, 

type FlattenApplied = Sum<F::Applied, R::FlattenApplied>

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

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

impl<F> FlattenSumApp<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