Trait SharedRecApp 

pub trait SharedRecApp<X> {
    type Applied;
}

Required Associated Types

type Applied

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl<P, Q, R> SharedRecApp<R> for (P, Q)

where P: SharedRecApp<R>, Q: SharedRecApp<R>,

type Applied = (<P as SharedRecApp<R>>::Applied, <Q as SharedRecApp<R>>::Applied)

impl<R> SharedRecApp<R> for ()

type Applied = ()

Implementors

impl<A, B, X> SharedRecApp<X> for ReceiveChannel<A, B>

where B: SharedRecApp<X>,

type Applied = ReceiveChannel<A, <B as SharedRecApp<X>>::Applied>

impl<P, Q, R> SharedRecApp<R> for SendChannel<P, Q>

where P: Protocol, Q: SharedRecApp<R>,

type Applied = SendChannel<P, <Q as SharedRecApp<R>>::Applied>

impl<R, Row1, Row2, Row3> SharedRecApp<R> for ExternalChoice<Row1>

where R: Send + 'static, Row2: RowCon + SharedRecApp<R, Applied = Row3>, Row1: ToRow<Row = Row2>, Row3: RowCon,

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

impl<Row1, Row2, Row3, A> SharedRecApp<A> for InternalChoice<Row1>

where A: Send + 'static, Row1: ToRow<Row = Row2>, Row2: RowCon + SharedRecApp<A, Applied = Row3>, Row3: RowCon,

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

impl<T, A, X> SharedRecApp<X> for ReceiveValue<T, A>

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

type Applied = ReceiveValue<T, <A as SharedRecApp<X>>::Applied>

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

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

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

impl<X, F> SharedRecApp<X> for RecX<(), F>

where F: SharedRecApp<X>,

type Applied = RecX<(), <F as SharedRecApp<X>>::Applied>

impl<X> SharedRecApp<X> for Release

type Applied = X