kumi::concepts::equality_comparable Concept Reference

Concept specifying if a type is comparable for each of its components. More...

#include <kumi/utils/concepts.hpp>

Detailed Description

Concept specifying if a type is comparable for each of its components.

A type T models kumi::concepts::equality_comparable<T,U>if it's a kumi::concepts::product_type where each of its elements satisfies kumi::concepts::equality_comparable for all their respective elements.

Concept definition

    template<typename T, typename U>
    concept equality_comparable =
      equivalent<T, U> && ((product_type<T> && product_type<U> && kumi_implementation_defined) ||
                           (record_type<T> && record_type<U> && kumi_implementation_defined))