Crate mpstthree

  

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

binary

The slightly modified binary session type library.

functionmpst

This module contains all the functions that are used for consuming MeshedChannels.

meshedchannels

The main structure used for representing a participant, also named a party, within a protocol.

role

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

Macros

choose

Choose between many different sessions wrapped in an enum

choose_aux

Choose among different sessions that are provided.

choose_mpst_a_to_all

Choose, for A, among two different sessions

choose_mpst_b_to_all

Choose, for B, among two different sessions

choose_mpst_c_to_all

Choose, for C, among two different sessions

offer

Offer a choice between many different sessions wrapped in an enum

offer_aux

Offer a choice between many different sessions wrapped in an enum

offer_mpst_a_to_b

Offer a choice to A from B between many different sessions wrapped in an enum

offer_mpst_a_to_c

Offer a choice to A from C between many different sessions wrapped in an enum

offer_mpst_b_to_a

Offer a choice to B from A between many different sessions wrapped in an enum

offer_mpst_b_to_c

Offer a choice to B from C between many different sessions wrapped in an enum

offer_mpst_c_to_a

Offer a choice to C from A between many different sessions wrapped in an enum

offer_mpst_c_to_b

Offer a choice to C from B between many different sessions wrapped in an enum