all_unique()

template<concepts::product_type T>

auto kumi::all_unique ( T && t )

inlinenodiscardconstexpr

Return the product type containing the values of the first occurence of each type in the input product type.

Parameters

t	Product type to process

Returns

A product type built by keeping the first occurrence of every distinct element type in the input product type.

Helper type

namespace kumi
{
  template<product_type T> struct all_unique;
 
  template<product_type T>
  using all_unique_t = typename all_unique<T>::type;
}

Computes the type returned by a call to kumi::all_unique.

Examples:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
    using tuple = kumi::tuple<int, int, char, int, float, float>;
 
    tuple a = {1, 2, 'x', 3, 1.f, 2.f};
 
    std::cout << kumi::all_unique(a) << "\n";
}

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{ 
  using namespace kumi::literals;
 
  auto r = kumi::record{"a"_id = 1, "b"_id = 2, "c"_id = 'x', "d"_id = 3, "e"_id = 1.f, "f"_id = 2.f};
 
  std::cout << kumi::all_unique(r) << "\n";
}