cat()

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

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

inlineconstexpr

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

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

 
#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";
}

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