Module ferrite_session::internal::public::prelude

source · [−]

Modules

offer_choice

Macros

HList
Sum
acquire_shared_session
case
choose
cut
define_choice
include_session
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

Structs

App
AppSum
ChoiceSelector
Empty
End
ExternalChoice
InternalChoice
LinearToShared
PartialSession
RecX
ReceiveChannel
ReceiveValue
S
SendChannel
SendValue
SharedChannel
SharedSession
SharedToLinear
Wrap
Z

Enums

AllLeft
AllRight
Bottom
L
R
Release
Sum

Traits

AppendContext
Context
ContextLens
Cut
EmptyContext
FlattenSumApp
ForwardChannel
HasRecApp
HasSumApp
HasTypeApp
Nat
NaturalTransformation
Prism
Protocol
RecApp
RowCon
SharedProtocol
SharedRecApp
Slot
SumApp
SumFunctor
ToRow
TyCon
TypeApp
Wrapper

Functions

absurd
accept_shared_session
acquire_shared_session
append_emtpy_slot
apply_channel
async_acquire_shared_session
async_acquire_shared_session_with_result
case
choose
cut
cut_append
detach_shared_session
extract_choice
fix_session
fork
forward
get_sum
get_sum_borrow
include_session
join_sessions
lift_sum
new_session
offer_case
offer_choice
partial_session
partial_session_1
partial_session_2
receive_channel
receive_channel_from
receive_value
receive_value_from
release_shared_session
run_cont
run_session
run_session_with_result
run_shared_session
run_shared_session_with_join_handle
send_channel_from
send_channel_to
send_channel_to_session
send_value
send_value_to
session
session_1
session_2
shared_forward
step
succ
terminate
terminate_async
terminate_nil
unfix_session
unwrap_session
wait
wait_session
wait_sessions
wrap_session

Type Definitions

Rec
Session