inclusive_scan_right() [2/2]

template<concepts::monoid M, concepts::sized_product_type_or_more< 1 > T>

auto kumi::inclusive_scan_right ( M && m, T && t )

inlinenodiscardconstexpr

Computes the inclusive suffix scan of all elements of a product type using a non-tail recursive call.

Note

The first stored value is the result of the application of the monoid to it's identity and the last element of the product_type.

Parameters

m	Monoid callable function to apply
t	Product type to operate on

Returns

A tuple of suffix partial accumulations where each element 'I' equals m(get<0>(t), m(... , m(get<N-2>(t), get<N-1>(t)))

Helper type

namespace kumi::result
{
  template<typename Function, product_type Tuple> struct inclusive_scan_right;
 
  template<typename Function, product_type Tuple>
  using inclusive_scan_right_t = typename inclusive_scan_right<Function,Tuple>::type;
}

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

Examples:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  auto t = kumi::tuple{2.,1,short{55},'z'};
 
  auto output = kumi::inclusive_scan_right( [](auto elt, auto acc) 
                  { 
                    return acc + sizeof(elt); 
                  }
                  , t
                  , std::size_t{42}                
                );
 
  std::cout << output << "\n"; 
 
  auto u = kumi::tuple{1,3,2,4,0,5,9,6,7};
 
  std::cout << kumi::inclusive_scan_right(kumi::function::plus, u) << "\n";
}

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  using namespace kumi::literals;
  auto r = kumi::record{"a"_id = 2.,"b"_id = 1,"c"_id = short{55},"d"_id = 'z'};
 
  auto output = kumi::inclusive_scan_right( [](auto elt, auto acc) 
                  { 
                    return acc + sizeof(elt); 
                  }
                  , r
                  , std::size_t{42}                
                );
 
  std::cout << output << "\n"; 
 
  auto u = kumi::record{"a"_id = 1,"b"_id = 3,"c"_id = 2,"d"_id = 4, "e"_id = 0
                      , "f"_id = 5,"g"_id = 9,"h"_id = 6,"i"_id = 7};
 
  std::cout << kumi::inclusive_scan_right(kumi::function::plus, u) << "\n";
}