[−][src]Trait higher::Lift
Lift
lets you construct a type T<B>
from a type T<A>
.
If you have a type T<A>
which implements Lift<A, B>
, you can derive the
type T<B>
using <T<A> as Lift<A, B>>::Target1
.
The type T<A>
is also available as the Source
associated type, if you
should need it.