flatten_all()

template<concepts::product_type T, typename Func>

auto kumi::flatten_all ( T && t, Func f )

inlinenodiscardconstexpr

Recursively converts a product type of product types into a product type of all elements.

Recursively converts a product type of product types t into a product type of all elements of said product types.

If the Callable object f is provided, non-product type elements are processed by f before being inserted.

On record types, the names of the outer record are concatenated to the inner ones ultimately constructing names such as "outer.inner". If the input is a product type containing record types or vice versa only the inner types matching the outer semantic will be flattened. Thus a record inside a tuple will not be flattened.

Parameters

t	Product type to flatten
f	Optional Callable object to apply when a sub-tuple is flattened

Returns

A product type composed of all elements of t flattened recursively

Helper type

namespace kumi::result
{
  template<product_type T, typename Func = void> struct flatten_all;
 
  template<product_type T, typename Func = void>
  using flatten_all_t = typename flatten_all<T, Func>::type;
}

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

Examples:

Tuple:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  auto nbrs      = kumi::tuple{1,2ULL,3};
  auto more_nbrs = kumi::tuple{short{0},nbrs,4.};
  auto ltrs      = kumi::tuple{'a','b','c'};
 
  auto r = kumi::flatten_all( kumi::tuple{3.5,nbrs,'z',more_nbrs,5.35f,ltrs} );
  std::cout << r << "\n";
 
  auto sz = kumi::flatten_all ( kumi::tuple{3.5,nbrs,'z',more_nbrs,5.35f,ltrs}
                              , [](auto e) { return sizeof(e); }
                              );
  std::cout << sz << "\n";
}

Record:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  using namespace kumi::literals;
  auto nbrs      = kumi::record{"f"_id = 1,"s"_id = 2ULL,"t"_id = 3};
  auto more_nbrs = kumi::record{"z"_id = short{0},"n"_id = nbrs,"l"_id = 4.};
  auto ltrs      = kumi::record{"alpha"_id = 'a',"beta"_id = 'b', "gamma"_id = 'c'};
 
  auto r = kumi::flatten_all( kumi::record{"a"_id = 3.5,"b"_id = nbrs,"c"_id = 'z'
                                          ,"d"_id = more_nbrs,"e"_id = 5.35f,"f"_id = ltrs} );
  std::cout << r << "\n";
 
  auto sz = kumi::flatten_all (kumi::record{"a"_id = 3.5,"b"_id = nbrs,"c"_id = 'z'
                                          ,"d"_id = more_nbrs,"e"_id = 5.35f,"f"_id = ltrs}
                              , [](auto e) { return sizeof(e); }
                              );
  std::cout << sz << "\n";
}