metaprogramming.hh

Go to the documentation of this file.

 
#ifndef UTOPIA_CORE_COMPILETIME_ALGOS_HH
#define UTOPIA_CORE_COMPILETIME_ALGOS_HH
#include "type_traits.hh"
 
namespace Utopia {
// namespace for implementing tuple for each
namespace _Metaprogramming_helpers {
template<template<typename...> class Metafunc, typename Tuplelike, typename X>
struct apply_impl;
 
template<template<typename...> class Metafunc,
         typename Tuplelike,
         std::size_t... idxs>
struct apply_impl<Metafunc, Tuplelike, std::index_sequence<idxs...>>
{
    // application of metafunction
    using type = typename Metafunc<
      typename std::tuple_element_t<idxs, Tuplelike>...>::type;
};
 
} // namespace _Metaprogramming_helpers
 
namespace Utils {
 
 
template<template<typename...> class Metafunc, typename Tuplelike>
struct apply
{
 
    using type = typename _Metaprogramming_helpers::apply_impl<
      Metafunc,
      std::decay_t<Tuplelike>,
      std::make_index_sequence<std::tuple_size_v<std::decay_t<Tuplelike>>>>::type;
};
 
template<template<typename...> class Metafunc, typename Tuplelike>
using apply_t = typename apply<Metafunc, Tuplelike>::type;
 
 
} // namespace Utils
} // namespace Utopia
#endif