Crate mpstthree[−][src]
Expand description
Mpstthree (also called Multi-Crusty) is a library to write and check communication protocols based on Multiparty Session Types.
Currently this library is geared toward use with Scribble and New Scribble for full checking of protocols.
Re-exports
pub use self::binary::*;
pub use self::role::*;
pub use self::meshedchannels::*;
pub use self::functionmpst::*;
Modules
The slightly modified binary session type library.
This module contains all the functions that are used
for consuming MeshedChannels
.
The main structure used for representing a participant, also named a party, within a protocol.
The main trait used for representing an ordering or the name of a participant.
Macros
Choose between many different sessions wrapped in an
enum
Choose among different sessions that are provided.
Choose, for A, among two different sessions
Choose, for B, among two different sessions
Choose, for C, among two different sessions
Offer a choice between many different sessions wrapped
in an enum
Offer a choice between many different sessions wrapped in an enum
Offer a choice to A from B between many different
sessions wrapped in an enum
Offer a choice to A from C between many different
sessions wrapped in an enum
Offer a choice to B from A between many different
sessions wrapped in an enum
Offer a choice to B from C between many different
sessions wrapped in an enum
Offer a choice to C from A between many different
sessions wrapped in an enum
Offer a choice to C from B between many different
sessions wrapped in an enum