Trait ferrite_session::internal::public::prelude::NaturalTransformation

pub trait NaturalTransformation<F1, F2> where
    F1: TyCon,
    F2: TyCon, {
    fn lift<A>(&self, fa: App<F1, A>) -> App<F2, A>
    where
        A: Send + 'static;
}

Required methods

fn lift<A>(&self, fa: App<F1, A>) -> App<F2, A> where
    A: Send + 'static, 

Loading content...

Implementors

Loading content...