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 t.

Parameters

t	Product type to process

Returns

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

On record types, this function operates on the underlying values, not on the fields themselves.

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:

Tuple:

#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";
}

Record:

#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";
}