Trait Role
Other items inmpstthree::role
pub trait Role: Sized + Send { type Dual: Role<Dual = Self>; }
Trait for session types. Provides duality.
type Dual: Role<Dual = Self>
The Role type dual to Self.
Self
impl Role for RoleBroadcast
impl Role for RoleEnd
impl<R1: Role, R2: Role> Role for RoleAtoAll<R1, R2>
impl<R1: Role, R2: Role> Role for RoleAlltoA<R1, R2>
impl<R1: Role, R2: Role> Role for RoleAlltoB<R1, R2>
impl<R1: Role, R2: Role> Role for RoleAlltoC<R1, R2>
impl<R1: Role, R2: Role> Role for RoleBtoAll<R1, R2>
impl<R1: Role, R2: Role> Role for RoleCtoAll<R1, R2>
impl<R: Role> Role for RoleA<R>
impl<R: Role> Role for RoleADual<R>
impl<R: Role> Role for RoleB<R>
impl<R: Role> Role for RoleBDual<R>
impl<R: Role> Role for RoleC<R>
impl<R: Role> Role for RoleCDual<R>