Trait ferrite_session::SumFunctor

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

Required methods

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

Loading content...

Implementations on Foreign Types

impl SumFunctor for ()

fn lift_sum<T, F1, F2>(row1: AppliedSum<Self, F1>) -> AppliedSum<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>(row1: AppliedSum<Self, F1>) -> AppliedSum<Self, F2> where
    F1: TyCon,
    F2: TyCon,
    T: NaturalTransformation<F1, F2>, 

Loading content...

Implementors

Loading content...