[−][src]Trait ferrite_session::RecApp
Associated Types
Loading content...Implementations on Foreign Types
impl<A> RecApp<A> for ()
[src]
impl<A, X, Y> RecApp<A> for (X, Y) where
X: RecApp<A>,
Y: RecApp<A>,
[src]
Loading content...X: RecApp<A>,
Y: RecApp<A>,
Implementors
impl RecApp<Z> for Z
[src]
impl<A> RecApp<S<A>> for Z
[src]
impl<A> RecApp<Unfix<A>> for Z where
A: Send + 'static,
[src]
A: Send + 'static,
type Applied = A
impl<A> RecApp<A> for End
[src]
impl<A, F> RecApp<A> for Rec<F> where
F: RecApp<S<A>>,
F: RecApp<Unfix<Rec<F>>>,
<F as RecApp<S<A>>>::Applied: RecApp<Unfix<Rec<<F as RecApp<S<A>>>::Applied>>>,
[src]
F: RecApp<S<A>>,
F: RecApp<Unfix<Rec<F>>>,
<F as RecApp<S<A>>>::Applied: RecApp<Unfix<Rec<<F as RecApp<S<A>>>::Applied>>>,
impl<A, N> RecApp<S<A>> for S<N> where
N: RecApp<A>,
[src]
N: RecApp<A>,
impl<A, N> RecApp<Unfix<A>> for S<N> where
N: Send + 'static,
[src]
N: Send + 'static,
type Applied = N
impl<A, P, Q> RecApp<A> for ReceiveChannel<P, Q> where
P: RecApp<A>,
Q: RecApp<A>,
[src]
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>,
[src]
P: RecApp<A>,
Q: RecApp<A>,
type Applied = SendChannel<P::Applied, Q::Applied>
impl<A, T, P> RecApp<A> for ReceiveValue<T, P> where
A: Send + 'static,
T: Send + 'static,
P: RecApp<A>,
[src]
A: Send + 'static,
T: Send + 'static,
P: RecApp<A>,
type Applied = ReceiveValue<T, P::Applied>
impl<N> RecApp<Z> for S<N> where
N: Send + 'static,
[src]
N: Send + 'static,
impl<Row, A> RecApp<A> for ExternalChoice<Row> where
Row: RecApp<A>,
Row: RowCon,
Row::Applied: RowCon,
[src]
Row: RecApp<A>,
Row: RowCon,
Row::Applied: RowCon,
type Applied = ExternalChoice<Row::Applied>
impl<Row, A> RecApp<A> for InternalChoice<Row> where
Row: RowCon,
Row: RecApp<A>,
Row::Applied: RowCon,
[src]
Row: RowCon,
Row: RecApp<A>,
Row::Applied: RowCon,
type Applied = InternalChoice<Row::Applied>
impl<X, T, A> RecApp<X> for SendValue<T, A> where
T: Send + 'static,
A: RecApp<X>,
[src]
T: Send + 'static,
A: RecApp<X>,