Trait cut::SumFunctor

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

Required methods

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

Implementations on Foreign Types

impl SumFunctor for ()

fn lift_sum<'a, T, F1, F2>(
    _lift: T,
    row1: AppSum<'a, (), F1>
) -> AppSum<'a, (), F2> where
    T: 'a + NaturalTransformation<'a, F1, F2>,
    F1: 'a + TyCon,
    F2: 'a + TyCon, 

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

fn lift_sum<'a, T, F1, F2>(
    lift: T,
    row1: AppSum<'a, (A, R), F1>
) -> AppSum<'a, (A, R), F2> where
    T: 'a + NaturalTransformation<'a, F1, F2>,
    F1: 'a + TyCon,
    F2: 'a + TyCon,
    (A, R): 'a, 

Implementors