kumi::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::equality_comparable<T,U>if it's a product type where each of its elements satisfies kumi::equality_comparable for all their respective elements.

Concept definition

template<typename T, typename U>
concept kumi::equality_comparable =  ( size_v<std::remove_cvref_t<T>> == size_v<std::remove_cvref_t<U>>) 
                                && _::check_equality<std::remove_cvref_t<T>,std::remove_cvref_t<U>>()