cat

cat_t kumi::cat {}

inlineconstexprnodiscard

Callable object concatenating multiple product types into a single one.

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

Header file

#include <kumi/algorithm/cat.hpp>

Call Signature

template<product_type... Ts>
constexpr decltype(auto) cat(Ts... && t);

Parameters

• ts: Product types to concatenate

Return value

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

Helper type

    template<kumi::concepts::product_type... Ts> struct cat
    {
      using type = decltype(kumi::cat(std::declval<Ts>()...));
    };
 
    template<concepts::product_type... Ts> using cat_t = typename kumi::result::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 = kumi::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 = kumi::cat(a,b,c);
   
    std::cout << a << " " << b << " " << c << "\n";
    std::cout << abc << "\n";
  }