summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/hana/example/struct
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/boost/libs/hana/example/struct.custom_accessor.cpp68
-rw-r--r--src/boost/libs/hana/example/struct.mcd.nested.cpp57
-rw-r--r--src/boost/libs/hana/example/struct.mcd.tag_dispatching.cpp63
-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
8 files changed, 352 insertions, 0 deletions
diff --git a/src/boost/libs/hana/example/struct.custom_accessor.cpp b/src/boost/libs/hana/example/struct.custom_accessor.cpp
new file mode 100644
index 000000000..1328d01c9
--- /dev/null
+++ b/src/boost/libs/hana/example/struct.custom_accessor.cpp
@@ -0,0 +1,68 @@
+// 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/config.hpp>
+#include <boost/hana/core/to.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/find.hpp>
+#include <boost/hana/functional/id.hpp>
+#include <boost/hana/fwd/accessors.hpp>
+#include <boost/hana/integral_constant.hpp>
+#include <boost/hana/not_equal.hpp>
+#include <boost/hana/pair.hpp>
+#include <boost/hana/string.hpp>
+#include <boost/hana/tuple.hpp>
+
+#include <string>
+#include <utility>
+namespace hana = boost::hana;
+
+
+//! [main]
+struct Person {
+ Person(std::string const& name, int age) : name_(name), age_(age) { }
+
+ std::string const& get_name() const { return name_; }
+ int get_age() const { return age_; }
+
+private:
+ std::string name_;
+ int age_;
+};
+
+namespace boost { namespace hana {
+ template <>
+ struct accessors_impl<Person> {
+ static BOOST_HANA_CONSTEXPR_LAMBDA auto apply() {
+ return make_tuple(
+ make_pair(BOOST_HANA_STRING("name"), [](auto&& p) -> std::string const& {
+ return p.get_name();
+ }),
+ make_pair(BOOST_HANA_STRING("age"), [](auto&& p) {
+ return p.get_age();
+ })
+ );
+ }
+ };
+}}
+//! [main]
+
+int main() {
+ auto name = BOOST_HANA_STRING("name");
+ auto age = BOOST_HANA_STRING("age");
+
+ Person john{"John", 30}, bob{"Bob", 40};
+ BOOST_HANA_RUNTIME_CHECK(hana::equal(john, john));
+ BOOST_HANA_RUNTIME_CHECK(hana::not_equal(john, bob));
+
+ BOOST_HANA_RUNTIME_CHECK(hana::find(john, name) == hana::just("John"));
+ BOOST_HANA_RUNTIME_CHECK(hana::find(john, age) == hana::just(30));
+ BOOST_HANA_CONSTANT_CHECK(hana::find(john, BOOST_HANA_STRING("foo")) == hana::nothing);
+
+ BOOST_HANA_RUNTIME_CHECK(hana::to_tuple(john) == hana::make_tuple(
+ hana::make_pair(name, "John"),
+ hana::make_pair(age, 30)
+ ));
+}
diff --git a/src/boost/libs/hana/example/struct.mcd.nested.cpp b/src/boost/libs/hana/example/struct.mcd.nested.cpp
new file mode 100644
index 000000000..3ba10a374
--- /dev/null
+++ b/src/boost/libs/hana/example/struct.mcd.nested.cpp
@@ -0,0 +1,57 @@
+// 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/concept/struct.hpp>
+#include <boost/hana/config.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/find.hpp>
+#include <boost/hana/functional/id.hpp>
+#include <boost/hana/integral_constant.hpp>
+#include <boost/hana/not_equal.hpp>
+#include <boost/hana/pair.hpp>
+#include <boost/hana/string.hpp>
+#include <boost/hana/tuple.hpp>
+
+#include <string>
+#include <utility>
+namespace hana = boost::hana;
+
+
+//! [main]
+struct Person {
+ std::string name;
+ int age;
+
+ struct hana_accessors_impl {
+ static BOOST_HANA_CONSTEXPR_LAMBDA auto apply() {
+ return boost::hana::make_tuple(
+ boost::hana::make_pair(BOOST_HANA_STRING("name"),
+ [](auto&& p) -> decltype(auto) {
+ return boost::hana::id(std::forward<decltype(p)>(p).name);
+ }),
+ boost::hana::make_pair(BOOST_HANA_STRING("age"),
+ [](auto&& p) -> decltype(auto) {
+ return boost::hana::id(std::forward<decltype(p)>(p).age);
+ })
+ );
+ }
+ };
+};
+//! [main]
+
+int main() {
+ Person john{"John", 30}, bob{"Bob", 40};
+ BOOST_HANA_RUNTIME_CHECK(hana::equal(john, john));
+ BOOST_HANA_RUNTIME_CHECK(hana::not_equal(john, bob));
+
+ BOOST_HANA_RUNTIME_CHECK(hana::find(john, BOOST_HANA_STRING("name")) == hana::just("John"));
+ BOOST_HANA_RUNTIME_CHECK(hana::find(john, BOOST_HANA_STRING("age")) == hana::just(30));
+ BOOST_HANA_CONSTANT_CHECK(hana::find(john, BOOST_HANA_STRING("foo")) == hana::nothing);
+
+ BOOST_HANA_RUNTIME_CHECK(hana::to_tuple(john) == hana::make_tuple(
+ hana::make_pair(BOOST_HANA_STRING("name"), "John"),
+ hana::make_pair(BOOST_HANA_STRING("age"), 30)
+ ));
+}
diff --git a/src/boost/libs/hana/example/struct.mcd.tag_dispatching.cpp b/src/boost/libs/hana/example/struct.mcd.tag_dispatching.cpp
new file mode 100644
index 000000000..9788e8305
--- /dev/null
+++ b/src/boost/libs/hana/example/struct.mcd.tag_dispatching.cpp
@@ -0,0 +1,63 @@
+// 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/config.hpp>
+#include <boost/hana/core/to.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/find.hpp>
+#include <boost/hana/functional/id.hpp>
+#include <boost/hana/fwd/accessors.hpp>
+#include <boost/hana/integral_constant.hpp>
+#include <boost/hana/not_equal.hpp>
+#include <boost/hana/pair.hpp>
+#include <boost/hana/string.hpp>
+#include <boost/hana/tuple.hpp>
+
+#include <string>
+#include <utility>
+namespace hana = boost::hana;
+
+
+//! [main]
+struct Person {
+ std::string name;
+ int age;
+};
+
+// The keys can be anything as long as they are compile-time comparable.
+constexpr auto name = hana::integral_c<std::string Person::*, &Person::name>;
+constexpr auto age = hana::string_c<'a', 'g', 'e'>;
+
+namespace boost { namespace hana {
+ template <>
+ struct accessors_impl<Person> {
+ static BOOST_HANA_CONSTEXPR_LAMBDA auto apply() {
+ return make_tuple(
+ make_pair(name, [](auto&& p) -> decltype(auto) {
+ return id(std::forward<decltype(p)>(p).name);
+ }),
+ make_pair(age, [](auto&& p) -> decltype(auto) {
+ return id(std::forward<decltype(p)>(p).age);
+ })
+ );
+ }
+ };
+}}
+//! [main]
+
+int main() {
+ Person john{"John", 30}, bob{"Bob", 40};
+ BOOST_HANA_RUNTIME_CHECK(hana::equal(john, john));
+ BOOST_HANA_RUNTIME_CHECK(hana::not_equal(john, bob));
+
+ BOOST_HANA_RUNTIME_CHECK(hana::find(john, name) == hana::just("John"));
+ BOOST_HANA_RUNTIME_CHECK(hana::find(john, age) == hana::just(30));
+ BOOST_HANA_CONSTANT_CHECK(hana::find(john, BOOST_HANA_STRING("foo")) == hana::nothing);
+
+ BOOST_HANA_RUNTIME_CHECK(hana::to_tuple(john) == hana::make_tuple(
+ hana::make_pair(name, "John"),
+ hana::make_pair(age, 30)
+ ));
+}
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)
+ ));
+}
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-12 08:57:36 +0000