drop support for pointers as receivers

.clang-format

@@ -4,14 +4,15 @@
 BasedOnStyle: LLVM
 AccessModifierOffset: -2
 AlignAfterOpenBracket: Align
-AlignConsecutiveAssignments: Consecutive
-AlignConsecutiveBitFields: Consecutive
-AlignConsecutiveMacros: Consecutive
+AlignConsecutiveAssignments: AcrossEmptyLines
+AlignConsecutiveBitFields: AcrossEmptyLines
+AlignConsecutiveMacros: AcrossEmptyLines
 AlignEscapedNewlines: Left
+AlignTrailingComments:
+  Kind: Always
+  OverEmptyLines: 1
 AlignOperands: AlignAfterOperator
 AllowAllArgumentsOnNextLine: true
-AlignTrailingComments:
-  Kind: Never
 AllowAllParametersOfDeclarationOnNextLine: true
 AllowAllConstructorInitializersOnNextLine: true
 AllowShortBlocksOnASingleLine: false
@@ -96,9 +97,9 @@ IndentWidth: 2
 KeepEmptyLinesAtTheStartOfBlocks: false
 MaxEmptyLinesToKeep: 1
 Macros:
-- USTDEX_TEMPLATE(...)=template<...>
-- USTDEX_REQUIRES(...)=requires (...)
-- USTDEX_CONCEPT=concept
+  - USTDEX_TEMPLATE(...)=template<__VA_ARGS__>
+  - USTDEX_REQUIRES(...)=requires (__VA_ARGS__)
+  - USTDEX_CONCEPT=concept /*****/
 NamespaceIndentation: None
 PackConstructorInitializers: Never
 PenaltyBreakAssignment: 30
@@ -130,24 +131,5 @@ SpacesInCStyleCastParentheses: false
 SpacesInParentheses: false
 SpacesInSquareBrackets: false
 Standard: c++20
-StatementMacros: [
-  'USTDEX_EXEC_CHECK_DISABLE',
-  'CUB_NAMESPACE_BEGIN',
-  'CUB_NAMESPACE_END',
-  'THRUST_NAMESPACE_BEGIN',
-  'THRUST_NAMESPACE_END',
-  'LIBCUDACXX_BEGIN_NAMESPACE_STD',
-  'LIBCUDACXX_END_NAMESPACE_STD',
-  'LIBCUDACXX_BEGIN_NAMESPACE_STD_NOVERSION',
-  'LIBCUDACXX_END_NAMESPACE_STD_NOVERSION',
-  'LIBCUDACXX_BEGIN_NAMESPACE_RANGES',
-  'LIBCUDACXX_END_NAMESPACE_RANGES',
-  'LIBCUDACXX_BEGIN_NAMESPACE_RANGES_ABI',
-  'LIBCUDACXX_END_NAMESPACE_RANGES_ABI',
-  'LIBCUDACXX_BEGIN_NAMESPACE_CPO',
-  'LIBCUDACXX_END_NAMESPACE_CPO',
-  'LIBCUDACXX_BEGIN_NAMESPACE_VIEWS',
-  'LIBCUDACXX_END_NAMESPACE_VIEWS',
-]
 TabWidth: 2
 UseTab: Never

examples/scratch.cpp

@@ -53,7 +53,7 @@ static_assert(dependent_sender<decltype(read_env(_empty()))>);
 int main()
 {
   thread_context ctx;
-  auto sch = ctx.get_scheduler();
+  auto sch  = ctx.get_scheduler();
 
   auto work = just(1, 2, 3) //
             | then([](int a, int b, int c) {
@@ -71,7 +71,7 @@ int main()
             });
   sync_wait(s3);
 
-  auto [sch2] = sync_wait(read_env(get_scheduler)).value();
+  auto [sch2]   = sync_wait(read_env(get_scheduler)).value();
 
   auto [i1, i2] = sync_wait(when_all(just(42), just(43))).value();
   std::cout << i1 << ' ' << i2 << '\n';

include/ustdex/detail/completion_signatures.hpp

@@ -66,12 +66,6 @@ struct _concat_completion_signatures_fn
     -> _concat_completion_signatures_t<Sigs...>;
 };
 
-#if defined(__CUDA_ARCH__)
-extern USTDEX_DEVICE const _concat_completion_signatures_fn concat_completion_signatures;
-#else
-extern const _concat_completion_signatures_fn concat_completion_signatures;
-#endif
-
 #if defined(__cpp_constexpr_exceptions) // C++26, https://wg21.link/p3068
 template <class... What, class... Values>
 [[noreturn, nodiscard]] constexpr completion_signatures<> invalid_completion_signature(Values... values);
@@ -102,31 +96,33 @@ struct USTDEX_TYPE_VISIBILITY_DEFAULT completion_signatures
   template <class Fn, class... More>
   using call USTDEX_ATTR_NODEBUG_ALIAS = _m_call<Fn, Sigs..., More...>;
 
-  constexpr completion_signatures() = default;
+  constexpr completion_signatures()    = default;
 
   template <class Tag>
-  USTDEX_API static constexpr auto count(Tag) noexcept -> std::size_t;
+  USTDEX_API constexpr auto count(Tag) const noexcept -> std::size_t;
 
   template <class Fn>
-  USTDEX_API static constexpr auto apply(Fn) -> _call_result_t<Fn, Sigs*...>;
+  USTDEX_API constexpr auto apply(Fn) const -> _call_result_t<Fn, Sigs*...>;
 
   template <class Fn>
-  USTDEX_API static constexpr auto filter(Fn) -> _concat_completion_signatures_t<_completion_if<Fn, Sigs>...>;
+  USTDEX_API constexpr auto filter(Fn) const -> _concat_completion_signatures_t<_completion_if<Fn, Sigs>...>;
 
   template <class Tag>
-  USTDEX_API static constexpr auto select(Tag) noexcept;
+  USTDEX_API constexpr auto select(Tag) const noexcept;
 
   template <class Transform, class Reduce>
-  USTDEX_API static constexpr auto transform_reduce(Transform, Reduce)
+  USTDEX_API constexpr auto transform_reduce(Transform, Reduce) const
     -> _call_result_t<Reduce, _call_result_t<Transform, Sigs*>...>;
 
   template <class... OtherSigs>
   USTDEX_API constexpr auto operator+(const completion_signatures<OtherSigs...>&) const noexcept;
 };
 
+completion_signatures() -> completion_signatures<>;
+
 template <class... Sigs>
 template <class Tag>
-USTDEX_API constexpr std::size_t completion_signatures<Sigs...>::count(Tag) noexcept
+USTDEX_API constexpr std::size_t completion_signatures<Sigs...>::count(Tag) const noexcept
 {
   if constexpr (Tag() == set_value)
   {
@@ -142,11 +138,9 @@ USTDEX_API constexpr std::size_t completion_signatures<Sigs...>::count(Tag) noex
   }
 }
 
-completion_signatures() -> completion_signatures<>;
-
 template <class... Sigs>
 template <class Fn>
-USTDEX_API constexpr auto completion_signatures<Sigs...>::apply(Fn _fn) -> _call_result_t<Fn, Sigs*...>
+USTDEX_API constexpr auto completion_signatures<Sigs...>::apply(Fn _fn) const -> _call_result_t<Fn, Sigs*...>
 {
   return _fn(static_cast<Sigs*>(nullptr)...);
 }
@@ -163,15 +157,15 @@ USTDEX_API constexpr auto _filer_one(Fn _fn, Sig* _sig) -> _completion_if<Fn, Si
 
 template <class... Sigs>
 template <class Fn>
-USTDEX_API constexpr auto completion_signatures<Sigs...>::filter(Fn _fn)
+USTDEX_API constexpr auto completion_signatures<Sigs...>::filter(Fn _fn) const
   -> _concat_completion_signatures_t<_completion_if<Fn, Sigs>...>
 {
   return concat_completion_signatures(ustdex::_filer_one(_fn, static_cast<Sigs*>(nullptr))...);
 }
 
 template <class... Sigs>
 template <class Tag>
-USTDEX_API constexpr auto completion_signatures<Sigs...>::select(Tag) noexcept
+USTDEX_API constexpr auto completion_signatures<Sigs...>::select(Tag) const noexcept
 {
   if constexpr (Tag() == set_value)
   {
@@ -189,7 +183,7 @@ USTDEX_API constexpr auto completion_signatures<Sigs...>::select(Tag) noexcept
 
 template <class... Sigs>
 template <class Transform, class Reduce>
-USTDEX_API constexpr auto completion_signatures<Sigs...>::transform_reduce(Transform _transform, Reduce _reduce)
+USTDEX_API constexpr auto completion_signatures<Sigs...>::transform_reduce(Transform _transform, Reduce _reduce) const
   -> _call_result_t<Reduce, _call_result_t<Transform, Sigs*>...>
 {
   return _reduce(_transform(static_cast<Sigs*>(nullptr))...);
@@ -210,8 +204,8 @@ struct USTDEX_TYPE_VISIBILITY_DEFAULT _compile_time_error // : ::std::exception
 };
 
 template <class Data, class... What>
-struct USTDEX_TYPE_VISIBILITY_DEFAULT _sender_type_check_failure
-    : _compile_time_error<_sender_type_check_failure<Data, What...>>
+struct USTDEX_TYPE_VISIBILITY_DEFAULT
+_sender_type_check_failure : _compile_time_error<_sender_type_check_failure<Data, What...>>
 {
   _sender_type_check_failure() = default;
 
@@ -224,7 +218,7 @@ struct USTDEX_TYPE_VISIBILITY_DEFAULT _sender_type_check_failure
 
 struct USTDEX_TYPE_VISIBILITY_DEFAULT dependent_sender_error // : ::std::exception
 {
-  USTDEX_TRIVIAL_API char const* what() const noexcept // override
+  USTDEX_TRIVIAL_API char const* what() const noexcept       // override
   {
     return what_;
   }
@@ -276,13 +270,14 @@ template <class... Sndr>
 }
 #else
 
-#  define USTDEX_PP_EAT_AUTO_auto(ID) ID USTDEX_PP_EAT USTDEX_PP_LPAREN
+#  define USTDEX_PP_EAT_AUTO_auto(ID)     ID USTDEX_PP_EAT USTDEX_PP_LPAREN
+#  define USTDEX_PP_EXPAND_AUTO_auto(_ID) auto _ID
 
 #  define USTDEX_LET_COMPLETIONS_ID(...) \
     USTDEX_PP_EXPAND(USTDEX_PP_CAT(USTDEX_PP_EAT_AUTO_, __VA_ARGS__) USTDEX_PP_RPAREN)
 
 #  define USTDEX_LET_COMPLETIONS(...)                                                                        \
-    if constexpr (__VA_ARGS__;                                                                               \
+    if constexpr (USTDEX_PP_CAT(USTDEX_PP_EXPAND_AUTO_, __VA_ARGS__);                                        \
                   !::ustdex::_valid_completion_signatures<decltype(USTDEX_LET_COMPLETIONS_ID(__VA_ARGS__))>) \
     {                                                                                                        \
       return USTDEX_LET_COMPLETIONS_ID(__VA_ARGS__);                                                         \
@@ -302,11 +297,16 @@ template <class... Sndr>
 }
 #endif
 
-#define USTDEX_GET_COMPLSIGS(...) std::remove_reference_t<Sndr>::template get_completion_signatures<__VA_ARGS__>()
+USTDEX_PRAGMA_PUSH()
+// warning C4913: user defined binary operator ',' exists but no overload could convert all operands, default built-in
+// binary operator ',' used
+USTDEX_PRAGMA_IGNORE_MSVC(4913)
+
+#define USTDEX_GET_COMPLSIGS(...)     std::remove_reference_t<Sndr>::template get_completion_signatures<__VA_ARGS__>()
 
-#define USTDEX_CHECKED_COMPLSIGS(...) (__VA_ARGS__, ustdex::_checked_complsigs<decltype(__VA_ARGS__)>())
+#define USTDEX_CHECKED_COMPLSIGS(...) (__VA_ARGS__, void(), ustdex::_checked_complsigs<decltype(__VA_ARGS__)>())
 
-struct CHECKED
+struct A_GET_COMPLETION_SIGNATURES_CUSTOMIZATION_RETURNED_A_TYPE_THAT_IS_NOT_A_COMPLETION_SIGNATURES_SPECIALIZATION
 {};
 
 template <class Completions>
@@ -320,7 +320,9 @@ USTDEX_TRIVIAL_API USTDEX_CONSTEVAL auto _checked_complsigs()
     }
     else
     {
-      return invalid_completion_signature<CHECKED(Completions)>();
+      return invalid_completion_signature<
+        A_GET_COMPLETION_SIGNATURES_CUSTOMIZATION_RETURNED_A_TYPE_THAT_IS_NOT_A_COMPLETION_SIGNATURES_SPECIALIZATION,
+        WITH_SIGNATURES(Completions)>();
     }
   }
 }
@@ -344,7 +346,7 @@ inline constexpr bool _has_get_completion_signatures<Sndr, Env> =
   );
 // clang-format on
 
-struct NO_COMPLETIONS
+struct COULD_NOT_DETERMINE_COMPLETION_SIGNATURES_FOR_THIS_SENDER
 {};
 
 template <class Sndr, class... Env>
@@ -369,24 +371,28 @@ USTDEX_TRIVIAL_API USTDEX_CONSTEVAL auto _get_completion_signatures_helper()
   }
   else
   {
-    return invalid_completion_signature<NO_COMPLETIONS(Sndr, Env...)>();
+    return invalid_completion_signature<COULD_NOT_DETERMINE_COMPLETION_SIGNATURES_FOR_THIS_SENDER,
+                                        WITH_SENDER(Sndr),
+                                        WITH_ENVIRONMENT(Env...)>();
   }
 }
 
-template <class Sndr>
-USTDEX_TRIVIAL_API USTDEX_CONSTEVAL auto get_completion_signatures()
-{
-  return ustdex::_get_completion_signatures_helper<Sndr>();
-}
-
-template <class Sndr, class Env>
+template <class Sndr, class... Env>
 USTDEX_TRIVIAL_API USTDEX_CONSTEVAL auto get_completion_signatures()
 {
-  // BUGBUG TODO:
-  // Apply a lazy sender transform if one exists before computing the completion signatures:
-  // using NewSndr = _transform_sender_result_t<_late_domain_of_t<Sndr, Env>, Sndr, Env>;
-  using NewSndr = Sndr;
-  return ustdex::_get_completion_signatures_helper<NewSndr, Env>();
+  static_assert(sizeof...(Env) <= 1, "At most one environment is allowed.");
+  if constexpr (sizeof...(Env) == 0)
+  {
+    return ustdex::_get_completion_signatures_helper<Sndr>();
+  }
+  else
+  {
+    // BUGBUG TODO:
+    // Apply a lazy sender transform if one exists before computing the completion signatures:
+    // using NewSndr = _transform_sender_result_t<_late_domain_of_t<Sndr, Env>, Sndr, Env>;
+    using NewSndr = Sndr;
+    return ustdex::_get_completion_signatures_helper<NewSndr, Env...>();
+  }
 }
 
 // BUGBUG TODO
@@ -399,11 +405,13 @@ constexpr auto get_child_completion_signatures()
   return ustdex::get_completion_signatures<_copy_cvref_t<Parent, Child>, FWD_ENV_T<Env>...>();
 }
 
-// #undef USTDEX_GET_COMPLSIGS
-// #undef USTDEX_CHECKED_COMPLSIGS
+#undef USTDEX_GET_COMPLSIGS
+#undef USTDEX_CHECKED_COMPLSIGS
+
+USTDEX_PRAGMA_POP()
 
 template <class Completions>
-using _partitioned_completions_of = typename Completions::_partitioned;
+using _partitioned_completions_of  = typename Completions::_partitioned;
 
 constexpr int _invalid_disposition = -1;