Trait SumFunctor 

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

Required Methods

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

where F1: TyCon + 'a, F2: TyCon + 'a, T: NaturalTransformation<'a, F1, F2> + 'a, Self: 'a,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl SumFunctor for ()

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

where F1: TyCon + 'a, F2: TyCon + 'a, T: NaturalTransformation<'a, F1, F2> + 'a,

impl<A, R> SumFunctor for (A, R)

where A: Send + 'static, R: SumFunctor,

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

where F1: TyCon + 'a, F2: TyCon + 'a, T: NaturalTransformation<'a, F1, F2> + 'a, Self: 'a,

Implementors