Add mp_set_difference

2019-01-07 21:02:30 +02:00
parent a9b36f58ae
commit 3a31eeee29
3 changed files with 64 additions and 0 deletions
@@ -9,8 +9,10 @@
 // http://www.boost.org/LICENSE_1_0.txt

 #include <boost/mp11/utility.hpp>
+#include <boost/mp11/function.hpp>
 #include <boost/mp11/detail/mp_list.hpp>
 #include <boost/mp11/detail/mp_append.hpp>
+#include <boost/mp11/detail/mp_remove_if.hpp>
 #include <type_traits>

 namespace boost
@@ -131,6 +133,19 @@ template<class L1, class L2, class L3, class... L> struct mp_set_union_impl<L1,

 template<class... L> using mp_set_union = typename detail::mp_set_union_impl<L...>::type;

+// mp_set_difference<L, S...>
+namespace detail
+{
+
+template<class... S> struct in_any_set
+{
+    template<class T> using fn = mp_any< mp_set_contains<S, T>... >;
+};
+
+} // namespace detail
+
+template<class L, class... S> using mp_set_difference = mp_remove_if_q<L, detail::in_any_set<S...>>;
+
 } // namespace mp11
 } // namespace boost