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

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

diff --git a/asl/meta/quals.hpp b/asl/meta/quals.hpp
new file mode 100644
index 0000000..9671043
--- /dev/null
+++ b/asl/meta/quals.hpp
@@ -0,0 +1,22 @@
+#pragma once
+
+#include "asl/meta/types.hpp"
+#include "asl/meta/funcs.hpp"
+#include "asl/meta/refs.hpp"
+#include "asl/meta/internal/quals.hpp"
+
+namespace asl {
+    
+template<typename T> concept is_const = internal::is_const<T>;
+template<typename T> concept is_volatile = !is_any_ref<T> && !is_func<T> && same<T, typename internal::volatile_helper<T>::add>;
+
+template<typename T> using as_const_t = internal::const_helper<T>::add;
+template<typename T> using un_const_t = internal::const_helper<T>::remove;
+
+template<typename T> using as_volatile_t = internal::volatile_helper<T>::add;
+template<typename T> using un_volatile_t = internal::volatile_helper<T>::remove;
+
+template<typename T> using un_qual_t = un_volatile_t<un_const_t<T>>;
+
+} // namespace asl
+
-- 
cgit