experimental::execution Namespace Reference

Namespaces
namespace	detail

Classes
struct	elide
struct	has_matching_completion_signature
struct	matching_completion_signature
class	storage_for_completion_signatures
class	storage_for_completion_signatures< ::stdexec::completion_signatures< Signatures... >, storage_for_completion_signatures_error_policy::__internalize >
class	storage_for_completion_signatures< ::stdexec::completion_signatures< Signatures... >, storage_for_completion_signatures_error_policy::__propagate >
class	storage_for_completion_signatures< ::stdexec::completion_signatures<>, storage_for_completion_signatures_error_policy::__internalize >
class	storage_for_completion_signatures< ::stdexec::completion_signatures<>, storage_for_completion_signatures_error_policy::__propagate >

Concepts
concept	enter_scope_sender
concept	enter_scope_sender_in
concept	exit_scope_sender
concept	exit_scope_sender_in
concept	object
concept	object_in

Typedefs
template<enter_scope_sender Constructor, typename Env>
using	exit_scope_sender_of_t
using	enter_scopes_t = detail::enter_scopes::t
using	invoke_t = detail::invoke::t
using	lifetime_t = detail::lifetime::t
template<typename Signatures, typename Tag, typename... Args>
using	matching_completion_signature_t
template<object Object>
using	type_of_object_t = std::remove_cvref_t<Object>::type
template<object Object>
using	enter_scope_sender_of_object_t = std::invoke_result_t<Object, type_of_object_t<Object>*>
using	within_t = detail::within::t

Enumerations
enum class	storage_for_completion_signatures_error_policy { __internalize , __propagate }

Functions
template<typename T, typename... Args>
	elide (T &&, Args &&...) -> elide< T &&, Args &&... >

Variables
constexpr enter_scopes_t	enter_scopes
constexpr invoke_t	invoke
constexpr lifetime_t	lifetime
template<typename Signatures, typename Tag, typename... Args>
constexpr bool	has_matching_completion_signature_v
constexpr within_t	within

Typedef Documentation

enter_scope_sender_of_object_t

template<object Object>

using experimental::execution::enter_scope_sender_of_object_t = std::invoke_result_t<Object, type_of_object_t<Object>*>

Definition at line 48 of file object.hpp.

enter_scopes_t

using experimental::execution::enter_scopes_t = detail::enter_scopes::t

Definition at line 317 of file enter_scopes.hpp.

exit_scope_sender_of_t

template<enter_scope_sender Constructor, typename Env>

using experimental::execution::exit_scope_sender_of_t

Initial value:

 detail::exit_scope_sender_of::impl<::stdexec::transform_completion_signatures<
    ::stdexec::completion_signatures_of_t<Constructor, Env>,
    ::stdexec::completion_signatures<>,
    detail::exit_scope_sender_of::transform_set_value<Env>::template fn,
    detail::exit_scope_sender_of::transform_set_error,
    ::stdexec::completion_signatures<>
>>::type

Definition at line 64 of file enter_scope_sender.hpp.

invoke_t

using experimental::execution::invoke_t = detail::invoke::t

Definition at line 338 of file invoke.hpp.

lifetime_t

using experimental::execution::lifetime_t = detail::lifetime::t

Definition at line 195 of file lifetime.hpp.

matching_completion_signature_t

template<typename Signatures, typename Tag, typename... Args>

using experimental::execution::matching_completion_signature_t

Initial value:

 
typename detail::matching_completion_signature::matching_completion_signature<Signatures, Tag(Args...)>::type

Definition at line 80 of file matching_completion_signature.hpp.

type_of_object_t

template<object Object>

using experimental::execution::type_of_object_t = std::remove_cvref_t<Object>::type

Definition at line 45 of file object.hpp.

within_t

using experimental::execution::within_t = detail::within::t

Definition at line 291 of file within.hpp.

Enumeration Type Documentation

storage_for_completion_signatures_error_policy

enum class experimental::execution::storage_for_completion_signatures_error_policy

strong

Enumerator
__internalize
__propagate

Definition at line 106 of file storage_for_completion_signatures.hpp.

Function Documentation

elide()

template<typename T, typename... Args>

experimental::execution::elide ( T && , Args && ... ) -> elide< T &&, Args &&... >

explicit

Variable Documentation

enter_scopes

enter_scopes_t experimental::execution::enter_scopes

inlineconstexpr

Definition at line 318 of file enter_scopes.hpp.

has_matching_completion_signature_v

template<typename Signatures, typename Tag, typename... Args>

bool experimental::execution::has_matching_completion_signature_v

inlineconstexpr

Initial value:

                                                          = requires {
    typename matching_completion_signature_t<Signatures, Tag, Args...>;
}

Definition at line 84 of file matching_completion_signature.hpp.

invoke

invoke_t experimental::execution::invoke

inlineconstexpr

Definition at line 339 of file invoke.hpp.

lifetime

lifetime_t experimental::execution::lifetime

inlineconstexpr

Definition at line 196 of file lifetime.hpp.

within

within_t experimental::execution::within

inlineconstexpr

Definition at line 292 of file within.hpp.