concepts.hpp

Go to the documentation of this file.

#pragma once
 
#include <concepts> // IWYU pragma: keep
#include <type_traits> // IWYU pragma: keep
#include <utility>
 
#include "../context.hpp"
#include "../slots/direct_out.hpp"
#include "../task_adapters/concepts.hpp" // IWYU pragma: keep
 
namespace yorch {
 
template <typename Task, typename Ctx, typename Prev = no_prev>
concept executable_task =
    requires(Task&& task, exec_context<Ctx, Prev>& ec) {
        std::forward<Task>(task).invoke_raw(ec);
    } &&
    detail::declared_task_raw_result_matches_invoke_raw_v<Task, Ctx, Prev> &&
    requires(Task&& task, exec_context<Ctx, Prev>& ec) {
        requires noexcept(std::forward<Task>(task).invoke_raw(ec));
    };
 
template <typename Task, typename Ctx, typename Prev = no_prev>
concept executable_direct_output_task =
    direct_output_task<Task, Ctx, Prev> &&
    requires(
        Task&& task,
        exec_context<Ctx, Prev>& ec,
        detail::typed_slot<detail::declared_task_output_t<Task>>& slot) {
        {
            std::forward<Task>(task).invoke_into(
                ec,
                direct_out<detail::declared_task_output_t<Task>> {slot})
        } -> std::same_as<step_result>;
        requires noexcept(std::forward<Task>(task).invoke_into(
            ec,
            direct_out<detail::declared_task_output_t<Task>> {slot}));
    };
 
}  // namespace yorch