di::concepts::detail::PartiallyOrderedWith Concept Reference

#include <di/meta/compare.h>

Concept definition

template<typename T, typename U>
concept di::concepts::detail::PartiallyOrderedWith = 
        (!concepts::SameAs<void, meta::Type<detail::DefinitelyThreeWayComparableWith<T, U>>>) ||
        requires(meta::RemoveReference<T> const& a, meta::RemoveReference<U> const& b) {
            { a < b } -> SameAs<bool>;
            { a > b } -> SameAs<bool>;
            { a <= b } -> SameAs<bool>;
            { a >= b } -> SameAs<bool>;
            { b < a } -> SameAs<bool>;
            { b > a } -> SameAs<bool>;
            { b <= a } -> SameAs<bool>;
            { b >= a } -> SameAs<bool>;
        }