From 343d872be9f91e5fcb9167021790831458cbf19c Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Fri, 1 Nov 2024 22:56:06 +0100
Subject: More work on option

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

(limited to 'asl/meta.hpp')

diff --git a/asl/meta.hpp b/asl/meta.hpp
index d05b095..d253dda 100644
--- a/asl/meta.hpp
+++ b/asl/meta.hpp
@@ -67,6 +67,9 @@ template<typename T> concept trivially_destructible = __is_trivially_destructibl
 
 template<typename T> concept trivially_copyable = __is_trivially_copyable(T);
 
+template<typename From, typename To>
+concept convertible = __is_convertible(From, To);
+
 using nullptr_t = decltype(nullptr);
 
 template<typename T> struct _un_const_helper          { using type = T; };
@@ -81,6 +84,8 @@ template<typename T> using un_volatile_t = _un_volatile_helper<T>::type;
 
 template<typename T> using un_cv_t = un_volatile_t<un_const_t<T>>;
 
+template<typename T> using un_cvref_t = un_ref_t<un_cv_t<T>>;
+
 template<typename T> concept is_void = is_same<void, un_cv_t<T>>;
 
 template<typename T> struct _is_ref_helper      { static constexpr bool l = false; static constexpr bool r = false; };
-- 
cgit