on_error_resume_next.hpp

//                   ReactivePlusPlus library
//
//           Copyright Aleksey Loginov 2022 - present.
//                             TC Wang 2022 - present.
//  Distributed under the Boost Software License, Version 1.0.
//     (See accompanying file LICENSE_1_0.txt or copy at
//           https://www.boost.org/LICENSE_1_0.txt)
//
//  Project home: https://github.com/victimsnino/ReactivePlusPlus
 
#pragma once
 
#include <rpp/observables/constraints.hpp>
#include <rpp/observables/details/member_overload.hpp>
#include <rpp/utils/exceptions.hpp>
#include <rpp/utils/function_traits.hpp>
 
#include <exception>
 
namespace rpp::details
{
struct on_error_resume_next_tag;
}
 
namespace rpp::details
{
 
template<typename Fn>
concept resume_callable = std::invocable<Fn, std::exception_ptr> && constraint::observable<utils::decayed_invoke_result_t<Fn, std::exception_ptr>>;
 
template<constraint::decayed_type Type, rpp::details::resume_callable ResumeCallable>
struct on_error_resume_next_impl;
 
template<constraint::decayed_type Type, typename SpecificObservable>
struct member_overload<Type, SpecificObservable, on_error_resume_next_tag>
{
 
    template<rpp::details::resume_callable ResumeCallable>
    auto on_error_resume_next(ResumeCallable&& resume_callable) const& requires is_header_included<on_error_resume_next_tag, ResumeCallable>
    {
        return cast_this()->template lift<Type>(on_error_resume_next_impl<Type, std::decay_t<ResumeCallable>>{std::forward<ResumeCallable>(resume_callable)});
    }
 
    template<rpp::details::resume_callable ResumeCallable>
    auto on_error_resume_next(ResumeCallable&& resume_callable) && requires is_header_included<on_error_resume_next_tag, ResumeCallable>
    {
        return move_this().template lift<Type>(on_error_resume_next_impl<Type, std::decay_t<ResumeCallable>>{std::forward<ResumeCallable>(resume_callable)});
    }
 
private:
    const SpecificObservable* cast_this() const
    {
        return static_cast<const SpecificObservable*>(this);
    }
 
    SpecificObservable&& move_this()
    {
        return std::move(*static_cast<SpecificObservable*>(this));
    }
};
 
} // namespace rpp::details