Trait Cut 

pub trait Cut<C>: SplitContext<C>
where
    C: Context,
{
    // Required method
    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, ())>;
}

Required Methods

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, ())>,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<X, C> Cut<C> for X

where C: Context, X: SplitContext<C>,