Crate ferrite_session[][src]

Modules

base
either
functional
internal
macros
prelude
protocol
session

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
natural_transformation
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