From ea795dcccb136a45fa08a8a82953f95343706c6c Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Fri, 23 Aug 2024 19:12:42 +0200
Subject: Add is_array

---
 asl/ptr.hpp | 108 ------------------------------------------------------------
 1 file changed, 108 deletions(-)
 delete mode 100644 asl/ptr.hpp

(limited to 'asl/ptr.hpp')

diff --git a/asl/ptr.hpp b/asl/ptr.hpp
deleted file mode 100644
index 1da3f4e..0000000
--- a/asl/ptr.hpp
+++ /dev/null
@@ -1,108 +0,0 @@
-#pragma once
-
-#include "asl/integers.hpp"
-#include "asl/meta.hpp"
-#include "asl/utility.hpp"
-
-namespace asl {
-
-constexpr auto addr(auto&& ref) { return __builtin_addressof(ref); }
-
-namespace ptr_internal {
-
-template<is_object T>
-class object_meta
-{
-public:
-    using pointee = T;
-    using metadata = empty;
-};
-
-template<is_void T>
-class void_meta
-{
-public:
-    using pointee = T;
-    using metadata = empty;
-};
-
-template<typename T>
-class array_meta;
-
-template<is_object T, isize_t N>
-class array_meta<T[N]>
-{
-public:
-    using pointee = T[N];
-    using metadata = empty;
-};
-
-template<is_object T>
-class array_meta<T[]>
-{
-public:
-    using pointee = T;
-    using metadata = isize_t;
-};
-
-template<typename T>
-class ptr_like_meta
-{
-    static_assert(is_func<T> || is_ref<T>);
-    
-public:
-    using pointee = as_raw_ptr_t<T>;
-    using metadata = empty;
-};
-
-template<typename T>
-constexpr auto get_meta()
-{
-    if constexpr (is_object<T>)
-    {
-        return object_meta<T>{};
-    }
-    else if constexpr (is_void<T>)
-    {
-        return void_meta<T>{};
-    }
-    else if constexpr (is_array<T>)
-    {
-        return array_meta<T>{};
-    }
-    else if constexpr (is_ref<T> || is_func<T>)
-    {
-        return ptr_like_meta<T>{};
-    }
-}
-
-template<typename T>
-using meta = decltype(get_meta<T>());
-
-} // namespace ptr_internal
-
-template<typename T>
-concept is_ptr_metadata = requires
-{
-    requires is_object<typename T::pointee> || is_void<typename T::pointee> || is_array<typename T::pointee>;
-    requires is_object<typename T::metadata>;
-};
-
-template<typename T>
-class ptr final
-{
-    using meta = ptr_internal::meta<T>;
-    static_assert(is_ptr_metadata<meta>);
-    
-public:
-    using pointee = meta::pointee;
-    using metadata = meta::metadata;
-
-private:
-    pointee* m_ptr = nullptr;
-    ASL_NO_UNIQUE_ADDRESS metadata m_metadata;
-
-public:
-};
-
-} // namespace asl
-- 
cgit