Trait dialectic::types::EachHasDual [−][src]
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.
Implementations on Foreign Types
impl EachHasDual for ()
[src]
impl<P, Ps> EachHasDual for (P, Ps) where
P: HasDual,
Ps: EachHasDual,
[src]
P: HasDual,
Ps: EachHasDual,