Trait RecApp 

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

Required Associated Types

type Applied: Send

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

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

where X: RecApp<A>, Y: RecApp<A>,

type Applied = (<X as RecApp<A>>::Applied, <Y as RecApp<A>>::Applied)

impl<A> RecApp<A> for ()

type Applied = ()

Implementors

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

where P: RecApp<A>, Q: RecApp<A>,

type Applied = ReceiveChannel<<P as RecApp<A>>::Applied, <Q as RecApp<A>>::Applied>

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

where P: RecApp<A>, Q: RecApp<A>,

type Applied = SendChannel<<P as RecApp<A>>::Applied, <Q as RecApp<A>>::Applied>

impl<A> RecApp<A> for End

type Applied = End

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

where N: Send + RecApp<C>, C: Send, A: Send,

type Applied = <N as RecApp<C>>::Applied

impl<C, A> RecApp<(A, C)> for Z

where A: Send, C: Send,

type Applied = A

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 + RecApp<R, Applied = Row3>, Row1: Send + 'static + ToRow<Row = Row2>, 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 + ToRow<Row = Row2>, Row2: RowCon + 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 as RecApp<X>>::Applied>

impl<X, T, A> RecApp<X> for SendValue<T, A>

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

type Applied = SendValue<T, <A as RecApp<X>>::Applied>