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

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> HasDual for Rec<P>

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

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>