[−][src]Trait higher::Lift3
Lift3
extends Lift
to let you construct two types T<B>
and T<C>
from
a type T<A>
.
T<B>
can be found at <T<A> as Lift3<A, B, C>>::Target2
, and T<C>
at
<T<A> as Lift<A, B>>::Target1
.
The naming convention is that the Target
s are numbered from right to left.
Associated Types
type Target2
Provided methods
fn cast(from: <Self::Target2 as Lift<B, C>>::Target1) -> Self::Target1 where
Self::Target2: Lift<B, C>,
Self::Target2: Lift<B, C>,