List of all items
Structs
- App
- AppSum
- ChoiceSelector
- Empty
- End
- ExternalChoice
- InternalChoice
- LinearToShared
- PartialSession
- RecX
- ReceiveChannel
- ReceiveValue
- S
- SendChannel
- SendValue
- SharedChannel
- SharedSession
- SharedToLinear
- Wrap
- Z
- offer_choice::ContSum
- offer_choice::InjectSession
- offer_choice::InjectSessionF
Enums
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
- offer_choice::Invariant
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
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
- cut_session
- detach_shared_session
- extract_choice
- fix_session
- fork
- forward
- get_sum
- get_sum_borrow
- include_session
- join_sessions
- lift_sum
- main
- new_session
- offer_case
- offer_choice
- offer_choice::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