Merge pull request #1554 from ericniebler/get-domain-override

rename `get_domain_late` to `get_domain_override`

Author: ericniebler

include/nvexec/stream/common.cuh

@@ -370,7 +370,7 @@ namespace nvexec {
 
       STDEXEC_ATTRIBUTE(nodiscard)
 
-      constexpr auto query(get_domain_late_t) const noexcept -> stream_domain {
+      constexpr auto query(get_domain_override_t) const noexcept -> stream_domain {
         return {};
       }
 

include/nvexec/stream/when_all.cuh

@@ -150,7 +150,7 @@ namespace nvexec::_strm {
           }
         }
 
-        constexpr auto query(get_domain_late_t) const noexcept
+        constexpr auto query(get_domain_override_t) const noexcept
           requires stdexec::__same_as<WhenAllTag, transfer_when_all_t>
         {
           static_assert(

include/stdexec/__detail/__domain.hpp

@@ -144,8 +144,8 @@ namespace stdexec {
         // The schedule_from algorithm is the exception to the rule. It ignores the domain
         // of the predecessor, and dispatches based on the domain of the scheduler to
         // which execution is being transferred.
-        if constexpr (__callable<get_domain_late_t, env_of_t<_Sender>>) {
-          return get_domain_late(get_env(__sndr));
+        if constexpr (__callable<get_domain_override_t, env_of_t<_Sender>>) {
+          return get_domain_override(get_env(__sndr));
         } else if constexpr (__callable<get_domain_t, const _Env&>) {
           return get_domain(__env);
         } else if constexpr (__callable<__composed<get_domain_t, get_scheduler_t>, const _Env&>) {

include/stdexec/__detail/__env.hpp

@@ -224,17 +224,17 @@ namespace stdexec {
       }
     };
 
-    struct get_domain_late_t {
+    struct get_domain_override_t {
       template <class _Ty>
-        requires tag_invocable<get_domain_late_t, const _Ty&>
+        requires tag_invocable<get_domain_override_t, const _Ty&>
       constexpr auto operator()(const _Ty&) const noexcept
-        -> __decay_t<tag_invoke_result_t<get_domain_late_t, const _Ty&>> {
+        -> __decay_t<tag_invoke_result_t<get_domain_override_t, const _Ty&>> {
         static_assert(
-          nothrow_tag_invocable<get_domain_late_t, const _Ty&>,
-          "Customizations of get_domain_late must be noexcept.");
+          nothrow_tag_invocable<get_domain_override_t, const _Ty&>,
+          "Customizations of get_domain_override must be noexcept.");
         static_assert(
-          __class<__decay_t<tag_invoke_result_t<get_domain_late_t, const _Ty&>>>,
-          "Customizations of get_domain_late must return a class type.");
+          __class<__decay_t<tag_invoke_result_t<get_domain_override_t, const _Ty&>>>,
+          "Customizations of get_domain_override must return a class type.");
         return {};
       }
 
@@ -296,7 +296,7 @@ namespace stdexec {
   using __queries::get_stop_token_t;
   using __queries::get_completion_scheduler_t;
   using __queries::get_domain_t;
-  using __queries::get_domain_late_t;
+  using __queries::get_domain_override_t;
   using __queries::__is_scheduler_affine_t;
   using __queries::__root_t;
   using __queries::__root_env;
@@ -329,7 +329,7 @@ namespace stdexec {
   concept __forwarding_query = forwarding_query(_Tag{});
 
   inline constexpr get_domain_t get_domain{};
-  inline constexpr get_domain_late_t get_domain_late{};
+  inline constexpr get_domain_override_t get_domain_override{};
 
   template <class _Tag, class _Queryable, class _Default>
   using __query_result_or_t = __call_result_t<query_or_t, _Tag, _Queryable, _Default>;
@@ -688,7 +688,7 @@ namespace stdexec {
       return {};
     }
 
-    constexpr auto query(get_domain_late_t) const noexcept -> _LateDomain
+    constexpr auto query(get_domain_override_t) const noexcept -> _LateDomain
       requires(!same_as<_LateDomain, __none_such>)
     {
       return {};

test/stdexec/algos/consumers/test_start_detached.cpp

@@ -113,7 +113,7 @@ namespace {
 
     [[nodiscard]]
     auto get_env() const noexcept {
-      return ex::prop{ex::get_domain_late, domain{}};
+      return ex::prop{ex::get_domain_override, domain{}};
     }
 
     template <class Receiver>

test/stdexec/algos/consumers/test_sync_wait.cpp

@@ -223,7 +223,7 @@ namespace {
   TEST_CASE("sync_wait can be customized", "[consumers][sync_wait]") {
     // The customization will return a different value
     auto snd = ex::just(std::string{"hello"})
-             | exec::write_attrs(ex::prop{ex::get_domain_late, sync_wait_test_domain{}});
+             | exec::write_attrs(ex::prop{ex::get_domain_override, sync_wait_test_domain{}});
     auto res = ex::sync_wait(std::move(snd));
     STATIC_REQUIRE(std::same_as<decltype(res), sync_wait_test_domain::single_result_t>);
     CHECK(res.has_value());
@@ -233,7 +233,7 @@ namespace {
   TEST_CASE("sync_wait_with_variant can be customized", "[consumers][sync_wait_with_variant]") {
     // The customization will return a different value
     auto snd = fallible_just(std::string{"hello_multi"}) | ex::let_error(always(ex::just(42)))
-             | exec::write_attrs(ex::prop{ex::get_domain_late, sync_wait_test_domain{}});
+             | exec::write_attrs(ex::prop{ex::get_domain_override, sync_wait_test_domain{}});
     auto res = ex::sync_wait_with_variant(std::move(snd));
     STATIC_REQUIRE(std::same_as<decltype(res), sync_wait_test_domain::multi_result_t>);
     CHECK(res.has_value());

test/stdexec/cpos/cpo_helpers.cuh

@@ -56,7 +56,7 @@ namespace {
     }
 
     [[nodiscard]]
-    auto query(ex::get_domain_late_t) const noexcept {
+    auto query(ex::get_domain_override_t) const noexcept {
       return cpo_sender_domain{};
     }
   };