experimental::execution::detail::within Namespace Reference

Classes
struct	t
struct	completions
class	state
struct	FAILED_TO_FORM_COMPLETION_SIGNATURES
struct	connect_result
struct	nothrow_connect
class	impl

Typedefs
template<typename...>
using	remove_set_value_t = ::stdexec::completion_signatures<>
template<typename Sender, typename Env>
using	completion_signatures_of_sender_t
template<typename Scope, typename... Env>
using	completion_signatures_of_scope_t
template<typename Sender, typename Env>
using	storage_for_completion_signatures_t

Variables
template<typename Sender, typename Env>
constexpr bool	nothrow_connect_sender

Typedef Documentation

completion_signatures_of_scope_t

template<typename Scope, typename... Env>

using experimental::execution::detail::within::completion_signatures_of_scope_t

Initial value:

 ::stdexec::transform_completion_signatures<
    ::stdexec::completion_signatures_of_t<Scope, Env...>,
    ::stdexec::completion_signatures<>,
    remove_set_value_t
>

Definition at line 65 of file within.hpp.

completion_signatures_of_sender_t

template<typename Sender, typename Env>

using experimental::execution::detail::within::completion_signatures_of_sender_t

Initial value:

 ::stdexec::transform_completion_signatures<
    ::stdexec::completion_signatures_of_t<Sender, Env>,
    std::conditional_t<
        nothrow_connect_sender<Sender, Env>,
        ::stdexec::completion_signatures<>,
        ::stdexec::completion_signatures<::stdexec::set_error_t(std::exception_ptr)>
    >
>

Definition at line 55 of file within.hpp.

remove_set_value_t

template<typename...>

using experimental::execution::detail::within::remove_set_value_t = ::stdexec::completion_signatures<>

Definition at line 46 of file within.hpp.

storage_for_completion_signatures_t

template<typename Sender, typename Env>

using experimental::execution::detail::within::storage_for_completion_signatures_t

Initial value:

 
::exec::storage_for_completion_signatures<completion_signatures_of_sender_t<Sender, Env>>

Definition at line 72 of file within.hpp.

Variable Documentation

nothrow_connect_sender

template<typename Sender, typename Env>

bool experimental::execution::detail::within::nothrow_connect_sender

inlineconstexpr

Initial value:

                                         =
::stdexec::__nothrow_connectable<Sender, ::stdexec::__receiver_archetype<Env>> &&
 
std::is_nothrow_move_constructible_v<Sender>

Definition at line 49 of file within.hpp.