diff options
| author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-08-01 00:56:05 +0200 |
|---|---|---|
| committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-08-01 00:56:05 +0200 |
| commit | 4228e82740f62b841799cfca04861fa217fb93a5 (patch) | |
| tree | 30bd93b9c62e87d8b1416344d21ba84cfb66ae2a /asl/meta/quals.hpp | |
| parent | 4698812fdc2d9eeea03f26307d6e7e626aaec12b (diff) | |
More work on taxonomy
Diffstat (limited to 'asl/meta/quals.hpp')
| -rw-r--r-- | asl/meta/quals.hpp | 22 |
1 files changed, 22 insertions, 0 deletions
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
+ |