From 185ce3cc0618520b16fdf0db5907f610224027b7 Mon Sep 17 00:00:00 2001
From: ADAM David Alan Martin <adam@recursive.engineer>
Date: Sat, 27 Jan 2024 05:12:07 -0500
Subject: [PATCH] Type List concatenation for type-lisp.

---
 type_lisp.h | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/type_lisp.h b/type_lisp.h
index 115b075..064d39a 100644
--- a/type_lisp.h
+++ b/type_lisp.h
@@ -115,6 +115,21 @@ namespace Alepha::Hydrogen  ::detail::  type_lisp_m
 	{
 		using type= TypeList< Members... >;
 	};
+
+	template< typename Left, typename Right >
+	struct list_cat;
+
+	namespace exports
+	{
+		template< typename Left, typename Right >
+		using list_cat_t= typename list_cat< Left, Right >::type;
+	}
+
+	template< typename ... LeftArgs, typename ... RightArgs >
+	struct list_cat< TypeList< LeftArgs... >, TypeList< RightArgs... > >
+	{
+		using type= TypeList< LeftArgs..., RightArgs... >;
+	};
 }
 
 namespace Alepha::Hydrogen::inline exports::inline type_lisp_m