Function ferrite_session::internal::public::prelude::receive_channel_from_slot [−][src]
pub fn receive_channel_from_slot<I, P1, P2, Q, TargetLens, SourceLens>(
_: SourceLens,
_: TargetLens,
cont: PartialSession<TargetLens::Target, Q>
) -> PartialSession<I, Q> where
P1: Protocol,
P2: Protocol,
Q: Protocol,
I: Context,
SourceLens: ContextLens<I, SendChannel<P1, P2>, P2>,
TargetLens: ContextLens<SourceLens::Target, Empty, P1>,