From b2eddfabffeb78fc5b49f9c17d70175d2dfed2e0 Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Tue, 31 Dec 2024 01:16:12 +0100
Subject: Some work on buffer move

---
 asl/meta.hpp | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'asl/meta.hpp')

diff --git a/asl/meta.hpp b/asl/meta.hpp
index 3fd76b4..133d2fb 100644
--- a/asl/meta.hpp
+++ b/asl/meta.hpp
@@ -164,6 +164,17 @@ template<>           struct _is_floating_point_helper<double> : true_type  {};
 
 template<typename T> concept is_floating_point = _is_floating_point_helper<un_cv_t<T>>::value;
 
+template<typename T, typename U>
+concept equality_comparable_with = requires (const un_cvref_t<T>& a, const un_cvref_t<T>& b)
+{
+    { a == b } -> same_as<bool>;
+    { b == a } -> same_as<bool>;
+    { a != b } -> same_as<bool>;
+    { b != a } -> same_as<bool>;
+};
+
+template<typename T> concept equality_comparable = equality_comparable_with<T, T>;
+
 struct niche {};
 
 template<typename T>
-- 
cgit