Trait ferrite_session::prelude::SumFunctor

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

Required methods

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

Implementations on Foreign Types

impl SumFunctor for ()

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

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

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

Implementors