Trait ferrite_session::internal::base::Protocol

pub trait Protocol: Send + 'static { }

Implementors

impl Protocol for Release

impl Protocol for Z

impl Protocol for End

impl<C, F> Protocol for RecX<C, F> where
    C: Send + 'static,
    F: Send + 'static, 

impl<F> Protocol for SharedToLinear<F> where
    F: Protocol, 

impl<F> Protocol for Lock<F> where
    F: Protocol,
    F: SharedRecApp<SharedToLinear<F>>,
    F::Applied: Protocol, 

impl<N> Protocol for S<N> where
    N: Protocol, 

impl<P, Q> Protocol for ReceiveChannel<P, Q> where
    P: Protocol,
    Q: Protocol, 

impl<P, Q> Protocol for SendChannel<P, Q> where
    P: Protocol,
    Q: Protocol, 

impl<Row1, Row2> Protocol for InternalChoice<Row1> where
    Row1: Send + 'static,
    Row1: ToRow<Row = Row2>, 

impl<Row> Protocol for ExternalChoice<Row> where
    Row: Send + 'static,
    Row: ToRow, 

impl<T> Protocol for Wrap<T> where
    T: Wrapper,
    T: Send + 'static, 

impl<T, A> Protocol for ReceiveValue<T, A> where
    T: Send + 'static,
    A: Protocol, 

impl<T, P> Protocol for SendValue<T, P> where
    T: Send + 'static,
    P: Protocol,