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/internal/refs.hpp | 45 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 asl/meta/internal/refs.hpp

(limited to 'asl/meta/internal/refs.hpp')

diff --git a/asl/meta/internal/refs.hpp b/asl/meta/internal/refs.hpp
new file mode 100644
index 0000000..b21a0a1
--- /dev/null
+++ b/asl/meta/internal/refs.hpp
@@ -0,0 +1,45 @@
+#pragma once
+
+#include "asl/meta/types.hpp"
+
+namespace asl::internal {
+    
+template<typename T, typename = void>
+inline constexpr bool is_referenceable = false;
+
+template<typename T>
+inline constexpr bool is_referenceable<T, void_t<T&>> = true;
+
+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; };
+
+template<typename T>
+struct is_ref_helper
+{
+    static inline constexpr bool lref = false;
+    static inline constexpr bool rref = false;
+};
+
+template<typename T>
+struct is_ref_helper<T&>
+{
+    static inline constexpr bool lref = true;
+    static inline constexpr bool rref = false;
+};
+
+template<typename T>
+struct is_ref_helper<T&&>
+{
+    static inline constexpr bool lref = false;
+    static inline constexpr bool rref = true;
+};
+
+} // namespace asl::internal
+
-- 
cgit