cat()

template<concepts::product_type... Ts>
requires (concepts::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()
{
  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";
}