type_set_eq.hpp

Go to the documentation of this file.

 
 
#ifndef UTIL_META_TYPE_SET_EQ_HPP_
#define UTIL_META_TYPE_SET_EQ_HPP_
 
#include "contains.hpp"
 
namespace util::meta
{
    template <typename, typename>
    struct _type_set_eq : public std::false_type {};
 
    // clang-format off
 
    template <typename T1, typename... Ts1, typename... Ts2>
    struct _type_set_eq<std::tuple<T1, Ts1...>, std::tuple<Ts2...>>: public
        std::conditional_t<
            // If
            util::meta::contains<T1, Ts2...> &&
            ((sizeof...(Ts1) == 0) || _type_set_eq<std::tuple<Ts1...>, std::tuple<Ts2...>>::value),
            // Then
            std::true_type,
            // Else
            std::false_type
        > {
    };
 
    template <>
    struct _type_set_eq<std::tuple<>, std::tuple<>> : public std::true_type {
    };
 
    // clang-format on
 
    template <typename, typename>
    struct type_set_eq : public std::false_type {};
 
    // clang-format off
 
    template <typename... Ts1, typename... Ts2>
    struct type_set_eq<std::tuple<Ts1...>, std::tuple<Ts2...>> : public 
        std::conditional_t< 
        // If
        (sizeof...(Ts1) == sizeof...(Ts2)) && 
        _type_set_eq<std::tuple<Ts1...>, std::tuple<Ts2...>>::value,
        // Then
        std::true_type, 
        // Else
        std::false_type > {
    };
    // clang-format on
 
    template <typename Ts1, typename Ts2>
    inline bool constexpr type_set_eq_v = type_set_eq<Ts1, Ts2>::value;
} // namespace util::meta
 
#endif /* !UTIL_META_TYPE_SET_EQ_HPP_ */