1 files changed, 78 insertions, 0 deletions
diff --git a/boost/hana/detail/operators/arithmetic.hpp b/boost/hana/detail/operators/arithmetic.hpp
new file mode 100644
index 0000000000..d0459115b8
--- /dev/null
+++ b/boost/hana/detail/operators/arithmetic.hpp
@@ -0,0 +1,78 @@
+/*!
+@file
+Defines arithmetic operators.
+
+@copyright Louis Dionne 2013-2016
+Distributed under the Boost Software License, Version 1.0.
+(See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
+ */
+
+#ifndef BOOST_HANA_DETAIL_OPERATORS_ARITHMETIC_HPP
+#define BOOST_HANA_DETAIL_OPERATORS_ARITHMETIC_HPP
+
+#include <boost/hana/config.hpp>
+#include <boost/hana/core/tag_of.hpp>
+#include <boost/hana/fwd/div.hpp>
+#include <boost/hana/fwd/minus.hpp>
+#include <boost/hana/fwd/mod.hpp>
+#include <boost/hana/fwd/mult.hpp>
+#include <boost/hana/fwd/negate.hpp>
+#include <boost/hana/fwd/plus.hpp>
+
+#include <type_traits>
+
+
+BOOST_HANA_NAMESPACE_BEGIN namespace detail {
+    template <typename Tag>
+    struct arithmetic_operators {
+        static constexpr bool value = false;
+    };
+
+    namespace operators {
+        template <typename X, typename Y, typename = typename std::enable_if<
+            detail::arithmetic_operators<typename hana::tag_of<X>::type>::value ||
+            detail::arithmetic_operators<typename hana::tag_of<Y>::type>::value
+        >::type>
+        constexpr auto operator+(X&& x, Y&& y)
+        { return hana::plus(static_cast<X&&>(x), static_cast<Y&&>(y)); }
+
+
+        template <typename X, typename Y, typename = typename std::enable_if<
+            detail::arithmetic_operators<typename hana::tag_of<X>::type>::value ||
+            detail::arithmetic_operators<typename hana::tag_of<Y>::type>::value
+        >::type>
+        constexpr auto operator-(X&& x, Y&& y)
+        { return hana::minus(static_cast<X&&>(x), static_cast<Y&&>(y)); }
+
+        template <typename X, typename = typename std::enable_if<
+            detail::arithmetic_operators<typename hana::tag_of<X>::type>::value
+        >::type>
+        constexpr auto operator-(X&& x)
+        { return hana::negate(static_cast<X&&>(x)); }
+
+
+        template <typename X, typename Y, typename = typename std::enable_if<
+            detail::arithmetic_operators<typename hana::tag_of<X>::type>::value ||
+            detail::arithmetic_operators<typename hana::tag_of<Y>::type>::value
+        >::type>
+        constexpr auto operator*(X&& x, Y&& y)
+        { return hana::mult(static_cast<X&&>(x), static_cast<Y&&>(y)); }
+
+
+        template <typename X, typename Y, typename = typename std::enable_if<
+            detail::arithmetic_operators<typename hana::tag_of<X>::type>::value ||
+            detail::arithmetic_operators<typename hana::tag_of<Y>::type>::value
+        >::type>
+        constexpr auto operator/(X&& x, Y&& y)
+        { return hana::div(static_cast<X&&>(x), static_cast<Y&&>(y)); }
+
+        template <typename X, typename Y, typename = typename std::enable_if<
+            detail::arithmetic_operators<typename hana::tag_of<X>::type>::value ||
+            detail::arithmetic_operators<typename hana::tag_of<Y>::type>::value
+        >::type>
+        constexpr auto operator%(X&& x, Y&& y)
+        { return hana::mod(static_cast<X&&>(x), static_cast<Y&&>(y)); }
+    } // end namespace operators
+} BOOST_HANA_NAMESPACE_END
+
+#endif // !BOOST_HANA_DETAIL_OPERATORS_ARITHMETIC_HPP