From 976288ac50d7d1de43fb209cb2005b6d648dc73a Mon Sep 17 00:00:00 2001
From: bolero-MURAKAMI <bolero.murakami@gmail.com>
Date: Tue, 5 Aug 2014 18:05:12 +0900
Subject: [PATCH] add types::tuple_cat

---
 sprout/type/operation.hpp           |  1 +
 sprout/type/operation/tuple_cat.hpp | 62 +++++++++++++++++++++++++++++
 2 files changed, 63 insertions(+)
 create mode 100644 sprout/type/operation/tuple_cat.hpp

diff --git a/sprout/type/operation.hpp b/sprout/type/operation.hpp
index ccc7c5d8..369826d8 100644
--- a/sprout/type/operation.hpp
+++ b/sprout/type/operation.hpp
@@ -9,6 +9,7 @@
 #define SPROUT_TYPE_OPERATION_HPP
 
 #include <sprout/config.hpp>
+#include <sprout/type/operation/tuple_cat.hpp>
 #include <sprout/type/operation/size.hpp>
 #include <sprout/type/operation/empty.hpp>
 #include <sprout/type/operation/at.hpp>
diff --git a/sprout/type/operation/tuple_cat.hpp b/sprout/type/operation/tuple_cat.hpp
new file mode 100644
index 00000000..8818af5a
--- /dev/null
+++ b/sprout/type/operation/tuple_cat.hpp
@@ -0,0 +1,62 @@
+/*=============================================================================
+  Copyright (c) 2011-2014 Bolero MURAKAMI
+  https://github.com/bolero-MURAKAMI/Sprout
+
+  Distributed under the Boost Software License, Version 1.0. (See accompanying
+  file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+=============================================================================*/
+#ifndef SPROUT_TYPE_OPERATION_TUPLE_CAT_HPP
+#define SPROUT_TYPE_OPERATION_TUPLE_CAT_HPP
+
+#include <sprout/config.hpp>
+#include <sprout/type_traits/identity.hpp>
+#include <sprout/index_tuple.hpp>
+#include <sprout/type/joint_types.hpp>
+#include <sprout/type/type_tuple.hpp>
+#include <sprout/type/tuple.hpp>
+
+namespace sprout {
+	namespace types {
+		//
+		// tuple_cat
+		//
+		namespace detail {
+			template<typename Tuples, typename LIndexTuple, typename RIndexTuple>
+			struct tuple_cat_impl;
+			template<typename Tuples, sprout::index_t... LIndexes, sprout::index_t... RIndexes>
+			struct tuple_cat_impl<Tuples, sprout::index_tuple<LIndexes...>, sprout::index_tuple<RIndexes...> >
+				: public sprout::types::joint_types<
+					typename sprout::types::detail::tuple_cat_impl<
+						sprout::types::type_tuple<typename sprout::types::tuple_element<LIndexes, Tuples>::type...>,
+						typename sprout::index_range<0, sizeof...(LIndexes) / 2>::type,
+						typename sprout::index_range<sizeof...(LIndexes) / 2, sizeof...(LIndexes)>::type
+					>::type
+				>::template apply<
+					typename sprout::types::detail::tuple_cat_impl<
+						sprout::types::type_tuple<typename sprout::types::tuple_element<RIndexes, Tuples>::type...>,
+						typename sprout::index_range<0, sizeof...(RIndexes) / 2>::type,
+						typename sprout::index_range<sizeof...(RIndexes) / 2, sizeof...(RIndexes)>::type
+					>::type
+				>
+			{};
+			template<typename Tuples>
+			struct tuple_cat_impl<Tuples, sprout::index_tuple<>, sprout::index_tuple<0> >
+				: public sprout::types::tuple_element<0, Tuples>
+			{};
+			template<typename Tuples>
+			struct tuple_cat_impl<Tuples, sprout::index_tuple<>, sprout::index_tuple<> >
+				: public sprout::identity<sprout::types::type_tuple<> >
+			{};
+		}	// namespace detail
+		template<typename... Tuples>
+		struct tuple_cat
+			: public sprout::types::detail::tuple_cat_impl<
+				sprout::types::type_tuple<Tuples...>,
+				typename sprout::index_range<0, sizeof...(Tuples) / 2>::type,
+				typename sprout::index_range<sizeof...(Tuples) / 2, sizeof...(Tuples)>::type
+			>
+		{};
+	}	// namespace types
+}	// namespace sprout
+
+#endif	// #ifndef SPROUT_TYPE_OPERATION_TUPLE_CAT_HPP