kumi::apply_traits< Traits, Tuple, Seq > Struct Template Reference

Unpacks a product type and applies its element types as arguments to a meta-function. More...

Detailed Description

template<template< typename... > typename Traits, typename Tuple, typename Seq = std::make_index_sequence<size_v<Tuple>>>
requires is_product_type_v<std::remove_cvref_t<Tuple>>
struct kumi::apply_traits< Traits, Tuple, Seq >

Unpacks a product type and applies its element types as arguments to a meta-function.

apply_traits takes a template meta-function (a template template parameter) and a product type. It expands the types contained within the product type and passes them as a parameter pack to the provided Traits.

Template Parameters

Traits	Meta-function to be applied.
Tuple	The product type whose elements will be unpacked.

Helper type

namespace kumi
{
  template<template<typename...> typename Traits, typename Tuple>
  using apply_traits_t = typename apply_traits<Traits, Tuple>::type;
}

Example

using my_tuple = kumi::tuple<int, float, char>;
 
// Equivalent to std::common_type<int, float, char>::type
using common = kumi::apply_traits_t<std::common_type, my_tuple>;