weakly_equality_comparable_with.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSL-1.0
// SPDX-FileCopyrightText: Copyright (C) 2021 Tobias Hienzsch
 
#ifndef TETL_CONCEPTS_WEAKLY_EQUALITY_COMPAREABLE_WITH_HPP
#define TETL_CONCEPTS_WEAKLY_EQUALITY_COMPAREABLE_WITH_HPP
 
#include <etl/_concepts/boolean_testable.hpp>
#include <etl/_concepts/convertible_to.hpp>
#include <etl/_type_traits/remove_reference.hpp>
 
namespace etl {
 
// clang-format off
 
/// \note Non-standard extension
/// \headerfile etl/concepts.hpp
/// \ingroup concepts
template<typename T, typename U>
concept weakly_equality_comparable_with = requires(remove_reference_t<T> const& t, remove_reference_t<U> const& u) {
    { t == u } -> boolean_testable;
    { t != u } -> boolean_testable;
    { u == t } -> boolean_testable;
    { u != t } -> boolean_testable;
};
 
// clang-format on
 
} // namespace etl
 
#endif // TETL_CONCEPTS_WEAKLY_EQUALITY_COMPAREABLE_WITH_HPP