type_traits.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <type_traits>
 
namespace iganet {
namespace utils {
 
template <class T> struct is_tuple : std::false_type {};
 
template <class... Ts> struct is_tuple<std::tuple<Ts...>> : std::true_type {};
 
template <class T> inline constexpr bool is_tuple_v = is_tuple<T>::value;
 
template <class T> struct is_tuple_of_tuples : std::false_type {};
 
template <class... Ts>
struct is_tuple_of_tuples<std::tuple<Ts...>>
    : std::common_type<is_tuple<Ts>...>::type {};
 
template <class T>
using is_tuple_of_tuples_t = typename is_tuple_of_tuples<T>::type;
 
template <class T>
inline constexpr auto is_tuple_of_tuples_v = is_tuple_of_tuples<T>::value;
 
template <typename... Tuples> struct tuple_cat;
 
template <> struct tuple_cat<> {
  using type = std::tuple<>;
};
 
template <typename... Ts, typename... Tuples>
struct tuple_cat<std::tuple<Ts...>, Tuples...> {
  using type = decltype(std::tuple_cat(
      std::declval<std::tuple<Ts...>>(),
      std::declval<typename tuple_cat<Tuples...>::type>()));
};
 
template <typename T, typename... Tuples> struct tuple_cat<T, Tuples...> {
  using type = decltype(std::tuple_cat(
      std::declval<std::tuple<T>>(),
      std::declval<typename tuple_cat<Tuples...>::type>()));
};
 
template <typename... Tuples>
using tuple_cat_t = typename tuple_cat<Tuples...>::type;
 
template <typename... Tuples>
inline constexpr auto tuple_cat_v = tuple_cat<Tuples...>::value;
 
} // namespace utils
} // namespace iganet