kumi v3.1.0
Exquisite Epidote
 
Loading...
Searching...
No Matches

◆ map_index()

template<product_type Tuple, typename Function , sized_product_type< size< Tuple >::value >... Tuples>
constexpr auto kumi::map_index ( Function  f,
Tuple &&  t0,
Tuples &&...  others 
)
constexpr

Apply the Callable object f on each tuples' elements and their indexes.

Applies the given function to all the tuples passed as arguments along with their indexes and stores the result in another tuple, keeping the original elements order.

Note
Does not participate in overload resolution if tuples' size are not equal or if f can't be called on each tuple's elements and their indexes.
Parameters
fCallable function to apply
t0Tuple to operate on
othersTuples to operate on
Returns
The tuple of f calls results.

Helper type

namespace kumi::result
{
template<typename Function, product_type T, product_type... Ts> struct map_index;
template<typename Function, product_type T, product_type... Ts>
using map_index_t = typename map_index<Function,Tuple>::type;
}
Concept specifying a type follows the Product Type semantic.
Definition: concepts.hpp:33
constexpr auto map_index(Function f, Tuple &&t0, Tuples &&...others)
Apply the Callable object f on each tuples' elements and their indexes.
Definition: map.hpp:112

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

Example

#include <kumi/tuple.hpp>
#include <iostream>
int main()
{
auto lhs = kumi::tuple{1,2,3};
auto rhs = kumi::tuple{2.4,4.6,6.8};
auto r = kumi::map_index( [](auto i, auto l, auto r) { return 1000*(i+1)+(l*r); }
, lhs, rhs
);
std::cout << r << "\n";
}
Fixed-size collection of heterogeneous values.
Definition: tuple.hpp:35