Module ferrite_session::prelude

Modules

base
either
identity
macros
nat
row
type_app

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
Const
ElimConst
Empty
End
ExternalChoice
Identity
IdentityF
InternalChoice
LinearToShared
Merge
PartialSession
Rec
ReceiveChannel
ReceiveValue
S
SendChannel
SendValue
SharedChannel
SharedSession
SharedToLinear
Wrap
Z

Enums

AllLeft
AllRight
Bottom
L
R
Sum

Traits

AppendContext
Applicative
Context
ContextLens
Cut
ElimField
ElimSum
EmptyContext
FlattenSumApp
ForwardChannel
Functor
HasRecApp
HasSumApp
HasTypeApp
InjectLift
IntersectSum
Monad
Nat
NaturalTransformation
Prism
Protocol
RecApp
RowCon
SharedProtocol
SharedRecApp
Slot
SplitRow
SumApp
SumFunctor
SumFunctorInject
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
fix_session
fork
forward
get_applied
get_sum
get_sum_borrow
include_session
join_sessions
lift_sum
lift_sum_inject
new_session
offer_case
offer_choice
partial_session
partial_session_1
partial_session_2
receive_channel
receive_channel_from
receive_channel_from_slot
receive_channel_slot
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_value
send_value_to
session
session_1
session_2
step
succ
succ_session
terminate
terminate_async
terminate_nil
unfix_session
unfix_session_for
unwrap_session
wait
wait_session
wait_sessions
wrap_session
wrap_sum_app
wrap_type_app

Type Definitions

Session