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

Checks if a two product types are equivalent. More...

#include <kumi/utils/traits.hpp>

Detailed Description

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

Checks if a two product types are equivalent.

Two product types are considered equivalent in the following case : if the two product types are concepts::record_type they need to both have the same fields, potentially in a different order. If one of the two or both are simply product_types, they are considered equivalent if their size match.

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_equivalent_t
      = typename is_equivalent<std::make_index_sequence<size_v<T>>, T, U>::type;
}

Helper value

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