[−][src]Trait session_types::HasDual
The HasDual trait defines the dual relationship between protocols.
Any valid protocol has a corresponding dual.
This trait is sealed and cannot be implemented outside of session-types
The HasDual trait defines the dual relationship between protocols.
Any valid protocol has a corresponding dual.
This trait is sealed and cannot be implemented outside of session-types
type Dual
impl HasDual for Eps
[src]impl HasDual for Var<Z>
[src]impl<A, P: HasDual> HasDual for Recv<A, P>
[src]impl<A, P: HasDual> HasDual for Send<A, P>
[src]impl<N> HasDual for Var<S<N>>
[src]impl<P: HasDual> HasDual for Rec<P>
[src]impl<P: HasDual, Q: HasDual> HasDual for Choose<P, Q>
[src]impl<P: HasDual, Q: HasDual> HasDual for Offer<P, Q>
[src]