Trait ferrite_session::internal::session::RunCont

pub trait RunCont<C, A> where
    C: Context,
    A: Protocol, {
    type Ret;
    fn run_cont(self, cont: PartialSession<C, A>) -> Self::Ret;
}

Associated Types

type Ret

Required methods

fn run_cont(self, cont: PartialSession<C, A>) -> Self::Ret

Implementors

impl<N, C1, C2, A, B, Row1, Row2, Del, SessionSum> RunCont<C2, B> for InjectInternal<N, C1, A, B, Row1, Del> where
    A: Protocol,
    B: Protocol,
    C1: Context,
    C2: Context,
    Del: Context,
    Row1: Send + 'static,
    Row1: ToRow<Row = Row2>,
    Row2: RowCon,
    SessionSum: Send + 'static,
    Row2: SumApp<InternalSessionF<N, C1, B, Row1, Del>, Applied = SessionSum>,
    N: ContextLens<C1, InternalChoice<Row1>, A, Deleted = Del, Target = C2>, 

impl<Row1, Row2, C, A, SessionSum> RunCont<C, A> for InjectExternal<Row1, C, A> where
    C: Context,
    A: Protocol,
    Row1: ToRow<Row = Row2>,
    Row2: SumApp<SessionF<C>, Applied = SessionSum>,
    SessionSum: Send + 'static,