traits.hpp File Reference

#include <concepts>
#include <exception>
#include <type_traits>
#include <utility>
#include "../../context.hpp"
#include "../../result.hpp"
#include "../task/traits.hpp"

Include dependency graph for traits.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	yorch::detail::policy_result< Policy, std::void_t< std::invoke_result_t< Policy &, const std::exception_ptr & > > >
struct	yorch::detail::declared_task_raw_result< Task, std::void_t< typename std::remove_cvref_t< Task >::raw_result_type > >
struct	yorch::detail::declared_task_raw_result_matches_invoke_raw< Task, Ctx, Prev, typename >
	Reports whether a task's declared raw_result_type agrees with the concrete return type of invoke_raw(exec_context<Ctx, Prev>&). More...
struct	yorch::detail::declared_task_raw_result_matches_invoke_raw< Task, Ctx, Prev, std::void_t< declared_task_raw_result_t< Task > > >
struct	yorch::detail::catch_failure_task_raw_result_base< Task, typename >
struct	yorch::detail::catch_failure_task_raw_result_base< Task, std::void_t< declared_task_raw_result_t< Task > > >
struct	yorch::detail::catch_failure_with_policy_task_raw_result_base< Task, Policy, typename >
struct	yorch::detail::catch_failure_with_policy_task_raw_result_base< Task, Policy, std::void_t< declared_task_raw_result_t< Task >, policy_result_t< std::remove_cvref_t< Policy > > > >
struct	yorch::detail::retry_task_raw_result_base< Task, typename >
struct	yorch::detail::retry_task_raw_result_base< Task, std::void_t< declared_task_raw_result_t< Task > > >
struct	yorch::detail::catch_policy_supported< R, Policy, typename >
	Trait that reports whether a fallback policy is compatible with raw task result type R. More...
struct	yorch::detail::catch_policy_supported< R, Policy, std::void_t< std::invoke_result_t< Policy &, const std::exception_ptr & > > >

Namespaces
namespace	yorch
namespace	yorch::detail

Typedefs
template<typename Task , typename Ctx , typename Prev >
using	yorch::detail::raw_task_result_t = decltype(std::declval< Task >().invoke_raw(std::declval< exec_context< Ctx, Prev > & >()))
template<typename Policy >
using	yorch::detail::policy_result_t = typename policy_result< Policy >::type
template<typename Task >
using	yorch::detail::declared_task_raw_result_t = typename declared_task_raw_result< Task >::type

Variables
template<typename R >
constexpr bool	yorch::detail::default_catch_supported_v
	Reports whether the default catch_as_failure(task) adapter can synthesize a failure result for raw return type R.
template<typename Task , typename Ctx , typename Prev >
constexpr bool	yorch::detail::declared_task_raw_result_matches_invoke_raw_v
template<typename R , typename Policy >
constexpr bool	yorch::detail::catch_policy_supported_v