all_of() [2/2]

template<typename Pred, concepts::product_type T>

auto kumi::all_of ( T && t, Pred p )

inlinenodiscardconstexprnoexcept

Checks if a unary predicate p returns true for every element of t.

Parameters

t	Product Type to process.
p	Unary predicate.

Returns

The evaluation of p(get<0>(t)) && ... && p(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";
}