kumi::named_equality_comparable Concept Reference

Concept specifying if two product types are comparable by matching name. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if two product types are comparable by matching name.

A type T models kumi::named_equality_comparable<T,U> if it's a product_type that satisfies kumi::equivalent<T,U> and if each of its fields satisfies kumi::equality_comparable with the corresponding field in U

Concept definition

template<typename T, typename U>
concept kumi::named_equality_comparable =  equivalent<T,U> 
  && _::check_named_equality<std::remove_cvref_t<T>,std::remove_cvref_t<U>>()