tuple_elements.h

Go to the documentation of this file.

#include "di/meta/algorithm.h"
#include "di/meta/constexpr.h"
#include "di/types/prelude.h"
#include "di/vocab/tuple/tuple_element.h"
#include "di/vocab/tuple/tuple_like.h"
 
namespace di::meta {
namespace detail {
    template<typename...>
    struct GetElementHelper;
 
    template<typename Tup, usize index>
    struct GetElementHelper<Tup, Constexpr<index>> : TypeConstant<TupleElement<Tup, index>> {};
 
    template<concepts::TupleLike Tup>
    struct GetElement {
        template<typename... Args>
        using Invoke = meta::Type<GetElementHelper<Tup, Args...>>;
    };
}
 
template<concepts::TupleLike Tup>
using TupleElements =
    meta::Transform<meta::AsList<meta::MakeIndexSequence<meta::TupleSize<Tup>>>, detail::GetElement<Tup>>;
}