flat_map.hpp

//                  ReactivePlusPlus library
//
//          Copyright Aleksey Loginov 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>              // constraint::observable
#include <rpp/observables/details/member_overload.hpp>  // member_overload
#include <rpp/utils/function_traits.hpp>                // decayed_invoke_result_t
 
namespace rpp::details
{
struct flat_map_tag;
}
 
namespace rpp::details
{
template<typename Fn, typename Type>
concept flat_map_callable = std::invocable<Fn, Type> && constraint::observable<utils::decayed_invoke_result_t<Fn, Type>>;
 
template<constraint::decayed_type Type, flat_map_callable<Type> Callable>
auto flat_map_impl(auto&& observable, Callable&& callable);
 
template<constraint::decayed_type Type, typename SpecificObservable>
struct member_overload<Type, SpecificObservable, flat_map_tag>
{
    template<flat_map_callable<Type> Callable>
    auto flat_map(Callable&& callable) const & requires is_header_included<flat_map_tag, Callable>
    {
        return flat_map_impl<Type>(*static_cast<const SpecificObservable*>(this), std::forward<Callable>(callable));
    }
 
    template<flat_map_callable<Type> Callable>
    auto flat_map(Callable&& callable) && requires is_header_included<flat_map_tag, Callable>
    {
        return flat_map_impl<Type>(std::move(*static_cast<SpecificObservable*>(this)), std::forward<Callable>(callable));
    }
};
} // namespace rpp::details