summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/hana/example/struct
diff options
context:
space:
mode:
Diffstat (limited to 'src/boost/libs/hana/example/struct')
-rw-r--r--src/boost/libs/hana/example/struct/comparable.cpp28
-rw-r--r--src/boost/libs/hana/example/struct/foldable.cpp31
-rw-r--r--src/boost/libs/hana/example/struct/keys.cpp29
-rw-r--r--src/boost/libs/hana/example/struct/searchable.cpp46
-rw-r--r--src/boost/libs/hana/example/struct/to.cpp30
5 files changed, 164 insertions, 0 deletions
diff --git a/src/boost/libs/hana/example/struct/comparable.cpp b/src/boost/libs/hana/example/struct/comparable.cpp
new file mode 100644
index 000000000..238f4dc5f
--- /dev/null
+++ b/src/boost/libs/hana/example/struct/comparable.cpp
@@ -0,0 +1,28 @@
+// 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/define_struct.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/keys.hpp>
+#include <boost/hana/not_equal.hpp>
+#include <boost/hana/string.hpp>
+
+#include <string>
+namespace hana = boost::hana;
+
+
+struct Person {
+ BOOST_HANA_DEFINE_STRUCT(Person,
+ (std::string, name),
+ (unsigned short, age)
+ );
+};
+
+int main() {
+ Person john{"John", 30}, kevin{"Kevin", 20};
+
+ BOOST_HANA_RUNTIME_CHECK(hana::equal(john, john));
+ BOOST_HANA_RUNTIME_CHECK(hana::not_equal(john, kevin));
+}
diff --git a/src/boost/libs/hana/example/struct/foldable.cpp b/src/boost/libs/hana/example/struct/foldable.cpp
new file mode 100644
index 000000000..7f52e9203
--- /dev/null
+++ b/src/boost/libs/hana/example/struct/foldable.cpp
@@ -0,0 +1,31 @@
+// 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/define_struct.hpp>
+#include <boost/hana/fold_left.hpp>
+#include <boost/hana/second.hpp>
+namespace hana = boost::hana;
+
+
+struct Kitten {
+ BOOST_HANA_DEFINE_STRUCT(Kitten,
+ (int, extremely_cute),
+ (int, cute),
+ (int, not_so_cute)
+ );
+};
+
+int main() {
+ constexpr Kitten kitten{5, 10, 0};
+
+ BOOST_HANA_CONSTEXPR_CHECK(
+ hana::fold_left(kitten, 0, [](auto total, auto member) {
+ // first(member) is the name of the member, here
+ // "extremely_cute", or "cute" or "not_so_cute",
+ // and second(member) is its value.
+ return hana::second(member) + total;
+ }) == (5 + 10 + 0)
+ );
+}
diff --git a/src/boost/libs/hana/example/struct/keys.cpp b/src/boost/libs/hana/example/struct/keys.cpp
new file mode 100644
index 000000000..37e97040a
--- /dev/null
+++ b/src/boost/libs/hana/example/struct/keys.cpp
@@ -0,0 +1,29 @@
+// 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/define_struct.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/keys.hpp>
+#include <boost/hana/string.hpp>
+#include <boost/hana/tuple.hpp>
+
+#include <string>
+namespace hana = boost::hana;
+
+
+struct Person {
+ BOOST_HANA_DEFINE_STRUCT(Person,
+ (std::string, name),
+ (unsigned short, age)
+ );
+};
+
+int main() {
+ Person john{"John", 30};
+ BOOST_HANA_CONSTANT_CHECK(
+ hana::keys(john) == hana::make_tuple(BOOST_HANA_STRING("name"),
+ BOOST_HANA_STRING("age"))
+ );
+}
diff --git a/src/boost/libs/hana/example/struct/searchable.cpp b/src/boost/libs/hana/example/struct/searchable.cpp
new file mode 100644
index 000000000..aae5dbfa0
--- /dev/null
+++ b/src/boost/libs/hana/example/struct/searchable.cpp
@@ -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)
+
+#include <boost/hana/accessors.hpp>
+#include <boost/hana/all_of.hpp>
+#include <boost/hana/assert.hpp>
+#include <boost/hana/define_struct.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/find.hpp>
+#include <boost/hana/optional.hpp>
+#include <boost/hana/second.hpp>
+#include <boost/hana/string.hpp>
+
+#include <string>
+namespace hana = boost::hana;
+
+
+struct Person {
+ BOOST_HANA_DEFINE_STRUCT(Person,
+ (std::string, name),
+ (unsigned short, age)
+ );
+};
+
+int main() {
+ Person john{"John", 30};
+
+ BOOST_HANA_RUNTIME_CHECK(
+ hana::find(john, BOOST_HANA_STRING("name")) == hana::just("John")
+ );
+
+ BOOST_HANA_CONSTANT_CHECK(
+ hana::find(john, BOOST_HANA_STRING("foobar")) == hana::nothing
+ );
+
+
+ BOOST_HANA_RUNTIME_CHECK(
+ hana::all_of(hana::accessors<Person>(), [&](auto a) {
+ return hana::second(a)(john) == hana::second(a)(john);
+ })
+ );
+
+ // the above is equivalent to:
+ BOOST_HANA_RUNTIME_CHECK(hana::equal(john, john));
+}
diff --git a/src/boost/libs/hana/example/struct/to.cpp b/src/boost/libs/hana/example/struct/to.cpp
new file mode 100644
index 000000000..501f72608
--- /dev/null
+++ b/src/boost/libs/hana/example/struct/to.cpp
@@ -0,0 +1,30 @@
+// 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/core/to.hpp>
+#include <boost/hana/define_struct.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/map.hpp>
+#include <boost/hana/pair.hpp>
+#include <boost/hana/string.hpp>
+
+#include <string>
+namespace hana = boost::hana;
+
+
+struct Person {
+ BOOST_HANA_DEFINE_STRUCT(Person,
+ (std::string, name),
+ (unsigned short, age)
+ );
+};
+
+int main() {
+ Person john{"John", 30u};
+ BOOST_HANA_RUNTIME_CHECK(hana::to<hana::map_tag>(john) == hana::make_map(
+ hana::make_pair(BOOST_HANA_STRING("name"), "John"),
+ hana::make_pair(BOOST_HANA_STRING("age"), 30u)
+ ));
+}