From df1605c9b1e43fcb9f92b4be76360e2e10a67a19 Mon Sep 17 00:00:00 2001
From: Martchus <martchus@gmx.net>
Date: Mon, 30 Jan 2017 00:08:35 +0100
Subject: [PATCH] Add trait to detect template specialization

Useful to check for std::tuple
---
 misc/traits.h | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/misc/traits.h b/misc/traits.h
index 1c563fa..3236f58 100644
--- a/misc/traits.h
+++ b/misc/traits.h
@@ -20,28 +20,29 @@ using Not = Bool<!T::value>;
 
 template <typename... T>
 struct Any : Bool<false> {};
-
 template <typename Head, typename... Tail>
 struct Any<Head, Tail...> : Conditional<Head, Bool<true>, Any<Tail...> > {};
 
 template <typename... T>
 struct All : Bool<true> {};
-
 template <typename Head, typename... Tail>
 struct All<Head, Tail...> : Conditional<Head, All<Tail...>, Bool<false> > {};
 
 template <typename... Condition>
 using EnableIf = typename std::enable_if<All<Condition...>::value, Detail::Enabler>::type;
-
 template <typename... Condition>
 using DisableIf = typename std::enable_if<!All<Condition...>::value, Detail::Enabler>::type;
 
 template <typename... Condition>
 using EnableIfAny = typename std::enable_if<Any<Condition...>::value, Detail::Enabler>::type;
-
 template <typename... Condition>
 using DisableIfAny = typename std::enable_if<!Any<Condition...>::value, Detail::Enabler>::type;
 
+template <typename T, template <typename...> class Template>
+struct IsSpecializationOf : Bool<false> {};
+template <template <typename...> class Template, typename... Args>
+struct IsSpecializationOf<Template<Args...>, Template> : Bool<true> {};
+
 }
 
 #endif // CPP_UTILITIES_TRAITS_H