Add mp_all, mp_and, mp_any, mp_or; move mp_not to integral.hpp.

include/boost/mp11/function.hpp

@@ -1,7 +1,7 @@
 #ifndef BOOST_MP11_FUNCTION_HPP_INCLUDED
 #define BOOST_MP11_FUNCTION_HPP_INCLUDED
 
-//  Copyright 2015 Peter Dimov.
+//  Copyright 2015, 2016 Peter Dimov.
 //
 //  Distributed under the Boost Software License, Version 1.0.
 //
@@ -9,21 +9,71 @@
 //  http://www.boost.org/LICENSE_1_0.txt
 
 #include <boost/mp11/integral.hpp>
-#include <boost/mp11/detail/mp_plus.hpp>
+#include <boost/mp11/utility.hpp>
+#include <boost/mp11/detail/mp_list.hpp>
+#include <boost/mp11/detail/mp_count.hpp>
 
 namespace boost
 {
 
-// mp_not<T>
-template<class T> using mp_not = mp_bool< !T::value >;
-
 // mp_equal_to<T1, T2>
 template<class T1, class T2> using mp_equal_to = mp_bool< T1::value == T2::value >;
 
 // mp_all<T...>
+template<class... T> using mp_all = mp_bool< mp_count_if< mp_list<T...>, mp_to_bool >::value == sizeof...(T) >;
+
 // mp_and<T...>
+namespace detail
+{
+
+template<class... T> struct mp_and_impl;
+
+} // namespace detail
+
+template<class... T> using mp_and = typename detail::mp_and_impl<T...>::type;
+
+namespace detail
+{
+
+template<> struct mp_and_impl<>
+{
+    using type = mp_true;
+};
+
+template<class T1, class... T> struct mp_and_impl<T1, T...>
+{
+    using type = mp_eval_if< mp_not<T1>, mp_false, mp_and, T... >;
+};
+
+} // namespace detail
+
 // mp_any<T...>
+template<class... T> using mp_any = mp_bool< mp_count_if< mp_list<T...>, mp_to_bool >::value != 0 >;
+
 // mp_or<T...>
+namespace detail
+{
+
+template<class... T> struct mp_or_impl;
+
+} // namespace detail
+
+template<class... T> using mp_or = typename detail::mp_or_impl<T...>::type;
+
+namespace detail
+{
+
+template<> struct mp_or_impl<>
+{
+    using type = mp_false;
+};
+
+template<class T1, class... T> struct mp_or_impl<T1, T...>
+{
+    using type = mp_eval_if< T1, mp_true, mp_or, T... >;
+};
+
+} // namespace detail
 
 } // namespace boost