☰
SharedRecApp
Associated Types
Applied
Implementations on Foreign Types
()
(P, Q)
Implementors
In ferrite_session::internal::base
?
Trait
ferrite_session
::
internal
::
base
::
SharedRecApp
source
·
[
−
]
pub trait SharedRecApp<X> { type
Applied
; }
Associated Types
source
type
Applied
Implementations on Foreign Types
source
impl<R>
SharedRecApp
<R> for
()
type
Applied
=
()
source
impl<P, Q, R>
SharedRecApp
<R> for
(
P, Q
)
where
P:
SharedRecApp
<R>,
Q:
SharedRecApp
<R>,
type
Applied
=
(
P::
Applied
, Q::
Applied
)
Implementors
source
impl<A, B, X>
SharedRecApp
<X> for
ReceiveChannel
<A, B>
where
B:
SharedRecApp
<X>,
type
Applied
=
ReceiveChannel
<A, B::
Applied
>
source
impl<P, Q, R>
SharedRecApp
<R> for
SendChannel
<P, Q>
where
P:
Protocol
,
Q:
SharedRecApp
<R>,
type
Applied
=
SendChannel
<P, Q::
Applied
>
source
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
,
type
Applied
=
ExternalChoice
<
SharedRecRow
<R, Row1>>
source
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
,
type
Applied
=
InternalChoice
<
SharedRecRow
<A, Row1>>
source
impl<T, A, X>
SharedRecApp
<X> for
ReceiveValue
<T, A>
where
T:
Send
+ 'static,
A:
SharedRecApp
<X>,
type
Applied
=
ReceiveValue
<T, A::
Applied
>
source
impl<T, A, X>
SharedRecApp
<X> for
SendValue
<T, A>
where
T:
Send
+ 'static,
A:
SharedRecApp
<X>,
type
Applied
=
SendValue
<T, A::
Applied
>
source
impl<X>
SharedRecApp
<X> for
Release
type
Applied
= X
source
impl<X, F>
SharedRecApp
<X> for
RecX
<
()
, F>
where
F:
SharedRecApp
<X>,
type
Applied
=
RecX
<
()
, F::
Applied
>