Module mpstthree::functionmpst [−][src]
Expand description
This module contains all the functions that are used
for consuming [mpstthree::meshedchannels::MeshedChannels
].
They are required to check the protocols, as they check
the concordance between the different fields of
mpstthree::meshedchannels::Sessionmpst
.
Modules
This module contains all the choose functions
This module contains the close function
This module contains all the offer functions
This module contains all the macros that are used for recursion
This module contains all the receive functions
This module contains all the send functions
Type Definitions
Choose between two sessions S1
and S2
. Those
sessions should be [mpstthree::meshedchannels::MeshedChannels
], as requested by functions
such as mpstthree::choose::choose_right_mpst_session_c_to_all
. Implemented using
mpstthree::binary::struct_trait::Send
and either::Either
.
Offer a choice between two sessions S1
and S1
. Those
sessions should be [mpstthree::meshedchannels::MeshedChannels
],
as requested by functions such as
mpstthree::functionmpst::offer::offer_mpst_session_to_b_from_a
.
Implemented using mpstthree::binary::struct_trait::Recv
and
either::Either
.