Trait NaturalTransformation 

pub trait NaturalTransformation<'a, F1, F2>
where
    F1: TyCon,
    F2: TyCon,
{
    // Required method
    fn lift<A: 'a>(self, fa: App<'a, F1, A>) -> App<'a, F2, A>;
}

Required Methods

fn lift<A: 'a>(self, fa: App<'a, F1, A>) -> App<'a, F2, A>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors