From e4bf7142f5bba8a7ee78cf2a78a23baf3b247735 Mon Sep 17 00:00:00 2001
From: Martchus <martchus@gmx.net>
Date: Wed, 20 Jun 2018 22:53:48 +0200
Subject: [PATCH] Add Traits::Is{Any,None}Of

---
 misc/traits.h         | 11 +++++++++++
 tests/traitstests.cpp |  9 +++++++++
 2 files changed, 20 insertions(+)

diff --git a/misc/traits.h b/misc/traits.h
index 7a37af7..9565cea 100644
--- a/misc/traits.h
+++ b/misc/traits.h
@@ -41,6 +41,17 @@ template <typename T, template <typename...> class Template> struct IsSpecializa
 template <template <typename...> class Template, typename... Args> struct IsSpecializationOf<Template<Args...>, Template> : Bool<true> {
 };
 
+template <typename... T> struct IsAnyOf : Bool<false> {
+};
+template <typename Type, typename OtherType, typename... RemainingTypes>
+struct IsAnyOf<Type, OtherType, RemainingTypes...> : Conditional<std::is_same<Type, OtherType>, Bool<true>, IsAnyOf<Type, RemainingTypes...>> {
+};
+template <typename... T> struct IsNoneOf : Bool<true> {
+};
+template <typename Type, typename OtherType, typename... RemainingTypes>
+struct IsNoneOf<Type, OtherType, RemainingTypes...> : Conditional<std::is_same<Type, OtherType>, Bool<false>, IsNoneOf<Type, RemainingTypes...>> {
+};
+
 template <typename T>
 struct IsCString
     : Bool<std::is_same<char const *, typename std::decay<T>::type>::value || std::is_same<char *, typename std::decay<T>::type>::value> {
diff --git a/tests/traitstests.cpp b/tests/traitstests.cpp
index fee4550..5c838e1 100644
--- a/tests/traitstests.cpp
+++ b/tests/traitstests.cpp
@@ -32,6 +32,15 @@ static_assert(All<Bool<true>, Bool<true>>::value, "All: positive case");
 static_assert(!IsSpecializationOf<string, basic_stringbuf>::value, "IsSpecializationOf: negative case");
 static_assert(IsSpecializationOf<string, basic_string>::value, "IsSpecializationOf: positive case");
 
+static_assert(IsAnyOf<string, string, int, bool>::value, "IsAnyOf: positive case");
+static_assert(IsAnyOf<int, string, int, bool>::value, "IsAnyOf: positive case");
+static_assert(IsAnyOf<bool, string, int, bool>::value, "IsAnyOf: positive case");
+static_assert(!IsAnyOf<unsigned int, string, int, bool>::value, "IsAnyOf: negative case");
+static_assert(!IsNoneOf<string, string, int, bool>::value, "IsNoneOf: negative case");
+static_assert(!IsNoneOf<int, string, int, bool>::value, "IsNoneOf: negative case");
+static_assert(!IsNoneOf<bool, string, int, bool>::value, "IsNoneOf: negative case");
+static_assert(IsNoneOf<unsigned int, string, int, bool>::value, "IsNoneOf: positive case");
+
 static_assert(!IsIteratable<int>::value, "IsIterator: negative case");
 static_assert(!IsIteratable<SomeStruct>::value, "IsIterator: negative case");
 static_assert(IsIteratable<string>::value, "IsIterator: positive case");