Trait dialectic::types::EachScoped

pub trait EachScoped<N: Unary = Z>: EachSession { }

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

Implementations on Foreign Types

impl<N: Unary> EachScoped<N> for ()

impl<N: Unary, P: Scoped<N>, Ps: EachScoped<N>> EachScoped<N> for (P, Ps)

Loading content...

Implementors

Loading content...