From 9c000bf6cdd05d1d4b94b692810ab9692a043b10 Mon Sep 17 00:00:00 2001
From: sha512sum <linuxnyasha@tutanota.com>
Date: Wed, 3 Jul 2024 10:09:45 +0000
Subject: [PATCH] Add Find function with Metafunction and TypeList

---
 include/utempl/type_list.hpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/include/utempl/type_list.hpp b/include/utempl/type_list.hpp
index 5d098f9..552a54f 100644
--- a/include/utempl/type_list.hpp
+++ b/include/utempl/type_list.hpp
@@ -64,6 +64,13 @@ consteval auto Find(TypeList<Ts...>) -> std::size_t {
   return std::ranges::find(arr, true) - arr.begin();
 };
 
+template <template <typename...> typename F, typename... Ts>
+consteval auto Find(TypeList<Ts...>) -> std::size_t {
+  std::array<bool, sizeof...(Ts)> arr{F<Ts>::value...};
+  return std::ranges::find(arr, true) - arr.begin();
+};
+
+
 template <typename... Ts>
 consteval auto Reverse(TypeList<Ts...> list) {
   return [&]<auto... Is>(std::index_sequence<Is...>) -> TypeList<decltype(Get<sizeof...(Ts) - Is - 1>(list))...> {