Crate ferrite_session

source · [−]

Modules

either
internal
macros
prelude

Macros

HList
Sum
acquire_shared_session
case
choose
cut
define_choice
define_choice_enum
define_choice_labels
define_choice_protocol
define_extract_choice
include_session
match_choice
match_choice_value
match_extract
offer_case
offer_choice
receive_channel
receive_channel_from
receive_channels
receive_value
receive_value_from
send_value
send_value_to
terminate
wait
wait_all