mimicpp::util::weakly_equality_comparable_with Concept Reference

Determines, whether T can be equality compared with U. More...

#include <Concepts.hpp>

Concept definition

template<typename T, typename U>
concept mimicpp::util::weakly_equality_comparable_with = 
        requires(std::remove_reference_t<T> const& t, std::remove_reference_t<U> const& u) {
            { t == u } -> boolean_testable;
            { t != u } -> boolean_testable;
            { u == t } -> boolean_testable;
            { u != t } -> boolean_testable;
        }

Detailed Description

Determines, whether T can be equality compared with U.

Note

In fact, this is a more relaxed version of the std::equality_comparable_with concept.

See also

https://en.cppreference.com/w/cpp/concepts/equality_comparable