Trait SharedRecApp
Other items inferrite_session::internal::base
pub trait SharedRecApp<X> { type Applied; }
type Applied
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)
impl<A, B, X> SharedRecApp<X> for ReceiveChannel<A, B> where B: SharedRecApp<X>,
impl<P, Q, R> SharedRecApp<R> for SendChannel<P, Q> where P: Protocol, Q: SharedRecApp<R>,
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,
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,
impl<T, A, X> SharedRecApp<X> for ReceiveValue<T, A> where T: Send + 'static, A: SharedRecApp<X>,
impl<T, A, X> SharedRecApp<X> for SendValue<T, A> where T: Send + 'static, A: SharedRecApp<X>,
impl<X> SharedRecApp<X> for Release
impl<X, F> SharedRecApp<X> for RecX<(), F> where F: SharedRecApp<X>,