Module mpstthree::role [−][src]
Expand description
Modules
This module contains the required definitions and functions for the basic role A. Its dual is RoleADual.
This module contains the required definitions and functions for the dual of the basic role A.
This module contains the required definitions and functions for the basic role A when it is making an internal choice. Its dual is RoleAlltoA.
This module contains the required definitions and functions for the basic role A when it is receiving an external choice. Its dual is RoleAtoAll.
This module contains the required definitions and functions for the basic role B when it is receiving an external choice. Its dual is RoleBtoAll.
This module contains the required definitions and functions for the basic role C when it is receiving an external choice. Its dual is RoleCtoAll.
This module contains the required definitions and functions for the basic role B. Its dual is RoleBDual.
This module contains the required definitions and functions for the dual of the basic role B.
This module contains the required definitions and functions for the basic role B when it is making an internal choice. Its dual is RoleAlltoB.
This module contains the required definitions and functions for a role to broadcast multiple choices. Its dual is it self.
This module contains the required definitions and functions for the basic role C. Its dual is RoleCDual.
This module contains the required definitions and functions for the dual of the basic role C.
This module contains the required definitions and functions for the basic role C when it is making an internal choice. Its dual is RoleAlltoC.
This module contains the required definitions and functions for closing a stack. Its dual is it self.
Traits
Trait for session types. Provides duality.