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

#include <stl_extensions.hpp>

Concept definition

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

Detailed Description

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

This is a less restrictive version of the std::three_way_comparable function.

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.