bio::meta::weakly_equality_comparable_with Concept Reference

Requires the two operands to be comparable with == and != in both directions. More...

#include <bio/meta/concept/core_language.hpp>

Concept definition

template<class T, class U>
concept bio::meta::weakly_equality_comparable_with = 
  requires(std::remove_reference_t<T> const & t, std::remove_reference_t<U> const & u) {
      requires std::convertible_to<decltype(t == u), bool>;
      requires std::convertible_to<decltype(t != u), bool>;
      requires std::convertible_to<decltype(u == t), bool>;
      requires std::convertible_to<decltype(u != t), bool>;
  }

Detailed Description

Requires the two operands to be comparable with == and != in both directions.

Template Parameters

t1	The first type to compare.
t2	The second type to compare.