Trait ferrite_session::prelude::Cut
source · [−]pub trait Cut<C>: SplitContext<C> where
C: Context, {
fn cut<A, B>(
cont1: PartialSession<Self::Left, A>,
cont2: impl FnOnce(<Self::Right as Context>::Length) -> PartialSession<<Self::Right as AppendContext<(A, ())>>::Appended, B>
) -> PartialSession<C, B>
where
A: Protocol,
B: Protocol,
Self::Right: AppendContext<(A, ())>;
}