utils.hpp

Go to the documentation of this file.

#pragma once
#include <tuple>

namespace reactions::utils {

  template <class T> struct dependent_false : std::false_type {};

  template <class T>
  static constexpr auto dependent_false_v = dependent_false<T>::value;

  namespace detail {
    template <std::size_t I, class Tuple, class E0, class E1>
    struct tuple_index {
      static constexpr auto value =
          tuple_index<I + 1, Tuple, E0,
                      std::tuple_element_t<I + 1, Tuple>>::value;
    };

    template <std::size_t I, class Tuple, class E>
    struct tuple_index<I, Tuple, E, E> {
      static constexpr auto value = I;
    };
  } // namespace detail

  template <class E, class Tuple> struct tuple_index {
    static constexpr auto value =
        detail::tuple_index<0, Tuple, E, std::tuple_element_t<0, Tuple>>::value;
  };

  template <class E, class Tuple>
  static constexpr auto tuple_index_v = tuple_index<E, Tuple>::value;

  template <class Type, template <class...> class Template>
  struct is_template_specialization : std::false_type {};

  template <template <class...> class Template, class... T>
  struct is_template_specialization<Template<T...>, Template> : std::true_type {
  };

  template <class Type, template <class...> class Template>
  static constexpr auto is_template_specialization_v =
      is_template_specialization<Type, Template>::value;
} // namespace reactions::utils