Checks whether the given type is comparable <=> with the minimal comparison category and noexcept specifier. This also implies equality comparable. More...

#include <stl_extensions.hpp>

Concept definition

template<class T, class MinimumCategory std::partial_ordering>
concept sl::concepts::nothrow_weakly_three_way_comparable =  nothrow_weakly_equality_comparable<T>
                                                && comparison_category<MinimumCategory>
                                                && requires(const std::remove_reference_t<T>& t)
                                                {
                                                    { t <=> t } noexcept -> detail::compares_as<MinimumCategory>;
                                                }

Detailed Description

Checks whether the given type is comparable <=> with the minimal comparison category and noexcept specifier. This also implies equality comparable.

This is a less restrictive version of the std::three_way_comparable function, but with additional noexcept check.

See also: https://en.cppreference.com/w/cpp/utility/compare/three_way_comparable

Template Parameters

T	The type to check.
MinimumCategory	The minimum category the comparison has to yield.