Trait ferrite_session::internal::base::Protocol [−][src]
pub trait Protocol: Send + 'static { }
Implementors
impl Protocol for Z[src]
impl Protocol for End[src]
impl<C, F> Protocol for Rec<C, F> where
C: Send + 'static,
F: Send + 'static, [src]
C: Send + 'static,
F: Send + 'static,
impl<F> Protocol for SharedToLinear<F> where
F: Protocol, [src]
F: Protocol,
impl<F> Protocol for Lock<F> where
F: Protocol,
F: SharedRecApp<SharedToLinear<F>>,
F::Applied: Protocol, [src]
F: Protocol,
F: SharedRecApp<SharedToLinear<F>>,
F::Applied: Protocol,
impl<N> Protocol for S<N> where
N: Protocol, [src]
N: Protocol,
impl<P, Q> Protocol for ReceiveChannel<P, Q> where
P: Protocol,
Q: Protocol, [src]
P: Protocol,
Q: Protocol,
impl<P, Q> Protocol for SendChannel<P, Q> where
P: Protocol,
Q: Protocol, [src]
P: Protocol,
Q: Protocol,
impl<Row> Protocol for ExternalChoice<Row> where
Row: Send + 'static,
Row: RowCon, [src]
Row: Send + 'static,
Row: RowCon,
impl<Row> Protocol for InternalChoice<Row> where
Row: Send + 'static,
Row: RowCon, [src]
Row: Send + 'static,
Row: RowCon,
impl<T> Protocol for Wrap<T> where
T: Wrapper,
T: Send + 'static, [src]
T: Wrapper,
T: Send + 'static,
impl<T, A> Protocol for ReceiveValue<T, A> where
T: Send + 'static,
A: Protocol, [src]
T: Send + 'static,
A: Protocol,
impl<T, P> Protocol for SendValue<T, P> where
T: Send + 'static,
P: Protocol, [src]
T: Send + 'static,
P: Protocol,