List of all items[−]
Structs
- base::Empty
- base::PartialSession
- base::Rec
- base::SharedChannel
- base::SharedSession
- functional::App
- functional::AppSum
- functional::ChoiceSelector
- functional::Const
- functional::ElimConst
- functional::Identity
- functional::IdentityF
- functional::Merge
- functional::S
- functional::Z
- functional::identity::Identity
- functional::identity::IdentityF
- functional::nat::S
- functional::nat::Z
- functional::row::AppSum
- functional::row::ChoiceSelector
- functional::row::ElimConst
- functional::row::Merge
- functional::type_app::App
- functional::type_app::Const
- internal::base::Empty
- internal::base::IpcReceiver
- internal::base::IpcSender
- internal::base::OpaqueReceiver
- internal::base::OpaqueSender
- internal::base::PartialSession
- internal::base::Rec
- internal::base::Receiver
- internal::base::ReceiverF
- internal::base::ReceiverOnce
- internal::base::Sender
- internal::base::SenderF
- internal::base::SenderOnce
- internal::base::SharedChannel
- internal::base::SharedSession
- internal::base::Unfix
- internal::base::Value
- internal::base::public::Empty
- internal::base::public::PartialSession
- internal::base::public::Rec
- internal::base::public::SharedChannel
- internal::base::public::SharedSession
- internal::functional::App
- internal::functional::AppSum
- internal::functional::ChoiceSelector
- internal::functional::Const
- internal::functional::ElimConst
- internal::functional::Identity
- internal::functional::IdentityF
- internal::functional::Merge
- internal::functional::S
- internal::functional::Z
- internal::functional::identity::Identity
- internal::functional::identity::IdentityF
- internal::functional::nat::S
- internal::functional::nat::Z
- internal::functional::row::AppSum
- internal::functional::row::ChoiceSelector
- internal::functional::row::ElimConst
- internal::functional::row::Merge
- internal::functional::type_app::App
- internal::functional::type_app::Const
- 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::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::Rec
- internal::public::base::SharedChannel
- internal::public::base::SharedSession
- internal::public::functional::App
- internal::public::functional::AppSum
- internal::public::functional::ChoiceSelector
- internal::public::functional::Const
- internal::public::functional::ElimConst
- internal::public::functional::Identity
- internal::public::functional::IdentityF
- internal::public::functional::Merge
- internal::public::functional::S
- internal::public::functional::Z
- internal::public::functional::identity::Identity
- internal::public::functional::identity::IdentityF
- internal::public::functional::nat::S
- internal::public::functional::nat::Z
- internal::public::functional::row::AppSum
- internal::public::functional::row::ChoiceSelector
- internal::public::functional::row::ElimConst
- internal::public::functional::row::Merge
- internal::public::functional::type_app::App
- internal::public::functional::type_app::Const
- internal::public::prelude::App
- internal::public::prelude::AppSum
- internal::public::prelude::ChoiceSelector
- internal::public::prelude::Const
- internal::public::prelude::ElimConst
- internal::public::prelude::Empty
- internal::public::prelude::End
- internal::public::prelude::ExternalChoice
- internal::public::prelude::Identity
- internal::public::prelude::IdentityF
- internal::public::prelude::InternalChoice
- internal::public::prelude::LinearToShared
- internal::public::prelude::Merge
- internal::public::prelude::PartialSession
- internal::public::prelude::Rec
- 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::identity::Identity
- internal::public::prelude::identity::IdentityF
- internal::public::prelude::nat::S
- internal::public::prelude::nat::Z
- internal::public::prelude::row::AppSum
- internal::public::prelude::row::ChoiceSelector
- internal::public::prelude::row::ElimConst
- internal::public::prelude::row::Merge
- internal::public::prelude::type_app::App
- internal::public::prelude::type_app::Const
- 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
- prelude::App
- prelude::AppSum
- prelude::ChoiceSelector
- prelude::Const
- prelude::ElimConst
- prelude::Empty
- prelude::End
- prelude::ExternalChoice
- prelude::Identity
- prelude::IdentityF
- prelude::InternalChoice
- prelude::LinearToShared
- prelude::Merge
- prelude::PartialSession
- prelude::Rec
- prelude::ReceiveChannel
- prelude::ReceiveValue
- prelude::S
- prelude::SendChannel
- prelude::SendValue
- prelude::SharedChannel
- prelude::SharedSession
- prelude::SharedToLinear
- prelude::Wrap
- prelude::Z
- prelude::identity::Identity
- prelude::identity::IdentityF
- prelude::nat::S
- prelude::nat::Z
- prelude::row::AppSum
- prelude::row::ChoiceSelector
- prelude::row::ElimConst
- prelude::row::Merge
- prelude::type_app::App
- prelude::type_app::Const
- protocol::End
- protocol::ExternalChoice
- protocol::InternalChoice
- protocol::LinearToShared
- protocol::ReceiveChannel
- protocol::ReceiveValue
- protocol::SendChannel
- protocol::SendValue
- protocol::SharedToLinear
- protocol::Wrap
Enums
- either::EitherChoice
- functional::Bottom
- functional::Sum
- functional::row::Bottom
- functional::row::Sum
- internal::functional::Bottom
- internal::functional::Sum
- internal::functional::row::Bottom
- internal::functional::row::Sum
- internal::protocol::either::EitherChoice
- internal::public::either::EitherChoice
- internal::public::functional::Bottom
- internal::public::functional::Sum
- internal::public::functional::row::Bottom
- internal::public::functional::row::Sum
- internal::public::prelude::AllLeft
- internal::public::prelude::AllRight
- internal::public::prelude::Bottom
- internal::public::prelude::L
- internal::public::prelude::R
- internal::public::prelude::Sum
- internal::public::prelude::either::EitherChoice
- internal::public::prelude::row::Bottom
- internal::public::prelude::row::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::Sum
- prelude::either::EitherChoice
- prelude::row::Bottom
- prelude::row::Sum
- session::AllLeft
- session::AllRight
- session::L
- session::R
Traits
- base::AppendContext
- base::Context
- base::ContextLens
- base::EmptyContext
- base::ForwardChannel
- base::HasRecApp
- base::Protocol
- base::RecApp
- base::SharedProtocol
- base::SharedRecApp
- base::Slot
- functional::Applicative
- functional::ElimField
- functional::ElimSum
- functional::FlattenSumApp
- functional::Functor
- functional::HasSumApp
- functional::HasTypeApp
- functional::InjectLift
- functional::IntersectSum
- functional::Monad
- functional::Nat
- functional::NaturalTransformation
- functional::Prism
- functional::RowCon
- functional::SplitRow
- functional::SumApp
- functional::SumFunctor
- functional::SumFunctorInject
- functional::TyCon
- functional::TypeApp
- functional::base::Applicative
- functional::base::Functor
- functional::base::Monad
- functional::base::NaturalTransformation
- functional::nat::Nat
- functional::row::ElimField
- functional::row::ElimSum
- functional::row::FlattenSumApp
- functional::row::HasSumApp
- functional::row::InjectLift
- functional::row::IntersectSum
- functional::row::Prism
- functional::row::RowCon
- functional::row::SplitRow
- functional::row::SumApp
- functional::row::SumFunctor
- functional::row::SumFunctorInject
- functional::type_app::HasTypeApp
- functional::type_app::TyCon
- functional::type_app::TypeApp
- 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::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::Applicative
- internal::functional::ElimField
- internal::functional::ElimSum
- internal::functional::FlattenSumApp
- internal::functional::Functor
- internal::functional::HasSumApp
- internal::functional::HasTypeApp
- internal::functional::InjectLift
- internal::functional::IntersectSum
- internal::functional::Monad
- internal::functional::Nat
- internal::functional::NaturalTransformation
- internal::functional::Prism
- internal::functional::RowCon
- internal::functional::SplitRow
- internal::functional::SumApp
- internal::functional::SumFunctor
- internal::functional::SumFunctorInject
- internal::functional::TyCon
- internal::functional::TypeApp
- internal::functional::base::Applicative
- internal::functional::base::Functor
- internal::functional::base::Monad
- internal::functional::base::NaturalTransformation
- internal::functional::nat::Nat
- internal::functional::row::ElimField
- internal::functional::row::ElimSum
- internal::functional::row::FlattenSumApp
- internal::functional::row::HasSumApp
- internal::functional::row::InjectLift
- internal::functional::row::IntersectSum
- internal::functional::row::Prism
- internal::functional::row::RowCon
- internal::functional::row::SplitRow
- internal::functional::row::SumApp
- internal::functional::row::SumFunctor
- internal::functional::row::SumFunctorInject
- 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::Applicative
- internal::public::functional::ElimField
- internal::public::functional::ElimSum
- internal::public::functional::FlattenSumApp
- internal::public::functional::Functor
- internal::public::functional::HasSumApp
- internal::public::functional::HasTypeApp
- internal::public::functional::InjectLift
- internal::public::functional::IntersectSum
- internal::public::functional::Monad
- internal::public::functional::Nat
- internal::public::functional::NaturalTransformation
- internal::public::functional::Prism
- internal::public::functional::RowCon
- internal::public::functional::SplitRow
- internal::public::functional::SumApp
- internal::public::functional::SumFunctor
- internal::public::functional::SumFunctorInject
- internal::public::functional::TyCon
- internal::public::functional::TypeApp
- internal::public::functional::base::Applicative
- internal::public::functional::base::Functor
- internal::public::functional::base::Monad
- internal::public::functional::base::NaturalTransformation
- internal::public::functional::nat::Nat
- internal::public::functional::row::ElimField
- internal::public::functional::row::ElimSum
- internal::public::functional::row::FlattenSumApp
- internal::public::functional::row::HasSumApp
- internal::public::functional::row::InjectLift
- internal::public::functional::row::IntersectSum
- internal::public::functional::row::Prism
- internal::public::functional::row::RowCon
- internal::public::functional::row::SplitRow
- internal::public::functional::row::SumApp
- internal::public::functional::row::SumFunctor
- internal::public::functional::row::SumFunctorInject
- internal::public::functional::type_app::HasTypeApp
- internal::public::functional::type_app::TyCon
- internal::public::functional::type_app::TypeApp
- internal::public::prelude::AppendContext
- internal::public::prelude::Applicative
- internal::public::prelude::Context
- internal::public::prelude::ContextLens
- internal::public::prelude::Cut
- internal::public::prelude::ElimField
- internal::public::prelude::ElimSum
- internal::public::prelude::EmptyContext
- internal::public::prelude::FlattenSumApp
- internal::public::prelude::ForwardChannel
- internal::public::prelude::Functor
- internal::public::prelude::HasRecApp
- internal::public::prelude::HasSumApp
- internal::public::prelude::HasTypeApp
- internal::public::prelude::InjectLift
- internal::public::prelude::IntersectSum
- internal::public::prelude::Monad
- 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::SplitRow
- internal::public::prelude::SumApp
- internal::public::prelude::SumFunctor
- internal::public::prelude::SumFunctorInject
- internal::public::prelude::TyCon
- internal::public::prelude::TypeApp
- internal::public::prelude::Wrapper
- internal::public::prelude::base::Applicative
- internal::public::prelude::base::Functor
- internal::public::prelude::base::Monad
- internal::public::prelude::base::NaturalTransformation
- internal::public::prelude::nat::Nat
- internal::public::prelude::row::ElimField
- internal::public::prelude::row::ElimSum
- internal::public::prelude::row::FlattenSumApp
- internal::public::prelude::row::HasSumApp
- internal::public::prelude::row::InjectLift
- internal::public::prelude::row::IntersectSum
- internal::public::prelude::row::Prism
- internal::public::prelude::row::RowCon
- internal::public::prelude::row::SplitRow
- internal::public::prelude::row::SumApp
- internal::public::prelude::row::SumFunctor
- internal::public::prelude::row::SumFunctorInject
- internal::public::prelude::type_app::HasTypeApp
- internal::public::prelude::type_app::TyCon
- internal::public::prelude::type_app::TypeApp
- internal::public::protocol::Wrapper
- internal::public::session::Cut
- internal::session::Cut
- internal::session::public::Cut
- prelude::AppendContext
- prelude::Applicative
- prelude::Context
- prelude::ContextLens
- prelude::Cut
- prelude::ElimField
- prelude::ElimSum
- prelude::EmptyContext
- prelude::FlattenSumApp
- prelude::ForwardChannel
- prelude::Functor
- prelude::HasRecApp
- prelude::HasSumApp
- prelude::HasTypeApp
- prelude::InjectLift
- prelude::IntersectSum
- prelude::Monad
- prelude::Nat
- prelude::NaturalTransformation
- prelude::Prism
- prelude::Protocol
- prelude::RecApp
- prelude::RowCon
- prelude::SharedProtocol
- prelude::SharedRecApp
- prelude::Slot
- prelude::SplitRow
- prelude::SumApp
- prelude::SumFunctor
- prelude::SumFunctorInject
- prelude::TyCon
- prelude::TypeApp
- prelude::Wrapper
- prelude::base::Applicative
- prelude::base::Functor
- prelude::base::Monad
- prelude::base::NaturalTransformation
- prelude::nat::Nat
- prelude::row::ElimField
- prelude::row::ElimSum
- prelude::row::FlattenSumApp
- prelude::row::HasSumApp
- prelude::row::InjectLift
- prelude::row::IntersectSum
- prelude::row::Prism
- prelude::row::RowCon
- prelude::row::SplitRow
- prelude::row::SumApp
- prelude::row::SumFunctor
- prelude::row::SumFunctorInject
- prelude::type_app::HasTypeApp
- prelude::type_app::TyCon
- prelude::type_app::TypeApp
- protocol::Wrapper
- session::Cut
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
- natural_transformation
- 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
- functional::absurd
- functional::extract
- functional::get_applied
- functional::get_sum
- functional::get_sum_borrow
- functional::lift_sum
- functional::lift_sum_inject
- functional::nat::succ
- functional::row::absurd
- functional::row::extract
- functional::row::get_sum
- functional::row::get_sum_borrow
- functional::row::lift_sum
- functional::row::lift_sum_inject
- functional::row::wrap_sum_app
- functional::succ
- functional::type_app::get_applied
- functional::type_app::wrap_type_app
- functional::wrap_sum_app
- functional::wrap_type_app
- 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_receive_shared_channel
- internal::base::unsafe_run_session
- internal::base::unsafe_run_shared_session
- internal::functional::absurd
- internal::functional::extract
- internal::functional::get_applied
- internal::functional::get_sum
- internal::functional::get_sum_borrow
- internal::functional::lift_sum
- internal::functional::lift_sum_inject
- internal::functional::nat::succ
- internal::functional::row::absurd
- internal::functional::row::extract
- internal::functional::row::get_sum
- internal::functional::row::get_sum_borrow
- internal::functional::row::lift_sum
- internal::functional::row::lift_sum_inject
- internal::functional::row::wrap_sum_app
- internal::functional::succ
- internal::functional::type_app::get_applied
- internal::functional::type_app::wrap_type_app
- internal::functional::wrap_sum_app
- internal::functional::wrap_type_app
- internal::public::functional::absurd
- internal::public::functional::extract
- internal::public::functional::get_applied
- internal::public::functional::get_sum
- internal::public::functional::get_sum_borrow
- internal::public::functional::lift_sum
- internal::public::functional::lift_sum_inject
- internal::public::functional::nat::succ
- internal::public::functional::row::absurd
- internal::public::functional::row::extract
- internal::public::functional::row::get_sum
- internal::public::functional::row::get_sum_borrow
- internal::public::functional::row::lift_sum
- internal::public::functional::row::lift_sum_inject
- internal::public::functional::row::wrap_sum_app
- internal::public::functional::succ
- internal::public::functional::type_app::get_applied
- internal::public::functional::type_app::wrap_type_app
- internal::public::functional::wrap_sum_app
- internal::public::functional::wrap_type_app
- 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
- internal::public::prelude::fix_session
- internal::public::prelude::fork
- internal::public::prelude::forward
- internal::public::prelude::get_applied
- 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::lift_sum_inject
- internal::public::prelude::nat::succ
- internal::public::prelude::new_session
- internal::public::prelude::offer_case
- internal::public::prelude::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_channel_from_slot
- internal::public::prelude::receive_channel_slot
- internal::public::prelude::receive_value
- internal::public::prelude::receive_value_from
- internal::public::prelude::release_shared_session
- internal::public::prelude::row::absurd
- internal::public::prelude::row::extract
- internal::public::prelude::row::get_sum
- internal::public::prelude::row::get_sum_borrow
- internal::public::prelude::row::lift_sum
- internal::public::prelude::row::lift_sum_inject
- internal::public::prelude::row::wrap_sum_app
- 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_value
- internal::public::prelude::send_value_to
- internal::public::prelude::session
- internal::public::prelude::session_1
- internal::public::prelude::session_2
- internal::public::prelude::step
- internal::public::prelude::succ
- internal::public::prelude::succ_session
- internal::public::prelude::terminate
- internal::public::prelude::terminate_async
- internal::public::prelude::terminate_nil
- internal::public::prelude::type_app::get_applied
- internal::public::prelude::type_app::wrap_type_app
- internal::public::prelude::unfix_session
- internal::public::prelude::unfix_session_for
- 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::prelude::wrap_sum_app
- internal::public::prelude::wrap_type_app
- 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::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_channel_from_slot
- internal::public::session::receive_channel_slot
- 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_value
- internal::public::session::send_value_to
- internal::public::session::session
- internal::public::session::session_1
- internal::public::session::session_2
- internal::public::session::step
- internal::public::session::succ_session
- internal::public::session::terminate
- internal::public::session::terminate_async
- internal::public::session::terminate_nil
- internal::public::session::unfix_session
- internal::public::session::unfix_session_for
- 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::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::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_channel_from_slot
- internal::session::public::receive_channel_slot
- 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_value
- internal::session::public::send_value_to
- internal::session::public::session
- internal::session::public::session_1
- internal::session::public::session_2
- internal::session::public::step
- internal::session::public::succ_session
- internal::session::public::terminate
- internal::session::public::terminate_async
- internal::session::public::terminate_nil
- internal::session::public::unfix_session
- internal::session::public::unfix_session_for
- 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_channel_from_slot
- internal::session::receive_channel_slot
- 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_value
- internal::session::send_value_to
- internal::session::session
- internal::session::session_1
- internal::session::session_2
- internal::session::step
- internal::session::succ_session
- internal::session::terminate
- internal::session::terminate_async
- internal::session::terminate_nil
- internal::session::unfix_session
- internal::session::unfix_session_for
- 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
- prelude::fix_session
- prelude::fork
- prelude::forward
- prelude::get_applied
- prelude::get_sum
- prelude::get_sum_borrow
- prelude::include_session
- prelude::join_sessions
- prelude::lift_sum
- prelude::lift_sum_inject
- prelude::nat::succ
- prelude::new_session
- prelude::offer_case
- prelude::offer_choice
- prelude::partial_session
- prelude::partial_session_1
- prelude::partial_session_2
- prelude::receive_channel
- prelude::receive_channel_from
- prelude::receive_channel_from_slot
- prelude::receive_channel_slot
- prelude::receive_value
- prelude::receive_value_from
- prelude::release_shared_session
- prelude::row::absurd
- prelude::row::extract
- prelude::row::get_sum
- prelude::row::get_sum_borrow
- prelude::row::lift_sum
- prelude::row::lift_sum_inject
- prelude::row::wrap_sum_app
- 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_value
- prelude::send_value_to
- prelude::session
- prelude::session_1
- prelude::session_2
- prelude::step
- prelude::succ
- prelude::succ_session
- prelude::terminate
- prelude::terminate_async
- prelude::terminate_nil
- prelude::type_app::get_applied
- prelude::type_app::wrap_type_app
- prelude::unfix_session
- prelude::unfix_session_for
- prelude::unwrap_session
- prelude::wait
- prelude::wait_session
- prelude::wait_sessions
- prelude::wrap_session
- prelude::wrap_sum_app
- prelude::wrap_type_app
- session::accept_shared_session
- session::acquire_shared_session
- session::append_emtpy_slot
- session::apply_channel
- session::async_acquire_shared_session
- session::async_acquire_shared_session_with_result
- session::case
- session::choose
- session::cut
- session::cut_append
- session::detach_shared_session
- session::fix_session
- session::fork
- session::forward
- session::include_session
- session::join_sessions
- session::new_session
- session::offer_case
- session::offer_choice
- session::partial_session
- session::partial_session_1
- session::partial_session_2
- session::receive_channel
- session::receive_channel_from
- session::receive_channel_from_slot
- session::receive_channel_slot
- session::receive_value
- session::receive_value_from
- session::release_shared_session
- session::run_cont
- session::run_session
- session::run_session_with_result
- session::run_shared_session
- session::run_shared_session_with_join_handle
- session::send_channel_from
- session::send_channel_to
- session::send_value
- session::send_value_to
- session::session
- session::session_1
- session::session_2
- session::step
- session::succ_session
- session::terminate
- session::terminate_async
- session::terminate_nil
- session::unfix_session
- session::unfix_session_for
- session::unwrap_session
- session::wait
- session::wait_session
- session::wait_sessions
- session::wrap_session
Typedefs
- base::Session
- either::Either
- either::EitherRow
- internal::base::Session
- internal::base::public::Session
- internal::protocol::either::Either
- internal::protocol::either::EitherRow
- internal::public::base::Session
- internal::public::either::Either
- internal::public::either::EitherRow
- internal::public::prelude::Session
- internal::public::prelude::either::Either
- internal::public::prelude::either::EitherRow
- prelude::Session
- prelude::either::Either
- prelude::either::EitherRow
Constants
- either::LeftLabel
- either::RightLabel
- internal::protocol::either::LeftLabel
- internal::protocol::either::RightLabel
- internal::public::either::LeftLabel
- internal::public::either::RightLabel
- internal::public::prelude::either::LeftLabel
- internal::public::prelude::either::RightLabel
- prelude::either::LeftLabel
- prelude::either::RightLabel