cartesian_product()

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

auto kumi::cartesian_product ( Ts &&... ts )

inlinenodiscardconstexpr

Return the Cartesian Product of all elements of its arguments product types.

Parameters

ts	Product types to process

Returns

A tuple containing all the product types built from all combination of all ts' elements

Helper type

namespace kumi
{
  template<product_type... Ts> struct cartesian_product;
 
  template<product_type... Ts>
  using cartesian_product_t = typename cartesian_product<Ts...>::type;
}

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

Examples:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  auto status = kumi::tuple{true, false};
  auto id     = kumi::tuple{'a','b','c'};
  auto value  = kumi::tuple{1.0,2.1,4.2,8.4};
 
  auto r = kumi::cartesian_product( status, id, value );
 
  kumi::for_each_index( [](auto i, auto e)
                        {
                          std::cout << "# "  << i
                                    << ":"  << std::boolalpha
                                    << e    << "\n";
                        }
                      , r
                      );
}

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  using namespace kumi::literals;
 
  auto status = kumi::record{"a"_id = true, "b"_id = false};
  auto id     = kumi::record{"aa"_id = 'a', "bb"_id = 'b', "cc"_id = 'c'};
  auto value  = kumi::record{"aaa"_id = 1.0,"bbb"_id = 2.1, "ccc"_id = 4.2, "d"_id = 8.4};
 
  auto r = kumi::cartesian_product( status, id, value );
 
  kumi::for_each_index( [](auto i, auto e)
                        {
                          std::cout << "# "  << i
                                    << ":"  << std::boolalpha
                                    << e    << "\n";
                        }
                      , r
                      );
}