From 6a21ea68bb9e2c4941cbb0fb2f8c702cafa79f0c Mon Sep 17 00:00:00 2001
From: sha512sum <linuxnyasha@tutanota.com>
Date: Thu, 14 Mar 2024 01:26:47 +0000
Subject: [PATCH] Fix Find function for 0 size typelists

---
 include/utempl/type_list.hpp | 12 ++++++++++--
 include/utempl/utils.hpp     |  6 ------
 2 files changed, 10 insertions(+), 8 deletions(-)

diff --git a/include/utempl/type_list.hpp b/include/utempl/type_list.hpp
index 87c3bbe..70573c4 100644
--- a/include/utempl/type_list.hpp
+++ b/include/utempl/type_list.hpp
@@ -2,6 +2,7 @@
 #include <concepts>
 #include <utility>
 #include <array>
+#include <utempl/overloaded.hpp>
 #include <ranges>
 
 
@@ -30,6 +31,13 @@ inline constexpr auto kType = TypeList<T>{};
 template <typename... Ts>
 inline constexpr auto kTypeList = TypeList<Ts...>{};
 
+template <typename T>
+concept IsTypeList = Overloaded(
+  []<typename... Ts>(TypeList<TypeList<Ts...>>) {return true;},
+  [](auto&&) {return false;}
+)(kType<std::remove_cvref_t<T>>);
+
+
 
 template <typename... Ts, typename... TTs>
 consteval auto operator==(const TypeList<Ts...>& first, const TypeList<TTs...>& second) -> bool {
@@ -49,7 +57,7 @@ consteval auto Get(const TypeList<Ts...>&) -> decltype(Get(std::make_index_seque
 
 template <typename T, typename... Ts>
 consteval auto Find(TypeList<Ts...>) -> std::size_t {
-  std::array arr{std::same_as<T, Ts>...};
+  std::array<bool, sizeof...(Ts)> arr{std::same_as<T, Ts>...};
   return std::ranges::find(arr, true) - arr.begin();
 };
 
@@ -65,7 +73,7 @@ consteval auto Transform(TypeList<Ts...>, auto&& f) -> TypeList<decltype(f(TypeL
   return {};
 };
 template <typename... Ts>
-consteval auto Filter(TypeList<Ts...>, auto&& f) {
+consteval auto FilterTypeList(TypeList<Ts...>, auto&& f) {
   return (
     (kTypeList<> 
     + [](auto&& list) {
diff --git a/include/utempl/utils.hpp b/include/utempl/utils.hpp
index 2d7343b..7e6b2cb 100644
--- a/include/utempl/utils.hpp
+++ b/include/utempl/utils.hpp
@@ -139,12 +139,6 @@ struct IsSafeTuple<T, bool(TrueF(Get<0>(std::move(Get<0>(Tuple{MakeTuple<T>(0, k
 template <typename T>
 concept TupleLike = requires{Get<0>(MakeTuple<T>(42));} && impl::IsSafeTuple<T>::value;
 
-template <typename T>
-concept IsTypeList = Overloaded(
-  []<typename... Ts>(TypeList<TypeList<Ts...>>) {return true;},
-  [](auto&&) {return false;}
-)(kType<std::remove_cvref_t<T>>);
-
 
 template <TupleLike Tuple>
 inline constexpr auto Transform(Tuple&& container, auto&& f) {