Module mpstthree::role

The main trait used for representing an ordering or the name of a participant.

Every structure that relies on this trait, such as mpstthree::role::a::RoleA and mpstthree::role::b::RoleB, contains at least a parameter, which is a mpstthree::role::Role itself. The only exception is mpstthree::role::end::RoleEnd, which represents the end of any ordering.

Modules

a

a_dual

a_to_all

all_to_a

all_to_b

all_to_c

b

b_dual

b_to_all

broadcast

c

c_dual

c_to_all

end

Traits

Role

Trait for session types. Provides duality.