kumi::is_equality_comparable< Seq, T, U > Struct Template Reference

Checks if a two product types are comparable for equality. More...

#include <kumi/utils/traits.hpp>

Detailed Description

template<typename Seq, typename T, typename U>
struct kumi::is_equality_comparable< Seq, T, U >

Checks if a two product types are comparable for equality.

Two product types are comparable for equality uf eacg field in T have a corresponding field in U with each of their underlying types being comparable (the == operator can be used betewen them).

Template Parameters

Seq	The Index sequence sized on the size of the input product types
T	The reference product type to access
U	the product type to check

Helper type

namespace kumi
{
  template<typename T, typename U> is_equality_comparable_t
      = typename is_equality_comparable<std::make_index_sequence<size_v<T>>, T, U>::type;
}

Helper value

namespace kumi
{
  template<typename T, typename U> using is_equality_comparable_v = is_equivalent_t<T,U>::value;
}