update sources to v12.2.3

[ceph.git] / ceph / src / boost / libs / hana / test / string / laws.cpp

diff --git a/ceph/src/boost/libs/hana/test/string/laws.cpp b/ceph/src/boost/libs/hana/test/string/laws.cpp
index 2b83b1f0a0a90b2e9ba5e8b81633d93177f1bfe3..201c3f00711bf25a397f709e7323c8edf1212158 100644 (file)
--- a/ceph/src/boost/libs/hana/test/string/laws.cpp
+++ b/ceph/src/boost/libs/hana/test/string/laws.cpp
@@ -1,4 +1,4 @@
-// Copyright Louis Dionne 2013-2016
+// 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)
 
@@ -9,6 +9,7 @@
 #include <laws/foldable.hpp>
 #include <laws/hashable.hpp>
 #include <laws/iterable.hpp>
+#include <laws/monoid.hpp>
 #include <laws/orderable.hpp>
 #include <laws/searchable.hpp>
 namespace hana = boost::hana;
@@ -31,6 +32,21 @@ int main() {
         hana::test::TestHashable<hana::string_tag>{strings};
     }
 
+    // Monoid
+    {
+        auto strings = hana::make_tuple(
+            BOOST_HANA_STRING(""),
+            BOOST_HANA_STRING("a"),
+            BOOST_HANA_STRING("ab"),
+            BOOST_HANA_STRING("abc"),
+            BOOST_HANA_STRING("abcd"),
+            BOOST_HANA_STRING("abcde"),
+            BOOST_HANA_STRING("ba")
+        );
+
+        hana::test::TestMonoid<hana::string_tag>{strings};
+    }
+
     // Foldable and Iterable
     {
         auto strings = hana::make_tuple(