is_indirectly_binary_invocable.hpp

Go to the documentation of this file.

//
//  CeresEngine - A game development framework
//
//  Created by Rogiel Sulzbach.
//  Copyright (c) 2018-2022 Rogiel Sulzbach. All rights reserved.
//
 
#pragma once
 
#include "CeresEngine/Foundation/Traits/is_convertible_to.hpp"
#include "CeresEngine/Foundation/Traits/is_indirectly_readable.hpp"
#include "CeresEngine/Foundation/Traits/iter_value.hpp"
 
#include <type_traits>
 
namespace CeresEngine::traits {
 
    template<class F, class I1, class I2, class = void> struct is_indirectly_binary_invocable : std::false_type {};
 
    template<class F, class I1, class I2>
    struct is_indirectly_binary_invocable<F, I1, I2,
        std::enable_if_t<
            // clang-format off
            is_indirectly_readable_v<I1> &&
            is_indirectly_readable_v<I2> &&
            std::is_copy_constructible_v<F> &&
            std::is_invocable_v<F&, iter_value_t<I1>&, iter_value_t<I2>&>
            // clang-format on
            >> : std::true_type {};
 
    template<class F, class I1, class I2> bool constexpr is_indirectly_binary_invocable_v = is_indirectly_binary_invocable<F, I1, I2>::value;
 
    template<class F, class I1, class I2>
    concept indirectly_binary_invocable = is_indirectly_binary_invocable_v<F, I1, I2>;
 
} // namespace CeresEngine::traits