domain.hpp

Go to the documentation of this file.

#ifndef KOKKOS_EXECUTION_TESTS_UTILS_DOMAIN_HPP
#define KOKKOS_EXECUTION_TESTS_UTILS_DOMAIN_HPP
 
#include "kokkos-execution/stdexec.hpp"
 
#include "tests/utils/functors/no_op.hpp"
 
namespace Tests::Utils {
 
struct DomainInheritingFromDefault : public stdexec::default_domain { };

template <typename DomainType>
consteval bool check_if_common_domain_is_default() {
    return std::same_as<stdexec::__common_domain_t<DomainType, stdexec::default_domain>, stdexec::default_domain>
        && std::same_as<stdexec::__common_domain_t<DomainType, DomainInheritingFromDefault>, stdexec::default_domain>;
}

template <typename DomainType, typename Tag, stdexec::sender ScheduleSenderType, typename... Args>
consteval bool check_if_domain_has_transform_sender_for() {
    using functor_t = Tests::Utils::Functors::NoOp<false, false, false>;
    using sndr_t = std::invoke_result_t<Tag, ScheduleSenderType, Args..., functor_t>;
 
    return stdexec::__detail::__has_transform_sender<DomainType, stdexec::set_value_t, sndr_t, stdexec::env<>>;
}

template <typename DomainType, typename Tag, stdexec::sender ScheduleSenderType, typename... Args>
consteval bool check_if_default_domain_like_for() {
    using functor_t = Tests::Utils::Functors::NoOp<false, false, false>;
    using sndr_t = std::invoke_result_t<Tag, ScheduleSenderType, Args..., functor_t>;
 
    return stdexec::__default_domain_like<DomainType, stdexec::set_value_t, sndr_t, stdexec::env<>>;
}
 
} // namespace Tests::Utils
 
#endif // KOKKOS_EXECUTION_TESTS_UTILS_DOMAIN_HPP