Trait ferrite_session::internal::functional::public::SumApp

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

Associated Types

type Applied: Sized + Send + 'a

Implementations on Foreign Types

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

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

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

type Applied = Bottom

Implementors