Function ferrite_session::prelude::receive_channel_from [−][src]
pub fn receive_channel_from<C1, C2, A1, A2, B, N>(
_: N,
cont_builder: impl FnOnce(C2::Length) -> PartialSession<C2::Appended, B>
) -> PartialSession<C1, B> where
A1: Protocol,
A2: Protocol,
B: Protocol,
C1: Context,
C2: AppendContext<(A1, ())>,
N: ContextLens<C1, SendChannel<A1, A2>, A2, Target = C2>,