start_with.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/memory_model.hpp>
#include <rpp/observables/constraints.hpp>
#include <rpp/observables/details/member_overload.hpp>
 
namespace rpp::details
{
struct start_with_tag;
}
 
namespace rpp::details
{
template<constraint::decayed_type Type, constraint::observable_of_type<Type> TObservable, constraint::observable_of_type<Type> ...TObservables>
auto start_with_impl(TObservable&& observable, TObservables&&... observables_to_start_with);
 
template<rpp::memory_model memory_model, constraint::decayed_type Type, constraint::decayed_same_as<Type> ...TTypes, constraint::observable_of_type<Type> TObservable>
auto start_with_impl(TObservable&& observable, TTypes&& ...vals_to_start_with);
 
template<constraint::decayed_type Type, typename SpecificObservable>
struct member_overload<Type, SpecificObservable, start_with_tag>
{
    template<rpp::memory_model memory_model = memory_model::use_stack, constraint::decayed_same_as<Type> ...TTypes>
    auto start_with(TTypes&&...vals_to_start_with) const & requires is_header_included<start_with_tag, TTypes...>
    {
        return start_with_impl<memory_model, Type>(*static_cast<const SpecificObservable*>(this), std::forward<TTypes>(vals_to_start_with)...);
    }
 
    template<rpp::memory_model memory_model = memory_model::use_stack, constraint::decayed_same_as<Type> ...TTypes>
    auto start_with(TTypes&&...vals_to_start_with) && requires (is_header_included<start_with_tag, TTypes...>&& constraint::variadic_is_same_type<Type, TTypes...>)
    {
        return  start_with_impl<memory_model, Type>(std::move(*static_cast<SpecificObservable*>(this)), std::forward<TTypes>(vals_to_start_with)...);
    }
 
    template<constraint::observable_of_type<Type> ...TObservables>
    auto start_with(TObservables&&...observables_to_start_with) const& requires is_header_included<start_with_tag, TObservables...>
    {
        return start_with_impl<Type>(*static_cast<const SpecificObservable*>(this), std::forward<TObservables>(observables_to_start_with)...);
    }
 
    template<constraint::observable_of_type<Type> ...TObservables>
    auto start_with(TObservables&&...observables_to_start_with) && requires is_header_included<start_with_tag, TObservables...>
    {
        return start_with_impl<Type>(std::move(*static_cast<SpecificObservable*>(this)), std::forward<TObservables>(observables_to_start_with)...);
    }
};
} // namespace rpp::details