From f1d995340bcf6032fe7ef942ca02278344334e27 Mon Sep 17 00:00:00 2001
From: lisyarus <lisyarus@gmail.com>
Date: Fri, 7 May 2021 17:38:36 +0300
Subject: [PATCH] Add some type list machinery

---
 libs/util/include/psemek/util/type_list.hpp | 33 +++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 libs/util/include/psemek/util/type_list.hpp

diff --git a/libs/util/include/psemek/util/type_list.hpp b/libs/util/include/psemek/util/type_list.hpp
new file mode 100644
index 00000000..6561ee2b
--- /dev/null
+++ b/libs/util/include/psemek/util/type_list.hpp
@@ -0,0 +1,33 @@
+#pragma once
+
+#include <tuple>
+#include <variant>
+
+namespace psemek::util
+{
+
+	template <typename ...>
+	struct type_list;
+
+	namespace detail
+	{
+
+		template <template <typename> typename F, typename ... Args>
+		struct type_list_map_impl
+		{
+			using type = type_list<typename F<Args>::type ...>;
+		};
+
+	}
+
+	template <typename ... Args>
+	struct type_list
+	{
+		template <template <typename> typename F>
+		using map = detail::type_list_map_impl<F, Args...>::type;
+
+		using tuple = std::tuple<Args...>;
+		using variant = std::variant<Args...>;
+	};
+
+}