Adding upstream version 16.2.11+ds.upstream/16.2.11+dsupstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 46 insertions, 0 deletions

diff --git a/src/boost/libs/hana/test/_include/laws/product.hpp b/src/boost/libs/hana/test/_include/laws/product.hpp
new file mode 100644
index 000000000..18e5a15d2
--- /dev/null
+++ b/src/boost/libs/hana/test/_include/laws/product.hpp
@@ -0,0 +1,46 @@
+// Copyright Louis Dionne 2013-2017
+// 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_TEST_LAWS_PRODUCT_HPP
+#define BOOST_HANA_TEST_LAWS_PRODUCT_HPP
+
+#include <boost/hana/assert.hpp>
+#include <boost/hana/concept/product.hpp>
+#include <boost/hana/core/make.hpp>
+#include <boost/hana/core/when.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/first.hpp>
+#include <boost/hana/second.hpp>
+
+#include <laws/base.hpp>
+
+
+namespace boost { namespace hana { namespace test {
+    template <typename P, typename = when<true>>
+    struct TestProduct : TestProduct<P, laws> {
+        using TestProduct<P, laws>::TestProduct;
+    };
+
+    template <typename P>
+    struct TestProduct<P, laws> {
+        template <typename Elements>
+        TestProduct(Elements elements) {
+            foreach2(elements, [](auto x, auto y) {
+                static_assert(Product<decltype(hana::make<P>(x, y))>{}, "");
+
+                BOOST_HANA_CHECK(hana::equal(
+                    hana::first(hana::make<P>(x, y)),
+                    x
+                ));
+
+                BOOST_HANA_CHECK(hana::equal(
+                    hana::second(hana::make<P>(x, y)),
+                    y
+                ));
+            });
+        }
+    };
+}}} // end namespace boost::hana::test
+
+#endif // !BOOST_HANA_TEST_LAWS_PRODUCT_HPP