Trait ferrite_session::internal::base::SharedRecApp

pub trait SharedRecApp<X> {
    type Applied;
}

Associated Types

type Applied

Loading content...

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)

Loading content...

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<Row, A> SharedRecApp<A> for ExternalChoice<Row> where
    Row: SharedRecApp<A>,
    Row: SumApp<()>,
    Row: SumApp<ReceiverF>,
    <Row as SharedRecApp<A>>::Applied: SumApp<()>,
    <Row as SharedRecApp<A>>::Applied: SumApp<ReceiverF>, 

type Applied = ExternalChoice<<Row as SharedRecApp<A>>::Applied>

impl<Row, A> SharedRecApp<A> for InternalChoice<Row> where
    Row: SumApp<ReceiverF>,
    Row: SharedRecApp<A>,
    <Row as SharedRecApp<A>>::Applied: SumApp<ReceiverF>, 

type Applied = InternalChoice<<Row as SharedRecApp<A>>::Applied>

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 Z

type Applied = X

Loading content...