all_unique

all_unique_t kumi::all_unique {}

inlineconstexprnodiscard

Callable object returning a product type containing the values of the first occurence of each type in t.

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

Header file

#include <kumi/algorithm/unique.hpp>

Call Signature

template<product_type T>
constexpr auto all_unique(T && t);

Parameters

• t: Product Type to process

Return value

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

Helper type

    template<kumi::concepts::product_type T> struct all_unique
    {
      using type = decltype(kumi::all_unique(std::declval<T>()));
    };
 
    template<kumi::concepts::product_type T> using all_unique_t = typename kumi::result::all_unique<T>::type;

Computes the return type of 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";
}