stdexec.hpp

Go to the documentation of this file.

#ifndef KOKKOS_EXECUTION_TESTS_UTILS_STDEXEC_HPP
#define KOKKOS_EXECUTION_TESTS_UTILS_STDEXEC_HPP
 
#include <concepts>
 
#include "kokkos-execution/stdexec.hpp"
 
namespace Tests::Utils {

template <typename... Args>
using basic_sender_t = typename stdexec::__basic_sender<Args...>::type;
 
template <typename Sndr, typename Signatures, typename... Env>
concept has_completion_signatures = stdexec::__mset_eq<Signatures, stdexec::__completion_signatures_of_t<Sndr, Env...>>;
 
template <typename Sndr, typename Tag, typename... Env>
concept has_completion_scheduler_for =
    std::invocable<stdexec::get_completion_scheduler_t<Tag>, stdexec::env_of_t<Sndr>, Env...>;

template <typename OpState>
concept operation_state = stdexec::operation_state<OpState> && requires(OpState& opstate) {
    { opstate.start() } noexcept -> std::same_as<void>;
};

template <typename DomainOrTag, typename... Args>
concept has_nothrow_apply_sender = requires(DomainOrTag domain_or_tag, Args&&... args) {
    { domain_or_tag.apply_sender(std::forward<Args>(args)...) } noexcept;
};
 
} // namespace Tests::Utils
 
#endif // KOKKOS_EXECUTION_TESTS_UTILS_STDEXEC_HPP