yorch::executable_task Concept Reference

Describes the main execution protocol accepted by run_task(...). More...

#include <concepts.hpp>

Concept definition

template<typename Task, typename Ctx, typename Prev no_prev>
concept yorch::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));
    }

Detailed Description

Describes the main execution protocol accepted by run_task(...).

A task is executable on the main path only when it exposes invoke_raw(exec_context<...>&) and that call is itself noexcept. Throwing tasks are intentionally excluded from this concept; they must be adapted first, for example with catch_as_failure(...), before they can be handed to the executor.

Template Parameters

Task	Task object type.
Ctx	Context schema.
Prev	Direct-parent slot view type.

Definition at line 27 of file concepts.hpp.