Trait dialectic::types::EachHasDual[−][src]

pub trait EachHasDual: EachSession + Sized + 'static where
    Self::Duals: EachHasDual<Duals = Self>, {
    type Duals;
}

In the Choose and Offer session types, we provide the ability to choose/offer a list of protocols. The sealed EachHasDual trait ensures that every protocol in a type level list of protocols HasDual.

Associated Types

type Duals[src]

The point-wise HasDual::DualSession of a type-level list of session types.

Loading content...

Implementations on Foreign Types

impl EachHasDual for ()[src]

type Duals = ()

impl<P, Ps> EachHasDual for (P, Ps) where
    P: HasDual,
    Ps: EachHasDual, [src]

type Duals = (P::DualSession, Ps::Duals)

Loading content...

Implementors

Loading content...