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, 53 insertions, 0 deletions

diff --git a/src/boost/libs/hana/test/_include/laws/comonad.hpp b/src/boost/libs/hana/test/_include/laws/comonad.hpp
new file mode 100644
index 000000000..82ef7b32d
--- /dev/null
+++ b/src/boost/libs/hana/test/_include/laws/comonad.hpp
@@ -0,0 +1,53 @@
+// 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_COMONAD_HPP
+#define BOOST_HANA_TEST_LAWS_COMONAD_HPP
+
+#include <boost/hana/assert.hpp>
+#include <boost/hana/concept/comonad.hpp>
+#include <boost/hana/concept/comparable.hpp>
+#include <boost/hana/core/when.hpp>
+#include <boost/hana/concept/foldable.hpp>
+#include <boost/hana/concept/functor.hpp>
+
+#include <laws/base.hpp>
+
+
+namespace boost { namespace hana { namespace test {
+    template <typename W, typename = when<true>>
+    struct TestComonad : TestComonad<W, laws> {
+        using TestComonad<W, laws>::TestComonad;
+    };
+
+    template <typename W>
+    struct TestComonad<W, laws> {
+        template <typename Ws>
+        TestComonad(Ws ws) {
+            hana::for_each(ws, [](auto w) {
+                static_assert(Comonad<decltype(w)>{}, "");
+
+                // extract(duplicate(w)) == w
+                BOOST_HANA_CHECK(hana::equal(
+                    hana::extract(hana::duplicate(w)),
+                    w
+                ));
+
+                // transform(duplicate(w), extract) == w
+                BOOST_HANA_CHECK(hana::equal(
+                    hana::transform(hana::duplicate(w), extract),
+                    w
+                ));
+
+                // duplicate(duplicate(w)) == transform(duplicate(w), duplicate)
+                BOOST_HANA_CHECK(hana::equal(
+                    hana::duplicate(hana::duplicate(w)),
+                    hana::transform(hana::duplicate(w), duplicate)
+                ));
+            });
+        }
+    };
+}}} // end namespace boost::hana::test
+
+#endif // !BOOST_HANA_TEST_LAWS_COMONAD_HPP