Trait mpstthree::role::Role

pub trait Role: Sized + Send {
    type Dual: Role<Dual = Self>;
}

Trait for session types. Provides duality.

Associated Types

type Dual: Role<Dual = Self>

The Role type dual to Self.

Implementors

impl Role for RoleBroadcast

type Dual = RoleBroadcast

impl Role for RoleEnd

type Dual = RoleEnd

impl<R1: Role, R2: Role> Role for RoleAtoAll<R1, R2>

type Dual = RoleAlltoA<R1::Dual, R2::Dual>

impl<R1: Role, R2: Role> Role for RoleAlltoA<R1, R2>

type Dual = RoleAtoAll<R1::Dual, R2::Dual>

impl<R1: Role, R2: Role> Role for RoleAlltoB<R1, R2>

type Dual = RoleBtoAll<R1::Dual, R2::Dual>

impl<R1: Role, R2: Role> Role for RoleAlltoC<R1, R2>

type Dual = RoleCtoAll<R1::Dual, R2::Dual>

impl<R1: Role, R2: Role> Role for RoleBtoAll<R1, R2>

type Dual = RoleAlltoB<R1::Dual, R2::Dual>

impl<R1: Role, R2: Role> Role for RoleCtoAll<R1, R2>

type Dual = RoleAlltoC<R1::Dual, R2::Dual>

impl<R: Role> Role for RoleA<R>

type Dual = RoleADual<R::Dual>

impl<R: Role> Role for RoleADual<R>

type Dual = RoleA<R::Dual>

impl<R: Role> Role for RoleB<R>

type Dual = RoleBDual<R::Dual>

impl<R: Role> Role for RoleBDual<R>

type Dual = RoleB<R::Dual>

impl<R: Role> Role for RoleC<R>

type Dual = RoleCDual<R::Dual>

impl<R: Role> Role for RoleCDual<R>

type Dual = RoleC<R::Dual>