Morpheus_Metaprogramming.hpp

 
#ifndef MORPHEUS_METAPROGRAMMING_HPP
#define MORPHEUS_METAPROGRAMMING_HPP
 
#include <impl/Morpheus_Metaprogramming.hpp>
 
#include <tuple>
 
namespace Morpheus {
 
template <typename... Ts>
struct TypeList {
  using type = TypeList<Ts...>;
};
 
template <typename... Ts>
struct Set {
  using type = Set<Ts...>;
};
 
template <class... Ts>
struct IndexedTypeList {
  template <std::size_t N>
  using type = typename std::tuple_element<N, std::tuple<Ts...>>::type;
};
 
template <typename... Head_>
struct TypeList<Set<Head_...>> {
  using Head = Set<Head_...>;
  using Tail = void;
};
template <typename... Head_, typename... Tail_>
struct TypeList<Set<Head_...>, Tail_...> {
  using Head = Set<Head_...>;
  using Tail = TypeList<Tail_...>;
};
 
template <typename... Ts, typename... Us>
struct concat<TypeList<Ts...>, TypeList<Us...>> {
  using type = typename Impl::concat<TypeList<Ts...>, TypeList<Us...>>::type;
};
 
template <typename... Ts, typename... Us>
struct cross_product<TypeList<Ts...>, TypeList<Us...>> {
  using type =
      typename Impl::cross_product<TypeList<Ts...>, TypeList<Us...>>::type;
};
}  // namespace Morpheus
 
#endif  // MORPHEUS_METAPROGRAMMING_HPP