any_of() [1/2]

template<concepts::product_type T>

auto kumi::any_of ( T && t )

inlinenodiscardconstexprnoexcept

Computes the reduction of a product type over the || operator.

Parameters

t	Product type to process.

Returns

The evaluation of get<0>(t) || ... || get<N-1>(t) where N is the size of t.

On a record type, the function operates on the underlying elements of the fields.

Examples:

Tuple:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  auto t = kumi::tuple{1,2.,3.f};
  std::cout << std::boolalpha << kumi::all_of( t, [](auto e) { return e < 5; }) << "\n";
 
  auto u = kumi::tuple{true,false,true,false};
  std::cout << std::boolalpha << kumi::all_of(u) << "\n";
}

Record:

#include <kumi/kumi.hpp>
#include <iostream>
 
int main()
{
  using namespace kumi::literals;
  auto t = kumi::record{"a"_id = 1,"b"_id = 2.,"c"_id = 3.f};
  std::cout << std::boolalpha << kumi::all_of( t, [](auto e) { return e < 5; }) << "\n";
 
  auto u = kumi::record{"a"_id = true,"b"_id = false,"c"_id = true, "d"_id = false};
  std::cout << std::boolalpha << kumi::all_of(u) << "\n";
}