Trait ferrite_session::internal::base::RecApp

pub trait RecApp<A>: Sized {
    type Applied: Send;
}

Associated Types

type Applied: Send

Implementations on Foreign Types

impl<A> RecApp<A> for ()

type Applied = ()

impl<A, X, Y> RecApp<A> for (X, Y) where
    X: RecApp<A>,
    Y: RecApp<A>, 

type Applied = (X::Applied, Y::Applied)

Implementors

impl<A> RecApp<A> for End

type Applied = End

impl<A, P, Q> RecApp<A> for ReceiveChannel<P, Q> where
    P: RecApp<A>,
    Q: RecApp<A>, 

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

impl<A, P, Q> RecApp<A> for SendChannel<P, Q> where
    P: RecApp<A>,
    Q: RecApp<A>, 

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

impl<C, A> RecApp<(A, C)> for Z where
    A: Send,
    C: Send, 

type Applied = A

impl<C, A, N> RecApp<(A, C)> for S<N> where
    N: Send,
    C: Send,
    A: Send,
    N: RecApp<C>, 

type Applied = N::Applied

impl<C, F> RecApp<C> for RecX<(), F> where
    C: Send,
    F: RecApp<(RecX<C, F>, C)>, 

type Applied = RecX<C, F>

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

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

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

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

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

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

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

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