cat()

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

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

inlinenodiscardconstexpr

Concatenates product types in a single one.

Parameters

ts	Product types to concatenate

Returns

A product type made of all element of all input product types in order.

Note

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

See also

concepts::follows_same_semantic

Helper type

namespace kumi::result
{
  template<product_type... Ts> struct cat;
 
  template<product_type... Ts>
  using cat_t = typename cat<Ts...>::type;
}

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

Examples:

Tuple:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  kumi::tuple a = { 1, 2.3, 4.5f};
  kumi::tuple b = {  '6' };
  kumi::tuple c = { "7", short{89} };
 
  auto abc = cat(a,b,c);
 
  std::cout << a << " " << b << " " << c << "\n";
  std::cout << abc << "\n";
}

Record:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  using namespace kumi::literals;
 
  kumi::record a = { "r"_id = 1,"g"_id = 2.3, "b"_id = 4.5f};
  kumi::record b = { "x"_id = '6' };
  kumi::record c = { "y"_id = "7", "z"_id = short{89} };
 
  auto abc = cat(a,b,c);
 
  std::cout << a << " " << b << " " << c << "\n";
  std::cout << abc << "\n";
}