From eb2b19713edbb203c78df0792499a7909d7a2333 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dietmar=20K=C3=BChl?= Date: Mon, 4 May 2026 16:49:46 -0600 Subject: [PATCH] change the tag names to implement P4154 --- CMakeLists.txt | 2 +- examples/demo_algorithm.hpp | 10 +++++----- examples/demo_scope.hpp | 2 +- examples/demo_stream.hpp | 4 ++-- examples/demo_task.hpp | 6 +++--- examples/postgres.cpp | 4 ++-- examples/print_completions.hpp | 4 ++-- examples/server.cpp | 2 +- examples/sync_run.hpp | 2 +- include/beman/net/detail/execution.hpp | 8 ++++---- include/beman/net/detail/into_expected.hpp | 6 +++--- include/beman/net/detail/io_context.hpp | 4 ++-- include/beman/net/detail/io_context_scheduler.hpp | 6 +++--- include/beman/net/detail/repeat_effect_until.hpp | 6 +++--- include/beman/net/detail/sender.hpp | 6 +++--- 15 files changed, 36 insertions(+), 36 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 2e66488..a09d60f 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -31,7 +31,7 @@ FetchContent_Declare( task # SOURCE_DIR ${CMAKE_SOURCE_DIR}/../task GIT_REPOSITORY https://github.com/bemanproject/task - GIT_TAG 6ff5b89 + GIT_TAG 1679185 FIND_PACKAGE_ARGS 0.2.0 EXACT NAMES beman.task COMPONENTS task_headers ) FetchContent_MakeAvailable(task) diff --git a/examples/demo_algorithm.hpp b/examples/demo_algorithm.hpp index ecb681f..bf3bd85 100644 --- a/examples/demo_algorithm.hpp +++ b/examples/demo_algorithm.hpp @@ -166,7 +166,7 @@ inline constexpr when_any_t when_any{}; template struct demo::into_error_t::receiver { - using receiver_concept = ex::receiver_t; + using receiver_concept = ex::receiver_tag; Receiver receiver; Fun fun; @@ -184,7 +184,7 @@ struct demo::into_error_t::receiver { template struct demo::into_error_t::sender { - using sender_concept = ex::sender_t; + using sender_concept = ex::sender_tag; template static consteval auto get_completion_signatures() { // static_assert(sizeof...(Env) <= 1u); @@ -320,7 +320,7 @@ struct demo::when_any_t::env { template <::std::size_t, ::demo::ex::receiver Receiver, typename Value, typename Error> struct demo::when_any_t::receiver { - using receiver_concept = ::demo::ex::receiver_t; + using receiver_concept = ::demo::ex::receiver_tag; demo::when_any_t::state_value* state; auto get_env() const noexcept -> demo::when_any_t::env> { return {this->state}; } @@ -355,7 +355,7 @@ struct demo::when_any_t::state<::std::index_sequence, Receiver, Value, Err template <::std::size_t J> using receiver_type = when_any_t::receiver; - using operation_state_concept = ex::operation_state_t; + using operation_state_concept = ex::operation_state_tag; using states_type = ::beman::execution::detail::product_type(), ::std::declval>()))...>; states_type states; @@ -374,7 +374,7 @@ struct demo::when_any_t::state<::std::index_sequence, Receiver, Value, Err template struct demo::when_any_t::sender { ::beman::execution::detail::product_type<::std::remove_cvref_t...> sender; - using sender_concept = ex::sender_t; + using sender_concept = ex::sender_tag; template static consteval auto get_completion_signatures() { return ::beman::execution::detail::meta::unique<::beman::execution::detail::meta::combine< diff --git a/examples/demo_scope.hpp b/examples/demo_scope.hpp index 0e240ed..f0cd725 100644 --- a/examples/demo_scope.hpp +++ b/examples/demo_scope.hpp @@ -28,7 +28,7 @@ class scope { }; struct receiver { - using receiver_concept = ex::receiver_t; + using receiver_concept = ex::receiver_tag; scope* self; job_base* state{}; diff --git a/examples/demo_stream.hpp b/examples/demo_stream.hpp index a65c423..3f6b536 100644 --- a/examples/demo_stream.hpp +++ b/examples/demo_stream.hpp @@ -64,7 +64,7 @@ struct context { struct memory { template struct state : memory_base { - using operation_state_concept = ex::operation_state_t; + using operation_state_concept = ex::operation_state_tag; Receiver receiver; Buffer buffer; memory* self; @@ -86,7 +86,7 @@ struct memory { }; template struct receive_sender { - using sender_concept = ex::sender_t; + using sender_concept = ex::sender_tag; template static consteval auto get_completion_signatures() { return ex::completion_signatures{}; diff --git a/examples/demo_task.hpp b/examples/demo_task.hpp index 1d2bc92..737bbe6 100644 --- a/examples/demo_task.hpp +++ b/examples/demo_task.hpp @@ -105,7 +105,7 @@ struct task { auto query(ex::get_stop_token_t) const noexcept -> ex::inplace_stop_token; }; struct receiver { - using receiver_concept = ex::receiver_t; + using receiver_concept = ex::receiver_tag; sender_awaiter* awaiter{}; @@ -176,7 +176,7 @@ struct task { template struct state : task_state_base<::std::decay_t> { - using operation_state_concept = ex::operation_state_t; + using operation_state_concept = ex::operation_state_tag; struct callback_t { state* object; auto operator()() const { @@ -219,7 +219,7 @@ struct task { unique_handle handle; - using sender_concept = ::beman::net::detail::ex::sender_t; + using sender_concept = ::beman::net::detail::ex::sender_tag; using completion_signatures = ::beman::net::detail::ex::completion_signatures<::beman::net::detail::ex::set_error_t(::std::exception_ptr), ::beman::net::detail::ex::set_stopped_t(), diff --git a/examples/postgres.cpp b/examples/postgres.cpp index 95e6170..d7cb557 100644 --- a/examples/postgres.cpp +++ b/examples/postgres.cpp @@ -58,7 +58,7 @@ struct result { // PQsetChunkedMode(PGconn *conn, int arg) - set chunked mode, return 0 on failure struct exec { - using sender_concept = ex::sender_t; + using sender_concept = ex::sender_tag; using completion_signatures = ex::completion_signatures; template static consteval completion_signatures get_completion_signatures() noexcept { @@ -67,7 +67,7 @@ struct exec { template struct state { - using operation_state_concept = ex::operation_state_t; + using operation_state_concept = ex::operation_state_tag; struct env { using error_types = ex::completion_signatures; diff --git a/examples/print_completions.hpp b/examples/print_completions.hpp index 3566c5d..2e04f5a 100644 --- a/examples/print_completions.hpp +++ b/examples/print_completions.hpp @@ -13,7 +13,7 @@ inline constexpr print_completion_signatures_t print_completion_signatures{}; struct print_completions_t { template struct sender { - using sender_concept = ex::sender_t; + using sender_concept = ex::sender_tag; template static consteval auto get_completion_signatures() noexcept { return ex::get_completion_signatures(); @@ -21,7 +21,7 @@ struct print_completions_t { template struct state { - using operation_state_concept = ex::operation_state_t; + using operation_state_concept = ex::operation_state_tag; using state_t = ex::connect_result_t; using env_t = ex::env_of_t; diff --git a/examples/server.cpp b/examples/server.cpp index b69f0ff..cbdddc8 100644 --- a/examples/server.cpp +++ b/examples/server.cpp @@ -43,7 +43,7 @@ auto make_client(auto client) -> demo::task { } struct receiver { - using receiver_concept = ex::receiver_t; + using receiver_concept = ex::receiver_tag; auto set_error(auto&&) && noexcept -> void {} auto set_stopped() && noexcept -> void {} auto set_value(auto&&...) && noexcept -> void {} diff --git a/examples/sync_run.hpp b/examples/sync_run.hpp index 1955ffd..f82e90e 100644 --- a/examples/sync_run.hpp +++ b/examples/sync_run.hpp @@ -10,7 +10,7 @@ struct sync_run_env { }; struct sync_run_receiver { ex::run_loop& loop; - using receiver_concept = ex::receiver_t; + using receiver_concept = ex::receiver_tag; auto get_env() const noexcept { return sync_run_env{this->loop}; } auto set_value() noexcept { this->loop.finish(); } diff --git a/include/beman/net/detail/execution.hpp b/include/beman/net/detail/execution.hpp index ba43a59..97a471e 100644 --- a/include/beman/net/detail/execution.hpp +++ b/include/beman/net/detail/execution.hpp @@ -43,13 +43,13 @@ using ::beman::execution::get_stop_token; using ::beman::execution::get_stop_token_t; using ::beman::execution::operation_state; -using ::beman::execution::operation_state_t; +using ::beman::execution::operation_state_tag; using ::beman::execution::receiver; -using ::beman::execution::receiver_t; +using ::beman::execution::receiver_tag; using ::beman::execution::scheduler; -using ::beman::execution::scheduler_t; +using ::beman::execution::scheduler_tag; using ::beman::execution::sender; -using ::beman::execution::sender_t; +using ::beman::execution::sender_tag; using ::beman::execution::sender_in; diff --git a/include/beman/net/detail/into_expected.hpp b/include/beman/net/detail/into_expected.hpp index 2b18983..a970a5a 100644 --- a/include/beman/net/detail/into_expected.hpp +++ b/include/beman/net/detail/into_expected.hpp @@ -70,7 +70,7 @@ struct into_expected_t : beman::execution::sender_adaptor_closure struct state { struct receiver { - using receiver_concept = beman::execution::receiver_t; + using receiver_concept = beman::execution::receiver_tag; using env_t = beman::execution::env_of_t; Receiver* _receiver; auto get_env() const noexcept { return beman::execution::get_env(*this->_receiver); } @@ -88,7 +88,7 @@ struct into_expected_t : beman::execution::sender_adaptor_closure_receiver)); } }; - using operation_state_concept = beman::execution::operation_state_t; + using operation_state_concept = beman::execution::operation_state_tag; using inner_state_t = beman::execution::connect_result_t; Receiver _receiver; @@ -102,7 +102,7 @@ struct into_expected_t : beman::execution::sender_adaptor_closure struct sender { - using sender_concept = beman::execution::sender_t; + using sender_concept = beman::execution::sender_tag; Sender _sender; diff --git a/include/beman/net/detail/io_context.hpp b/include/beman/net/detail/io_context.hpp index 7490db5..26b633b 100644 --- a/include/beman/net/detail/io_context.hpp +++ b/include/beman/net/detail/io_context.hpp @@ -100,7 +100,7 @@ class beman::net::io_context { template struct run_one_state { - using operation_state_concept = ::beman::execution::operation_state_t; + using operation_state_concept = ::beman::execution::operation_state_tag; beman::net::io_context* _context; ::std::remove_cvref_t _receiver; @@ -114,7 +114,7 @@ class beman::net::io_context { }; struct run_one_sender { - using sender_concept = ::beman::execution::sender_t; + using sender_concept = ::beman::execution::sender_tag; using completion_signatures = ::beman::execution::completion_signatures<::beman::execution::set_value_t(std::size_t), ::beman::execution::set_stopped_t()>; diff --git a/include/beman/net/detail/io_context_scheduler.hpp b/include/beman/net/detail/io_context_scheduler.hpp index 040755e..08d666c 100644 --- a/include/beman/net/detail/io_context_scheduler.hpp +++ b/include/beman/net/detail/io_context_scheduler.hpp @@ -23,7 +23,7 @@ class beman::net::detail::io_context_scheduler { ::beman::net::detail::context_base* d_context; public: - using scheduler_concept = ::beman::net::detail::ex::scheduler_t; + using scheduler_concept = ::beman::net::detail::ex::scheduler_tag; struct env { ::beman::net::detail::context_base* d_context; @@ -35,7 +35,7 @@ class beman::net::detail::io_context_scheduler { } }; struct sender { - using sender_concept = ::beman::execution::sender_t; + using sender_concept = ::beman::execution::sender_tag; using completion_signatures = beman::execution::completion_signatures; template static consteval auto get_completion_signatures() -> completion_signatures { @@ -44,7 +44,7 @@ class beman::net::detail::io_context_scheduler { template struct state : ::beman::net::detail::context_base::task { - using operation_state_concept = ::beman::net::detail::ex::operation_state_t; + using operation_state_concept = ::beman::net::detail::ex::operation_state_tag; ::std::remove_cvref_t d_receiver; ::beman::net::detail::context_base* d_context; diff --git a/include/beman/net/detail/repeat_effect_until.hpp b/include/beman/net/detail/repeat_effect_until.hpp index 22887e0..a948a00 100644 --- a/include/beman/net/detail/repeat_effect_until.hpp +++ b/include/beman/net/detail/repeat_effect_until.hpp @@ -43,7 +43,7 @@ struct repeat_effect_until_t : beman::execution::sender_adaptor_closure struct state { struct receiver { - using receiver_concept = beman::execution::receiver_t; + using receiver_concept = beman::execution::receiver_tag; state* _state; auto get_env() const noexcept -> beman::execution::env_of_t; auto set_value() && noexcept -> void; @@ -51,7 +51,7 @@ struct repeat_effect_until_t : beman::execution::sender_adaptor_closure void; auto set_stopped() && noexcept -> void; }; - using operation_state_concept = beman::execution::operation_state_t; + using operation_state_concept = beman::execution::operation_state_tag; using upstream_state = beman::execution::connect_result_t; using body_state = beman::execution::connect_result_t; struct connector { @@ -90,7 +90,7 @@ struct repeat_effect_until_t : beman::execution::sender_adaptor_closure struct sender { - using sender_concept = beman::execution::sender_t; + using sender_concept = beman::execution::sender_tag; using completion_signatures = beman::execution::completion_signatures; template static consteval auto get_completion_signatures() { diff --git a/include/beman/net/detail/sender.hpp b/include/beman/net/detail/sender.hpp index ae54ec6..5fac252 100644 --- a/include/beman/net/detail/sender.hpp +++ b/include/beman/net/detail/sender.hpp @@ -42,7 +42,7 @@ struct beman::net::detail::sender_state_base { template <::beman::net::detail::ex::receiver Receiver> struct beman::net::detail::sender_upstream_receiver { - using receiver_concept = ::beman::net::detail::ex::receiver_t; + using receiver_concept = ::beman::net::detail::ex::receiver_tag; ::beman::net::detail::sender_state_base* d_state; auto set_value() && noexcept -> void { this->d_state->start(); } @@ -61,7 +61,7 @@ template struct beman::net::detail::sender_state : Desc::operation, ::beman::net::detail::sender_state_base { - using operation_state_concept = ::beman::net::detail::ex::operation_state_t; + using operation_state_concept = ::beman::net::detail::ex::operation_state_tag; struct cancel_callback : ::beman::net::detail::io_base { sender_state* d_state; @@ -133,7 +133,7 @@ struct beman::net::detail::sender_state : Desc::operation, ::beman::net::detail: template struct beman::net::detail::sender { - using sender_concept = ::beman::net::detail::ex::sender_t; + using sender_concept = ::beman::net::detail::ex::sender_tag; using completion_signatures = ::beman::net::detail::ex::completion_signatures