Trait ferrite_session::internal::base::RecApp [−][src]
Associated Types
Loading content...Implementations on Foreign Types
Loading content...Implementors
impl<A, P, Q> RecApp<A> for ReceiveChannel<P, Q> where
P: RecApp<A>,
Q: RecApp<A>,
[src]
impl<A, P, Q> RecApp<A> for ReceiveChannel<P, Q> where
P: RecApp<A>,
Q: RecApp<A>,
[src]type Applied = ReceiveChannel<P::Applied, Q::Applied>
impl<A, P, Q> RecApp<A> for SendChannel<P, Q> where
P: RecApp<A>,
Q: RecApp<A>,
[src]
impl<A, P, Q> RecApp<A> for SendChannel<P, Q> where
P: RecApp<A>,
Q: RecApp<A>,
[src]type Applied = SendChannel<P::Applied, Q::Applied>
impl<C, A, N> RecApp<(A, C)> for S<N> where
N: Send + 'static,
C: Send + 'static,
A: Send + 'static,
N: RecApp<C>,
[src]
impl<C, A, N> RecApp<(A, C)> for S<N> where
N: Send + 'static,
C: Send + 'static,
A: Send + 'static,
N: RecApp<C>,
[src]impl<Row, A> RecApp<A> for ExternalChoice<Row> where
Row: RecApp<A>,
Row: RowCon,
Row::Applied: RowCon,
[src]
impl<Row, A> RecApp<A> for ExternalChoice<Row> where
Row: RecApp<A>,
Row: RowCon,
Row::Applied: RowCon,
[src]type Applied = ExternalChoice<Row::Applied>
impl<Row, A> RecApp<A> for InternalChoice<Row> where
Row: RowCon,
Row: RecApp<A>,
Row::Applied: RowCon,
[src]
impl<Row, A> RecApp<A> for InternalChoice<Row> where
Row: RowCon,
Row: RecApp<A>,
Row::Applied: RowCon,
[src]type Applied = InternalChoice<Row::Applied>
impl<X, T, A> RecApp<X> for ReceiveValue<T, A> where
X: Send + 'static,
T: Send + 'static,
A: RecApp<X>,
[src]
impl<X, T, A> RecApp<X> for ReceiveValue<T, A> where
X: Send + 'static,
T: Send + 'static,
A: RecApp<X>,
[src]