Trait ferrite_session::internal::public::functional::SumFunctor

pub trait SumFunctor: RowCon {
    fn lift_sum<T, F1, F2>(lift: &T, sum: AppSum<Self, F1>) -> AppSum<Self, F2>
    where
        F1: TyCon,
        F2: TyCon,
        T: NaturalTransformation<F1, F2>;
}

Required methods

fn lift_sum<T, F1, F2>(lift: &T, sum: AppSum<Self, F1>) -> AppSum<Self, F2> where
    F1: TyCon,
    F2: TyCon,
    T: NaturalTransformation<F1, F2>, 

Implementations on Foreign Types

impl SumFunctor for ()

fn lift_sum<T, F1, F2>(_lift: &T, row1: AppSum<Self, F1>) -> AppSum<Self, F2> where
    F1: TyCon,
    F2: TyCon,
    T: NaturalTransformation<F1, F2>, 

impl<A, R> SumFunctor for (A, R) where
    A: Send + 'static,
    R: SumFunctor, 

fn lift_sum<T, F1, F2>(lift: &T, row1: AppSum<Self, F1>) -> AppSum<Self, F2> where
    F1: TyCon,
    F2: TyCon,
    T: NaturalTransformation<F1, F2>, 

Implementors