into_status_code.h

Go to the documentation of this file.

#pragma once
 
#include "di/function/tag_invoke.h"
#include "di/vocab/error/concepts/status_code.h"
 
namespace di::vocab {
namespace detail {
    struct IntoStatusCodeFunction {
        template<typename... Args>
        requires(concepts::TagInvocable<IntoStatusCodeFunction, Args...>)
        constexpr auto operator()(Args&&... args) const -> concepts::StatusCode decltype(auto) {
            return function::tag_invoke(*this, util::forward<Args>(args)...);
        }
 
        template<typename T, typename... Args>
        requires(requires(T&& value, Args&&... args) {
            di::forward<T>(value).into_status_code(di::forward<Args>(args)...);
        })
        constexpr auto operator()(T&& value, Args&&... args) const -> concepts::StatusCode decltype(auto) {
            return di::forward<T>(value).into_status_code(di::forward<Args>(args)...);
        }
    };
}
 
constexpr inline auto into_status_code = detail::IntoStatusCodeFunction {};
}
 
namespace di::concepts {
template<typename... Args>
concept ConvertibleToAnyStatusCode =
    requires(Args&&... args) { vocab::into_status_code(util::forward<Args>(args)...); };
 
template<typename Result, typename... Args>
concept ConvertibleToStatusCode =
    requires(Args&&... args) { Result(vocab::into_status_code(util::forward<Args>(args)...)); };
}
 
namespace di {
using vocab::into_status_code;
}