Trait Role 

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

Available on crate feature mpst only.

Trait for session types. Provides duality.

Required Associated Types

type Dual: Role<Dual = Self>

The Role type dual to Self.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

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 as Role>::Dual, <R2 as Role>::Dual>

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

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

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

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

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

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

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

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

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

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

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

type Dual = RoleADual<<R as Role>::Dual>

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

type Dual = RoleA<<R as Role>::Dual>

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

type Dual = RoleBDual<<R as Role>::Dual>

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

type Dual = RoleB<<R as Role>::Dual>

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

type Dual = RoleCDual<<R as Role>::Dual>

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

type Dual = RoleC<<R as Role>::Dual>