kumi::concepts::named_equality_comparable Concept Reference

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

#include <kumi/utils/concepts.hpp>

Detailed Description

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

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

Concept definition

    template<typename T, typename U>
    concept named_equality_comparable = equivalent<T, U> && kumi_implementation_defined