From 4228e82740f62b841799cfca04861fa217fb93a5 Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Thu, 1 Aug 2024 00:56:05 +0200
Subject: More work on taxonomy

---
 asl/meta/types.hpp | 33 +++++----------------------------
 1 file changed, 5 insertions(+), 28 deletions(-)

(limited to 'asl/meta/types.hpp')

diff --git a/asl/meta/types.hpp b/asl/meta/types.hpp
index 79ccf5e..bfc2998 100644
--- a/asl/meta/types.hpp
+++ b/asl/meta/types.hpp
@@ -1,36 +1,13 @@
 #pragma once
 
-namespace asl {
+#include "asl/meta/internal/types.hpp"
 
+namespace asl {
+    
 template<typename T> using void_t = void;
 
-template<typename T, typename = void>
-inline constexpr bool is_referenceable = false;
-
-template<typename T>
-inline constexpr bool is_referenceable<T, void_t<T&>> = true;
-
-namespace internal {
-
-template<typename T, bool = is_referenceable<T>>
-struct as_ref_helper { using lvalue = T; using rvalue = T; };
-
-template<typename T>
-struct as_ref_helper<T, true> { using lvalue = T&; using rvalue = T&&; };
-
-template<typename T> struct un_ref_helper { using type = T; };
-template<typename T> struct un_ref_helper<T&> { using type = T; };
-template<typename T> struct un_ref_helper<T&&> { using type = T; };
-
-} // namespace internal
-
-template<typename T> using as_ref_t = internal::as_ref_helper<T>::lvalue;
-template<typename T> using as_rref_t = internal::as_ref_helper<T>::rvalue;
-
-template<typename T> using un_ref_t = internal::un_ref_helper<T>::type;
-
-#define AslMove(expr_) (static_cast<::asl::as_rref_t<::asl::un_ref_t<decltype(expr_)>>>(expr_))
-#define AslForward(expr_) (static_cast<::asl::as_rref_t<decltype(expr_)>>(expr_))
+template<typename U, typename V>
+concept same = internal::is_same<U, V> && internal::is_same<V, U>;
 
 } // namespace asl
 
-- 
cgit