Trait ferrite_session::prelude::SumApp[−][src]

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

Associated Types

type Applied: Send + 'static

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

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

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

type Applied = Bottom