Trait ferrite_session::prelude::FlattenSumApp

pub trait FlattenSumApp<'a, F>: SumApp<'a, F> where
    F: TyCon, {
    type FlattenApplied;
    fn unflatten_sum(row: Self::FlattenApplied) -> Self::Applied;
    fn flatten_sum(row: AppSum<'a, Self, F>) -> Self::FlattenApplied;
}

Associated Types

type FlattenApplied

Required methods

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

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

Implementations on Foreign Types

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

type FlattenApplied = Sum<F::Applied, R::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