Dune::Std::three_way_comparable Concept Reference

The concept std::three_way_comparable specifies that the three way comparison operator <=> on T yield results consistent with the comparison category implied by Cat. More...

#include <dune/common/std/compare.hh>

Concept definition

template<class T, class Cat std::partial_ordering>
concept Dune::Std::three_way_comparable = 
  Impl::weaklyEqualityComparableWith<T, T> &&
  Impl::partiallyOrderedWith<T, T> &&
  requires(const std::remove_reference_t<T>& a,
           const std::remove_reference_t<T>& b)
  {
    { a <=> b } -> Impl::comparesAs<Cat>;
  }

Detailed Description

The concept std::three_way_comparable specifies that the three way comparison operator <=> on T yield results consistent with the comparison category implied by Cat.

The standard implementation is available in libstdc++ >= 10 and libc++ >= 14.