List of all items

Structs

• either::Either
• internal::base::ClientEndpointF
• internal::base::Empty
• internal::base::IpcReceiver
• internal::base::IpcSender
• internal::base::OpaqueReceiver
• internal::base::OpaqueSender
• internal::base::PartialSession
• internal::base::ProviderEndpointF
• internal::base::RecEndpoint
• internal::base::RecRow
• internal::base::RecX
• internal::base::Receiver
• internal::base::ReceiverOnce
• internal::base::Sender
• internal::base::SenderOnce
• internal::base::SharedChannel
• internal::base::SharedRecRow
• internal::base::SharedSession
• internal::base::Value
• internal::base::public::Empty
• internal::base::public::PartialSession
• internal::base::public::RecX
• internal::base::public::SharedChannel
• internal::base::public::SharedSession
• internal::functional::App
• internal::functional::AppSum
• internal::functional::ChoiceSelector
• internal::functional::S
• internal::functional::Z
• internal::functional::nat::S
• internal::functional::nat::Z
• internal::functional::public::App
• internal::functional::public::AppSum
• internal::functional::public::ChoiceSelector
• internal::functional::row::AppSum
• internal::functional::row::ChoiceSelector
• internal::functional::type_app::App
• internal::protocol::End
• internal::protocol::ExternalChoice
• internal::protocol::InternalChoice
• internal::protocol::LinearToShared
• internal::protocol::Lock
• internal::protocol::ReceiveChannel
• internal::protocol::ReceiveValue
• internal::protocol::SendChannel
• internal::protocol::SendValue
• internal::protocol::SharedToLinear
• internal::protocol::Wrap
• internal::protocol::either::Either
• internal::protocol::public::End
• internal::protocol::public::ExternalChoice
• internal::protocol::public::InternalChoice
• internal::protocol::public::LinearToShared
• internal::protocol::public::ReceiveChannel
• internal::protocol::public::ReceiveValue
• internal::protocol::public::SendChannel
• internal::protocol::public::SendValue
• internal::protocol::public::SharedToLinear
• internal::protocol::public::Wrap
• internal::public::base::Empty
• internal::public::base::PartialSession
• internal::public::base::RecX
• internal::public::base::SharedChannel
• internal::public::base::SharedSession
• internal::public::either::Either
• internal::public::functional::App
• internal::public::functional::AppSum
• internal::public::functional::ChoiceSelector
• internal::public::prelude::App
• internal::public::prelude::AppSum
• internal::public::prelude::ChoiceSelector
• internal::public::prelude::Empty
• internal::public::prelude::End
• internal::public::prelude::ExternalChoice
• internal::public::prelude::InternalChoice
• internal::public::prelude::LinearToShared
• internal::public::prelude::PartialSession
• internal::public::prelude::RecX
• internal::public::prelude::ReceiveChannel
• internal::public::prelude::ReceiveValue
• internal::public::prelude::S
• internal::public::prelude::SendChannel
• internal::public::prelude::SendValue
• internal::public::prelude::SharedChannel
• internal::public::prelude::SharedSession
• internal::public::prelude::SharedToLinear
• internal::public::prelude::Wrap
• internal::public::prelude::Z
• internal::public::prelude::offer_choice::ContSum
• internal::public::prelude::offer_choice::InjectSession
• internal::public::prelude::offer_choice::InjectSessionF
• internal::public::protocol::End
• internal::public::protocol::ExternalChoice
• internal::public::protocol::InternalChoice
• internal::public::protocol::LinearToShared
• internal::public::protocol::ReceiveChannel
• internal::public::protocol::ReceiveValue
• internal::public::protocol::SendChannel
• internal::public::protocol::SendValue
• internal::public::protocol::SharedToLinear
• internal::public::protocol::Wrap
• internal::public::session::offer_choice::ContSum
• internal::public::session::offer_choice::InjectSession
• internal::public::session::offer_choice::InjectSessionF
• internal::session::offer_choice::ContSum
• internal::session::offer_choice::InjectSession
• internal::session::offer_choice::InjectSessionF
• internal::session::public::offer_choice::ContSum
• internal::session::public::offer_choice::InjectSession
• internal::session::public::offer_choice::InjectSessionF
• prelude::App
• prelude::AppSum
• prelude::ChoiceSelector
• prelude::Empty
• prelude::End
• prelude::ExternalChoice
• prelude::InternalChoice
• prelude::LinearToShared
• prelude::PartialSession
• prelude::RecX
• prelude::ReceiveChannel
• prelude::ReceiveValue
• prelude::S
• prelude::SendChannel
• prelude::SendValue
• prelude::SharedChannel
• prelude::SharedSession
• prelude::SharedToLinear
• prelude::Wrap
• prelude::Z
• prelude::offer_choice::ContSum
• prelude::offer_choice::InjectSession
• prelude::offer_choice::InjectSessionF

Enums

• either::EitherChoice
• internal::base::Release
• internal::base::public::Release
• internal::functional::Bottom
• internal::functional::Sum
• internal::functional::public::Bottom
• internal::functional::public::Sum
• internal::functional::row::Bottom
• internal::functional::row::Sum
• internal::protocol::either::EitherChoice
• internal::public::base::Release
• internal::public::either::EitherChoice
• internal::public::functional::Bottom
• internal::public::functional::Sum
• internal::public::prelude::AllLeft
• internal::public::prelude::AllRight
• internal::public::prelude::Bottom
• internal::public::prelude::L
• internal::public::prelude::R
• internal::public::prelude::Release
• internal::public::prelude::Sum
• internal::public::session::AllLeft
• internal::public::session::AllRight
• internal::public::session::L
• internal::public::session::R
• internal::session::AllLeft
• internal::session::AllRight
• internal::session::L
• internal::session::R
• internal::session::public::AllLeft
• internal::session::public::AllRight
• internal::session::public::L
• internal::session::public::R
• prelude::AllLeft
• prelude::AllRight
• prelude::Bottom
• prelude::L
• prelude::R
• prelude::Release
• prelude::Sum

Traits

• internal::base::AppendContext
• internal::base::Context
• internal::base::ContextLens
• internal::base::EmptyContext
• internal::base::ForwardChannel
• internal::base::HasRecApp
• internal::base::Protocol
• internal::base::RecApp
• internal::base::SealedProtocol
• internal::base::SealedSharedProtocol
• internal::base::SharedProtocol
• internal::base::SharedRecApp
• internal::base::Slot
• internal::base::public::AppendContext
• internal::base::public::Context
• internal::base::public::ContextLens
• internal::base::public::EmptyContext
• internal::base::public::ForwardChannel
• internal::base::public::HasRecApp
• internal::base::public::Protocol
• internal::base::public::RecApp
• internal::base::public::SharedProtocol
• internal::base::public::SharedRecApp
• internal::base::public::Slot
• internal::functional::FlattenSumApp
• internal::functional::HasSumApp
• internal::functional::HasTypeApp
• internal::functional::Nat
• internal::functional::NaturalTransformation
• internal::functional::Prism
• internal::functional::RowCon
• internal::functional::SumApp
• internal::functional::SumFunctor
• internal::functional::ToRow
• internal::functional::TyCon
• internal::functional::TypeApp
• internal::functional::base::NaturalTransformation
• internal::functional::nat::Nat
• internal::functional::nat::SealedNat
• internal::functional::public::FlattenSumApp
• internal::functional::public::HasSumApp
• internal::functional::public::HasTypeApp
• internal::functional::public::Prism
• internal::functional::public::RowCon
• internal::functional::public::SumApp
• internal::functional::public::SumFunctor
• internal::functional::public::ToRow
• internal::functional::public::TyCon
• internal::functional::public::TypeApp
• internal::functional::row::FlattenSumApp
• internal::functional::row::HasSumApp
• internal::functional::row::Prism
• internal::functional::row::RowCon
• internal::functional::row::SumApp
• internal::functional::row::SumFunctor
• internal::functional::row::ToRow
• internal::functional::type_app::HasTypeApp
• internal::functional::type_app::TyCon
• internal::functional::type_app::TypeApp
• internal::protocol::Wrapper
• internal::protocol::public::Wrapper
• internal::public::base::AppendContext
• internal::public::base::Context
• internal::public::base::ContextLens
• internal::public::base::EmptyContext
• internal::public::base::ForwardChannel
• internal::public::base::HasRecApp
• internal::public::base::Protocol
• internal::public::base::RecApp
• internal::public::base::SharedProtocol
• internal::public::base::SharedRecApp
• internal::public::base::Slot
• internal::public::functional::FlattenSumApp
• internal::public::functional::HasSumApp
• internal::public::functional::HasTypeApp
• internal::public::functional::Prism
• internal::public::functional::RowCon
• internal::public::functional::SumApp
• internal::public::functional::SumFunctor
• internal::public::functional::ToRow
• internal::public::functional::TyCon
• internal::public::functional::TypeApp
• internal::public::prelude::AppendContext
• internal::public::prelude::Context
• internal::public::prelude::ContextLens
• internal::public::prelude::Cut
• internal::public::prelude::EmptyContext
• internal::public::prelude::FlattenSumApp
• internal::public::prelude::ForwardChannel
• internal::public::prelude::HasRecApp
• internal::public::prelude::HasSumApp
• internal::public::prelude::HasTypeApp
• internal::public::prelude::Nat
• internal::public::prelude::NaturalTransformation
• internal::public::prelude::Prism
• internal::public::prelude::Protocol
• internal::public::prelude::RecApp
• internal::public::prelude::RowCon
• internal::public::prelude::SharedProtocol
• internal::public::prelude::SharedRecApp
• internal::public::prelude::Slot
• internal::public::prelude::SumApp
• internal::public::prelude::SumFunctor
• internal::public::prelude::ToRow
• internal::public::prelude::TyCon
• internal::public::prelude::TypeApp
• internal::public::prelude::Wrapper
• internal::public::prelude::offer_choice::Invariant
• internal::public::protocol::Wrapper
• internal::public::session::Cut
• internal::public::session::offer_choice::Invariant
• internal::session::Cut
• internal::session::RunCont
• internal::session::offer_choice::Invariant
• internal::session::public::Cut
• internal::session::public::offer_choice::Invariant
• prelude::AppendContext
• prelude::Context
• prelude::ContextLens
• prelude::Cut
• prelude::EmptyContext
• prelude::FlattenSumApp
• prelude::ForwardChannel
• prelude::HasRecApp
• prelude::HasSumApp
• prelude::HasTypeApp
• prelude::Nat
• prelude::NaturalTransformation
• prelude::Prism
• prelude::Protocol
• prelude::RecApp
• prelude::RowCon
• prelude::SharedProtocol
• prelude::SharedRecApp
• prelude::Slot
• prelude::SumApp
• prelude::SumFunctor
• prelude::ToRow
• prelude::TyCon
• prelude::TypeApp
• prelude::Wrapper
• prelude::offer_choice::Invariant

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
• internal::public::prelude::HList
• internal::public::prelude::Sum
• internal::public::prelude::acquire_shared_session
• internal::public::prelude::case
• internal::public::prelude::choose
• internal::public::prelude::cut
• internal::public::prelude::define_choice
• internal::public::prelude::include_session
• internal::public::prelude::offer_case
• internal::public::prelude::offer_choice
• internal::public::prelude::receive_channel
• internal::public::prelude::receive_channel_from
• internal::public::prelude::receive_channels
• internal::public::prelude::receive_value
• internal::public::prelude::receive_value_from
• internal::public::prelude::send_value
• internal::public::prelude::send_value_to
• internal::public::prelude::terminate
• internal::public::prelude::wait
• internal::public::prelude::wait_all
• macros::paste
• match_choice
• match_choice_value
• match_extract
• offer_case
• offer_choice
• prelude::HList
• prelude::Sum
• prelude::acquire_shared_session
• prelude::case
• prelude::choose
• prelude::cut
• prelude::define_choice
• prelude::include_session
• prelude::offer_case
• prelude::offer_choice
• prelude::receive_channel
• prelude::receive_channel_from
• prelude::receive_channels
• prelude::receive_value
• prelude::receive_value_from
• prelude::send_value
• prelude::send_value_to
• prelude::terminate
• prelude::wait
• prelude::wait_all
• receive_channel
• receive_channel_from
• receive_channels
• receive_value
• receive_value_from
• send_value
• send_value_to
• terminate
• wait
• wait_all

Functions

• internal::base::fix
• internal::base::ipc_channel
• internal::base::once_channel
• internal::base::opaque_channel
• internal::base::unbounded
• internal::base::unfix
• internal::base::unsafe_create_session
• internal::base::unsafe_create_shared_channel
• internal::base::unsafe_create_shared_session
• internal::base::unsafe_forward_shared_channel
• internal::base::unsafe_receive_shared_channel
• internal::base::unsafe_run_session
• internal::base::unsafe_run_shared_session
• internal::functional::absurd
• internal::functional::extract_choice
• internal::functional::get_sum
• internal::functional::get_sum_borrow
• internal::functional::lift_sum
• internal::functional::nat::succ
• internal::functional::public::absurd
• internal::functional::public::extract_choice
• internal::functional::public::get_sum
• internal::functional::public::get_sum_borrow
• internal::functional::public::lift_sum
• internal::functional::row::absurd
• internal::functional::row::extract_choice
• internal::functional::row::get_sum
• internal::functional::row::get_sum_borrow
• internal::functional::row::lift_sum
• internal::functional::succ
• internal::public::functional::absurd
• internal::public::functional::extract_choice
• internal::public::functional::get_sum
• internal::public::functional::get_sum_borrow
• internal::public::functional::lift_sum
• internal::public::prelude::absurd
• internal::public::prelude::accept_shared_session
• internal::public::prelude::acquire_shared_session
• internal::public::prelude::append_emtpy_slot
• internal::public::prelude::apply_channel
• internal::public::prelude::async_acquire_shared_session
• internal::public::prelude::async_acquire_shared_session_with_result
• internal::public::prelude::case
• internal::public::prelude::choose
• internal::public::prelude::cut
• internal::public::prelude::cut_append
• internal::public::prelude::detach_shared_session
• internal::public::prelude::extract_choice
• internal::public::prelude::fix_session
• internal::public::prelude::fork
• internal::public::prelude::forward
• internal::public::prelude::get_sum
• internal::public::prelude::get_sum_borrow
• internal::public::prelude::include_session
• internal::public::prelude::join_sessions
• internal::public::prelude::lift_sum
• internal::public::prelude::new_session
• internal::public::prelude::offer_case
• internal::public::prelude::offer_choice
• internal::public::prelude::offer_choice::offer_choice
• internal::public::prelude::partial_session
• internal::public::prelude::partial_session_1
• internal::public::prelude::partial_session_2
• internal::public::prelude::receive_channel
• internal::public::prelude::receive_channel_from
• internal::public::prelude::receive_value
• internal::public::prelude::receive_value_from
• internal::public::prelude::release_shared_session
• internal::public::prelude::run_cont
• internal::public::prelude::run_session
• internal::public::prelude::run_session_with_result
• internal::public::prelude::run_shared_session
• internal::public::prelude::run_shared_session_with_join_handle
• internal::public::prelude::send_channel_from
• internal::public::prelude::send_channel_to
• internal::public::prelude::send_channel_to_session
• internal::public::prelude::send_value
• internal::public::prelude::send_value_to
• internal::public::prelude::session
• internal::public::prelude::session_1
• internal::public::prelude::session_2
• internal::public::prelude::shared_forward
• internal::public::prelude::step
• internal::public::prelude::succ
• internal::public::prelude::terminate
• internal::public::prelude::terminate_async
• internal::public::prelude::terminate_nil
• internal::public::prelude::unfix_session
• internal::public::prelude::unwrap_session
• internal::public::prelude::wait
• internal::public::prelude::wait_session
• internal::public::prelude::wait_sessions
• internal::public::prelude::wrap_session
• internal::public::session::accept_shared_session
• internal::public::session::acquire_shared_session
• internal::public::session::append_emtpy_slot
• internal::public::session::apply_channel
• internal::public::session::async_acquire_shared_session
• internal::public::session::async_acquire_shared_session_with_result
• internal::public::session::case
• internal::public::session::choose
• internal::public::session::cut
• internal::public::session::cut_append
• internal::public::session::detach_shared_session
• internal::public::session::fix_session
• internal::public::session::fork
• internal::public::session::forward
• internal::public::session::include_session
• internal::public::session::join_sessions
• internal::public::session::new_session
• internal::public::session::offer_case
• internal::public::session::offer_choice
• internal::public::session::offer_choice::offer_choice
• internal::public::session::partial_session
• internal::public::session::partial_session_1
• internal::public::session::partial_session_2
• internal::public::session::receive_channel
• internal::public::session::receive_channel_from
• internal::public::session::receive_value
• internal::public::session::receive_value_from
• internal::public::session::release_shared_session
• internal::public::session::run_cont
• internal::public::session::run_session
• internal::public::session::run_session_with_result
• internal::public::session::run_shared_session
• internal::public::session::run_shared_session_with_join_handle
• internal::public::session::send_channel_from
• internal::public::session::send_channel_to
• internal::public::session::send_channel_to_session
• internal::public::session::send_value
• internal::public::session::send_value_to
• internal::public::session::session
• internal::public::session::session_1
• internal::public::session::session_2
• internal::public::session::shared_forward
• internal::public::session::step
• internal::public::session::terminate
• internal::public::session::terminate_async
• internal::public::session::terminate_nil
• internal::public::session::unfix_session
• internal::public::session::unwrap_session
• internal::public::session::wait
• internal::public::session::wait_session
• internal::public::session::wait_sessions
• internal::public::session::wrap_session
• internal::session::accept_shared_session
• internal::session::acquire_shared_session
• internal::session::append_emtpy_slot
• internal::session::apply_channel
• internal::session::async_acquire_shared_session
• internal::session::async_acquire_shared_session_with_result
• internal::session::case
• internal::session::choose
• internal::session::cut
• internal::session::cut_append
• internal::session::detach_shared_session
• internal::session::fix_session
• internal::session::fork
• internal::session::forward
• internal::session::include_session
• internal::session::join_sessions
• internal::session::new_session
• internal::session::offer_case
• internal::session::offer_choice
• internal::session::offer_choice::offer_choice
• internal::session::partial_session
• internal::session::partial_session_1
• internal::session::partial_session_2
• internal::session::public::accept_shared_session
• internal::session::public::acquire_shared_session
• internal::session::public::append_emtpy_slot
• internal::session::public::apply_channel
• internal::session::public::async_acquire_shared_session
• internal::session::public::async_acquire_shared_session_with_result
• internal::session::public::case
• internal::session::public::choose
• internal::session::public::cut
• internal::session::public::cut_append
• internal::session::public::detach_shared_session
• internal::session::public::fix_session
• internal::session::public::fork
• internal::session::public::forward
• internal::session::public::include_session
• internal::session::public::join_sessions
• internal::session::public::new_session
• internal::session::public::offer_case
• internal::session::public::offer_choice
• internal::session::public::offer_choice::offer_choice
• internal::session::public::partial_session
• internal::session::public::partial_session_1
• internal::session::public::partial_session_2
• internal::session::public::receive_channel
• internal::session::public::receive_channel_from
• internal::session::public::receive_value
• internal::session::public::receive_value_from
• internal::session::public::release_shared_session
• internal::session::public::run_cont
• internal::session::public::run_session
• internal::session::public::run_session_with_result
• internal::session::public::run_shared_session
• internal::session::public::run_shared_session_with_join_handle
• internal::session::public::send_channel_from
• internal::session::public::send_channel_to
• internal::session::public::send_channel_to_session
• internal::session::public::send_value
• internal::session::public::send_value_to
• internal::session::public::session
• internal::session::public::session_1
• internal::session::public::session_2
• internal::session::public::shared_forward
• internal::session::public::step
• internal::session::public::terminate
• internal::session::public::terminate_async
• internal::session::public::terminate_nil
• internal::session::public::unfix_session
• internal::session::public::unwrap_session
• internal::session::public::wait
• internal::session::public::wait_session
• internal::session::public::wait_sessions
• internal::session::public::wrap_session
• internal::session::receive_channel
• internal::session::receive_channel_from
• internal::session::receive_value
• internal::session::receive_value_from
• internal::session::release_shared_session
• internal::session::run_cont
• internal::session::run_session
• internal::session::run_session_with_result
• internal::session::run_shared_session
• internal::session::run_shared_session_with_join_handle
• internal::session::send_channel_from
• internal::session::send_channel_to
• internal::session::send_channel_to_session
• internal::session::send_value
• internal::session::send_value_to
• internal::session::session
• internal::session::session_1
• internal::session::session_2
• internal::session::shared_forward
• internal::session::step
• internal::session::terminate
• internal::session::terminate_async
• internal::session::terminate_nil
• internal::session::unfix_session
• internal::session::unwrap_session
• internal::session::wait
• internal::session::wait_session
• internal::session::wait_sessions
• internal::session::wrap_session
• prelude::absurd
• prelude::accept_shared_session
• prelude::acquire_shared_session
• prelude::append_emtpy_slot
• prelude::apply_channel
• prelude::async_acquire_shared_session
• prelude::async_acquire_shared_session_with_result
• prelude::case
• prelude::choose
• prelude::cut
• prelude::cut_append
• prelude::detach_shared_session
• prelude::extract_choice
• prelude::fix_session
• prelude::fork
• prelude::forward
• prelude::get_sum
• prelude::get_sum_borrow
• prelude::include_session
• prelude::join_sessions
• prelude::lift_sum
• prelude::new_session
• prelude::offer_case
• prelude::offer_choice
• prelude::offer_choice::offer_choice
• prelude::partial_session
• prelude::partial_session_1
• prelude::partial_session_2
• prelude::receive_channel
• prelude::receive_channel_from
• prelude::receive_value
• prelude::receive_value_from
• prelude::release_shared_session
• prelude::run_cont
• prelude::run_session
• prelude::run_session_with_result
• prelude::run_shared_session
• prelude::run_shared_session_with_join_handle
• prelude::send_channel_from
• prelude::send_channel_to
• prelude::send_channel_to_session
• prelude::send_value
• prelude::send_value_to
• prelude::session
• prelude::session_1
• prelude::session_2
• prelude::shared_forward
• prelude::step
• prelude::succ
• prelude::terminate
• prelude::terminate_async
• prelude::terminate_nil
• prelude::unfix_session
• prelude::unwrap_session
• prelude::wait
• prelude::wait_session
• prelude::wait_sessions
• prelude::wrap_session

Typedefs

• either::EitherRow
• internal::base::ClientEndpoint
• internal::base::ProviderEndpoint
• internal::base::Rec
• internal::base::Session
• internal::base::public::Rec
• internal::base::public::Session
• internal::protocol::either::EitherRow
• internal::public::base::Rec
• internal::public::base::Session
• internal::public::either::EitherRow
• internal::public::prelude::Rec
• internal::public::prelude::Session
• prelude::Rec
• prelude::Session

Constants

• either::LeftLabel
• either::RightLabel
• internal::protocol::either::LeftLabel
• internal::protocol::either::RightLabel
• internal::public::either::LeftLabel
• internal::public::either::RightLabel