summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/hana/example/scan_right.cpp
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 18:45:59 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 18:45:59 +0000
commit19fcec84d8d7d21e796c7624e521b60d28ee21ed (patch)
tree42d26aa27d1e3f7c0b8bd3fd14e7d7082f5008dc /src/boost/libs/hana/example/scan_right.cpp
parentInitial commit. (diff)
downloadceph-19fcec84d8d7d21e796c7624e521b60d28ee21ed.tar.xz
ceph-19fcec84d8d7d21e796c7624e521b60d28ee21ed.zip
Adding upstream version 16.2.11+ds.upstream/16.2.11+dsupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/boost/libs/hana/example/scan_right.cpp')
-rw-r--r--src/boost/libs/hana/example/scan_right.cpp39
1 files changed, 39 insertions, 0 deletions
diff --git a/src/boost/libs/hana/example/scan_right.cpp b/src/boost/libs/hana/example/scan_right.cpp
new file mode 100644
index 000000000..42e04d39f
--- /dev/null
+++ b/src/boost/libs/hana/example/scan_right.cpp
@@ -0,0 +1,39 @@
+// 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)
+
+#include <boost/hana/assert.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/scan_right.hpp>
+#include <boost/hana/tuple.hpp>
+
+#include <sstream>
+namespace hana = boost::hana;
+
+
+auto to_string = [](auto x) {
+ std::ostringstream ss;
+ ss << x;
+ return ss.str();
+};
+
+auto f = [](auto element, auto state) {
+ return "f(" + to_string(element) + ", " + to_string(state) + ")";
+};
+
+int main() {
+ // with initial state
+ BOOST_HANA_RUNTIME_CHECK(hana::scan_right(hana::make_tuple(1, "2", '3'), 4, f) == hana::make_tuple(
+ "f(1, f(2, f(3, 4)))",
+ "f(2, f(3, 4))",
+ "f(3, 4)",
+ 4
+ ));
+
+ // without initial state
+ BOOST_HANA_RUNTIME_CHECK(hana::scan_right(hana::make_tuple(1, "2", '3'), f) == hana::make_tuple(
+ "f(1, f(2, 3))",
+ "f(2, 3)",
+ '3'
+ ));
+}