kumi::map_traits< Traits, T, Seq > Struct Template Reference

Applies a unary meta-function to each element of a product type. More...

Detailed Description

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

Applies a unary meta-function to each element of a product type.

map_traits transforms a product type by applying a given meta-function Traits to every element type individually. The result is a new product type containing the transformed types.

Template Parameters

Traits	Unary meta-function to apply to each element.
T	The product type to transform.

Helper type

namespace kumi
{
  template<template<typename...> typename Traits, typename T>
  using map_traits_t = typename map_traits<Traits, T>::type;
}

Example

using my_tuple = kumi::tuple<int, double, char>;
 
// Result: kumi::tuple<int*, double*, char*>
using ptr_tuple = kumi::map_traits_t<std::add_pointer, my_tuple>;