Trait HasDual

pub trait HasDual {
    type Dual;
}

The HasDual trait defines the dual relationship between protocols.

Any valid protocol has a corresponding dual.

Required 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 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, Q> HasDual for Choose<P, Q>

where P: Outgoing + HasDual, Q: Outgoing + HasDual, P::Dual: Incoming, Q::Dual: Incoming,

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

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

where P: Incoming + HasDual, Q: Incoming + HasDual, P::Dual: Outgoing, Q::Dual: Outgoing,

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>