Trait cut::SumApp

pub trait SumApp<'a, F>: RowCon where
    F: TyCon, {
    type Applied: 'a + Sized + Send;
}

Associated Types

type Applied: 'a + Sized + Send

Implementations on Foreign Types

impl<'a, F> SumApp<'a, F> for () where
    F: TyCon, 

type Applied = Bottom

impl<'a, F, A, R> SumApp<'a, F> for (A, R) where
    F: 'a + TyCon,
    A: 'a,
    R: 'a + RowCon, 

type Applied = Sum<App<'a, F, A>, AppSum<'a, R, F>>

Implementors