Update status

README.md

@@ -4,7 +4,7 @@ SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 -->
 
 <!-- markdownlint-disable line-length -->
-[![Library Status](https://raw.githubusercontent.com/bemanproject/beman/refs/heads/main/images/badges/beman_badge-beman_library_under_development.svg)](https://github.com/bemanproject/beman/blob/main/docs/beman_library_maturity_model.md#the-beman-library-maturity-model)![Standard Target](https://github.com/bemanproject/beman/blob/main/images/badges/cpp26.svg)[![Coverage](https://coveralls.io/repos/github/bemanproject/execution/badge.svg?branch=main)](https://coveralls.io/github/bemanproject/execution?branch=main)[![Compiler Explorer Example](https://img.shields.io/badge/Try%20it%20on%20Compiler%20Explorer-grey?logo=compilerexplorer&logoColor=67c52a)](https://godbolt.org/z/9nfa3rTTK)
+[![Library Status](https://raw.githubusercontent.com/bemanproject/beman/refs/heads/main/images/badges/beman_badge-beman_library_under_development.svg)](https://github.com/bemanproject/beman/blob/main/docs/beman_library_maturity_model.md#the-beman-library-maturity-model)![Standard Target](https://github.com/bemanproject/beman/blob/main/images/badges/cpp26.svg)[![Coverage](https://coveralls.io/repos/github/bemanproject/execution/badge.svg?branch=main)](https://coveralls.io/github/bemanproject/execution?branch=main)[![Compiler Explorer Example](https://img.shields.io/badge/Try%20it%20on%20Compiler%20Explorer-grey?logo=compilerexplorer&logoColor=67c52a)](https://godbolt.org/z/jeMEWGYbM)
 <!-- markdownlint-restore -->
 
 

examples/CMakeLists.txt

@@ -19,21 +19,23 @@ endif()
 
 set(TODO stop_token) #-dk:TODO including that causes a linker error
 set(TODO suspend_never) #-dk:TODO including that causes ASAN errors
+set(TODO
+    intro_1_hello_world
+    intro_2_hello_async
+    playground
+    sender_demo
+    stackoverflow
+    stopping
+    when_all_cancel
+)
 
 set(EXAMPLES
     allocator
     doc_just
     doc_just_error
     doc_just_stopped
     inspect
-    intro_1_hello_world
-    intro_2_hello_async
     intro_5_consumer
-    playground
-    sender_demo
-    stackoverflow
-    stopping
-    when_all_cancel
 )
 
 if(BEMAN_USE_MODULES)

examples/allocator.cpp

@@ -1,12 +1,17 @@
 // examples/allocator.cpp                                             -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <iostream>
 #include <string>
 #include <memory>
 #include <memory_resource>
 #include <span>
 #include <vector>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else

examples/doc_just.cpp

@@ -1,8 +1,13 @@
 // examples/doc_just.cpp                                              -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
-#include <cassert>
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <string>
+#endif
+#include <cassert>
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else

examples/doc_just_error.cpp

@@ -1,7 +1,12 @@
 // examples/doc_just_error.cpp                                        -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <system_error>
+#endif
 #include <cassert>
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;

examples/doc_just_stopped.cpp

@@ -1,7 +1,12 @@
 // examples/doc_just_stopped.cpp                                      -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <system_error>
+#endif
 #include <cassert>
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;

examples/inspect.cpp

@@ -1,13 +1,18 @@
 // examples/inspectc.pp                                               -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <iostream>
 #include <ostream>
 #include <sstream>
 #include <string>
 #include <typeinfo>
 #include <tuple>
 #include <variant>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else

examples/intro_1_hello_world.cpp

@@ -1,11 +1,16 @@
 // examples/intro_1_hello_world.cpp                                   -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <iostream>
 #include <optional>
 #include <string>
 #include <tuple>
 #include <variant>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else
@@ -20,7 +25,7 @@ using namespace std::string_literals;
 
 int main() {
     // clang-format off
-    auto [result] =
+    //auto [result] =
     ex::sync_wait(
         ex::when_all(
             ex::just("hello, "s),
@@ -30,5 +35,5 @@ int main() {
         ;
     // clang-format on
 
-    std::cout << result << '\n';
+    // std::cout << result << '\n';
 }

examples/intro_2_hello_async.cpp

@@ -1,12 +1,17 @@
 // examples/intro_2_hello_async.cpp                                   -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <chrono>
 #include <iostream>
 #include <queue>
 #include <string>
 #include <thread>
 #include <tuple>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else

examples/intro_5_consumer.cpp

@@ -1,6 +1,10 @@
 // examples/intro_5_consumer.cpp                                      -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <beman/execution/detail/suppress_push.hpp>
 #include <chrono>
 //-dk:TODO restore if that actually works #include <expected>
@@ -9,6 +13,7 @@
 #include <tuple>
 #include <variant>
 #include <cinttypes>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 import beman.execution.detail;

examples/modules_and_header.cpp

@@ -1,7 +1,12 @@
 // examples/modules_and_header.cpp                                    -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <tuple>
+#endif
 import beman.execution;
 namespace ex = beman::execution;
 

examples/playground.cpp

@@ -1,10 +1,15 @@
 // examples/playground.cpp                                            -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <iostream>
 #include <string>
 #include <tuple>
 #include <variant>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else
@@ -16,8 +21,9 @@ namespace ex = ::beman::execution;
 // ----------------------------------------------------------------------------
 
 int main() {
-    auto [result] = ex::sync_wait(ex::when_all(ex::just(std::string("hello, ")), ex::just(std::string("world"))) |
-                                  ex::then([](const auto& s1, const auto& s2) { return s1 + s2; }))
-                        .value_or(std::tuple(std::string("oops")));
-    std::cout << "result='" << result << "'\n";
+    // auto [result] =
+    ex::sync_wait(ex::when_all(ex::just(std::string("hello, ")), ex::just(std::string("world"))) |
+                  ex::then([](const auto& s1, const auto& s2) { return s1 + s2; }))
+        .value_or(std::tuple(std::string("oops")));
+    // std::cout << "result='" << result << "'\n";
 }

examples/sender_demo.cpp

@@ -1,12 +1,17 @@
 // examples/sender_demo.cpp                                           -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <iostream>
 #include <memory_resource>
 #include <string>
 #include <type_traits>
 #include <utility>
 #include <variant>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 import beman.execution.detail;

examples/stackoverflow.cpp

@@ -1,11 +1,16 @@
 // examples/stackoverflow.cpp                                         -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <coroutine>
 #include <iostream>
 #include <memory>
 #include <type_traits>
 #include <utility>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else

examples/stop_token.cpp

@@ -1,12 +1,17 @@
 // examples/stop_token.cpp
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <condition_variable>
 #include <iostream>
 #include <exception>
 #include <latch>
 #include <mutex>
 #include <thread>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else

examples/stopping.cpp

@@ -6,11 +6,16 @@
 // which gets started in a thread. To stop this thread
 // the corresponding stop source is requested to stop.
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <chrono>
 #include <iostream>
 #include <mutex>
 #include <thread>
 #include <cassert>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else
@@ -19,6 +24,7 @@ import beman.execution;
 #endif
 
 using namespace std::chrono;
+using namespace std::chrono_literals;
 namespace ex = beman::execution;
 
 // ----------------------------------------------------------------------------

examples/when_all_cancel.cpp

@@ -1,6 +1,10 @@
 // examples/when_all_cancel.cpp                                       -*-C++-*-
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
 #include <exception>
 #include <iostream>
 #include <optional>
@@ -10,6 +14,7 @@
 #include <utility>
 #include <variant>
 #include <cassert>
+#endif
 #ifdef BEMAN_HAS_MODULES
 import beman.execution;
 #else

include/beman/execution/detail/as_except_ptr.hpp

@@ -25,6 +25,7 @@ namespace beman::execution::detail {
  * \internal
  */
 template <typename Error>
+//-dk:TODO add a proper precondition
 decltype(auto) as_except_ptr(Error&& error) {
     if constexpr (::std::same_as<::std::exception_ptr, ::std::decay_t<Error>>) {
         return ::std::forward<Error>(error);

include/beman/execution/detail/call_with_default.hpp

@@ -0,0 +1,33 @@
+// include/beman/execution/detail/call_with_default.hpp               -*-C++-*-
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+#ifndef INCLUDED_INCLUDE_BEMAN_EXECUTION_DETAIL_CALL_WITH_DEFAULT
+#define INCLUDED_INCLUDE_BEMAN_EXECUTION_DETAIL_CALL_WITH_DEFAULT
+
+#include <beman/execution/detail/common.hpp>
+#ifdef BEMAN_HAS_IMPORT_STD
+import std;
+#else
+#include <utility>
+#endif
+
+// ----------------------------------------------------------------------------
+
+namespace beman::execution::detail {
+template <typename Tag, typename DefaultValue, typename Env, typename... Args>
+    requires requires(const Tag& tag, const Env& env, Args&&... args) { tag(env, ::std::forward<Args>(args)...); }
+constexpr auto call_with_default(Tag, DefaultValue&&, const Env& env, Args&&... args) noexcept(
+    noexcept(Tag()(env, ::std::forward<Args>(args)...))) -> decltype(auto) {
+    return Tag()(env, ::std::forward<Args>(args)...);
+}
+
+template <typename Tag, typename DefaultValue, typename Env, typename... Args>
+constexpr auto call_with_default(Tag, DefaultValue&& value, const Env&, const Args&...) noexcept(
+    noexcept(static_cast<DefaultValue>(std::forward<DefaultValue>(value)))) -> decltype(auto) {
+    return static_cast<DefaultValue>(std::forward<DefaultValue>(value));
+}
+} // namespace beman::execution::detail
+
+// ----------------------------------------------------------------------------
+
+#endif

include/beman/execution/detail/compl_domain.hpp

@@ -11,11 +11,11 @@ import std;
 #include <type_traits>
 #endif
 #ifdef BEMAN_HAS_MODULES
-import beman.execution.detail.default_domain;
+import beman.execution.detail.indeterminate_domain;
 import beman.execution.detail.get_completion_domain;
 import beman.execution.detail.get_env;
 #else
-#include <beman/execution/detail/default_domain.hpp>
+#include <beman/execution/detail/indeterminate_domain.hpp>
 #include <beman/execution/detail/get_completion_domain.hpp>
 #include <beman/execution/detail/get_env.hpp>
 #endif
@@ -30,7 +30,7 @@ constexpr auto compl_domain(const Sndr& sndr, const Envs&... envs) noexcept {
                   }) {
         return ::beman::execution::get_completion_domain<Tag>(::beman::execution::get_env(sndr), envs...);
     } else {
-        return ::beman::execution::default_domain();
+        return ::beman::execution::indeterminate_domain();
     }
 }