From 95c39489e3a13b702999b665c4206b9fd52b54c9 Mon Sep 17 00:00:00 2001
From: kamchatka-volcano <gorelyy@eelnet.org>
Date: Thu, 22 Aug 2024 14:07:33 +0500
Subject: [PATCH] -added to_type_id_tuple helper for type_list;

---
 include/sfun/type_list.h   | 8 ++++++++
 include/sfun/type_traits.h | 3 +++
 2 files changed, 11 insertions(+)

diff --git a/include/sfun/type_list.h b/include/sfun/type_list.h
index 7fab50d..9f7f9a6 100644
--- a/include/sfun/type_list.h
+++ b/include/sfun/type_list.h
@@ -112,6 +112,14 @@ struct to_tuple<type_list<Args...>> {
 template<typename T>
 using to_tuple_t = typename to_tuple<T>::type;
 
+template<typename... Args>
+struct to_type_id_tuple<type_list<Args...>> {
+    using type = std::tuple<type_identity<Args>...>;
+};
+
+template<typename T>
+using to_type_id_tuple_t = typename to_type_id_tuple<T>::type;
+
 } //namespace sfun
 
 #endif //SFUN_TYPE_LIST_H
diff --git a/include/sfun/type_traits.h b/include/sfun/type_traits.h
index 289d7d5..0d5f792 100644
--- a/include/sfun/type_traits.h
+++ b/include/sfun/type_traits.h
@@ -135,6 +135,9 @@ using type_identity_t = typename type_identity<T>::type;
 template<typename T, typename... Args>
 struct to_tuple {};
 
+template<typename T, typename... Args>
+struct to_type_id_tuple {};
+
 template<typename T, typename... Args>
 struct decay_tuple {};