Trait ferrite_session::internal::base::SharedRecApp

pub trait SharedRecApp<X> {
    type Applied;
}

Associated Types

type Applied

Implementations on Foreign Types

impl<R> SharedRecApp<R> for ()

type Applied = ()

impl<P, Q, R> SharedRecApp<R> for (P, Q) where
    P: SharedRecApp<R>,
    Q: SharedRecApp<R>, 

type Applied = (P::Applied, Q::Applied)

Implementors

impl<A, B, X> SharedRecApp<X> for ReceiveChannel<A, B> where
    B: SharedRecApp<X>, 

impl<P, Q, R> SharedRecApp<R> for SendChannel<P, Q> where
    P: Protocol,
    Q: SharedRecApp<R>, 

impl<R, Row1, Row2, Row3> SharedRecApp<R> for ExternalChoice<Row1> where
    R: Send + 'static,
    Row2: RowCon,
    Row1: ToRow<Row = Row2>,
    Row2: SharedRecApp<R, Applied = Row3>,
    Row3: RowCon, 

impl<Row1, Row2, Row3, A> SharedRecApp<A> for InternalChoice<Row1> where
    A: Send + 'static,
    Row1: ToRow<Row = Row2>,
    Row2: RowCon,
    Row2: SharedRecApp<A, Applied = Row3>,
    Row3: RowCon, 

impl<T, A, X> SharedRecApp<X> for ReceiveValue<T, A> where
    T: Send + 'static,
    A: SharedRecApp<X>, 

impl<T, A, X> SharedRecApp<X> for SendValue<T, A> where
    T: Send + 'static,
    A: SharedRecApp<X>, 

impl<X> SharedRecApp<X> for Release

impl<X, F> SharedRecApp<X> for RecX<(), F> where
    F: SharedRecApp<X>,