Trait async_session_types::HasDual

pub trait HasDual {
    type Dual;
}

The HasDual trait defines the dual relationship between protocols.

Any valid protocol has a corresponding dual.

Associated Types

type Dual

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::Dual>

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

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

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

type Dual = Var<S<N>>

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

type Dual = Rec<P::Dual>

impl<P: HasDual, Q: HasDual> HasDual for Choose<P, Q> where
    P: Outgoing,
    Q: Outgoing,
    P::Dual: Incoming,
    Q::Dual: Incoming, 

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

impl<P: HasDual, Q: HasDual> HasDual for Offer<P, Q> where
    P: Incoming,
    Q: Incoming,
    P::Dual: Outgoing,
    Q::Dual: Outgoing, 

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