Trait ferrite_session::internal::base::SealedProtocol

pub trait SealedProtocol { }

Implementors

impl SealedProtocol for Release

impl SealedProtocol for Z

impl SealedProtocol for End

impl<A, B> SealedProtocol for ReceiveChannel<A, B>

impl<A, B> SealedProtocol for SendChannel<A, B>

impl<C, F> SealedProtocol for RecX<C, F>

impl<F> SealedProtocol for SharedToLinear<LinearToShared<F>>

impl<F> SealedProtocol for Lock<F> where
    F: SharedRecApp<SharedToLinear<LinearToShared<F>>>, 

impl<N> SealedProtocol for S<N>

impl<Row1> SealedProtocol for InternalChoice<Row1>

impl<Row> SealedProtocol for ExternalChoice<Row>

impl<T> SealedProtocol for Wrap<T> where
    T: Wrapper, 

impl<T, A> SealedProtocol for ReceiveValue<T, A>

impl<T, A> SealedProtocol for SendValue<T, A>