zip_min()

template<concepts::product_type T0, concepts::product_type... Ts>
requires (concepts::follows_same_semantic<T0, Ts...>)

auto kumi::zip_min ( T0 && t0, Ts &&... ts )

inlinenodiscardconstexpr

Constructs a tuple where the ith element is the product type of all ith elements of t0,ts...

On record types, this function operates on elements as if they were ordered. The considered order is the order of declaration.

Note

This function does not take part in overload resolution if the product types do not follow the same semantic.

See also

follows_same_semantic

Parameters

t0	Product type to convert
ts	Product types to convert

Returns

The tuple of all combination of elements from t0, ts...

Note

zip_min truncates product types based on the smallest size.

Helper type

namespace kumi::result
{
  template<product_type T> struct zip_min;
 
  template<product_type T>
  using zip_min_t = typename zip<T>::type;
}

Computes the return type of a call to kumi::zip_min

See also

zip

zip_max

Examples:

Tuple:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  auto nbrs  = kumi::tuple{1,2,3,4,5,6};
  auto ltrs  = kumi::tuple{'a','b','c'};
  auto ratio = kumi::tuple{0.1,0.01,0.001,0.0001};
 
  auto r = kumi::zip_min( nbrs, ltrs, ratio );
  std::cout << r << "\n";
}

Record:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  using namespace kumi::literals;
  auto nbrs  = kumi::record{"a"_id = 1,"b"_id = 2,"c"_id = 3,"d"_id = 4,"e"_id = 5,"f"_id = 6};
  auto ltrs  = kumi::record{"aa"_id = 'a',"bb"_id = 'b',"cc"_id = 'c'};
  auto ratio = kumi::record{"aaa"_id = 0.1,"bbb"_id = 0.01,"ccc"_id = 0.001,"ddd"_id = 0.0001};
 
  auto r = kumi::zip_min( nbrs, ltrs, ratio );
  std::cout << r << "\n";
}