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

type Applied = ReceiveChannel<A, B::Applied>

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

type Applied = SendChannel<P, Q::Applied>

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, 

type Applied = ExternalChoice<SharedRecRow<R, Row1>>

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, 

type Applied = InternalChoice<SharedRecRow<A, Row1>>

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

type Applied = ReceiveValue<T, A::Applied>

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

type Applied = SendValue<T, A::Applied>

impl<X> SharedRecApp<X> for Release

type Applied = X

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

type Applied = RecX<(), F::Applied>