Trait HasDual 

pub trait HasDual: Sealed {
    type Dual;
}

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

Required Associated Types

type Dual

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl HasDual for Eps

type Dual = Eps

impl HasDual for Var<Z>

type Dual = Var<Z>

impl<A, P: HasDual> HasDual for Recv<A, P>

type Dual = Send<A, <P as HasDual>::Dual>

impl<A, P: HasDual> HasDual for Send<A, P>

type Dual = Recv<A, <P as HasDual>::Dual>

impl<N> HasDual for Var<S<N>>

type Dual = Var<S<N>>

impl<P: HasDual, Q: HasDual> HasDual for Choose<P, Q>

type Dual = Offer<<P as HasDual>::Dual, <Q as HasDual>::Dual>

impl<P: HasDual, Q: HasDual> HasDual for Offer<P, Q>

type Dual = Choose<<P as HasDual>::Dual, <Q as HasDual>::Dual>

impl<P: HasDual> HasDual for Rec<P>

type Dual = Rec<<P as HasDual>::Dual>