summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/hana/test/ext/boost/mpl/vector/to.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/boost/libs/hana/test/ext/boost/mpl/vector/to.cpp')
-rw-r--r--src/boost/libs/hana/test/ext/boost/mpl/vector/to.cpp49
1 files changed, 49 insertions, 0 deletions
diff --git a/src/boost/libs/hana/test/ext/boost/mpl/vector/to.cpp b/src/boost/libs/hana/test/ext/boost/mpl/vector/to.cpp
new file mode 100644
index 000000000..0ebb6d47c
--- /dev/null
+++ b/src/boost/libs/hana/test/ext/boost/mpl/vector/to.cpp
@@ -0,0 +1,49 @@
+// 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/ext/boost/mpl/vector.hpp>
+
+#include <boost/hana/assert.hpp>
+#include <boost/hana/core/to.hpp>
+#include <boost/hana/equal.hpp>
+#include <boost/hana/type.hpp>
+
+#include <support/seq.hpp>
+
+#include <boost/mpl/vector.hpp>
+namespace hana = boost::hana;
+namespace mpl = boost::mpl;
+
+
+struct t1; struct t2; struct t3; struct t4;
+
+int main() {
+ // Conversion from any `Foldable` containing `type`s
+ auto foldable = ::seq;
+ auto to_vector = hana::to<hana::ext::boost::mpl::vector_tag>;
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ to_vector(foldable()),
+ mpl::vector<>{}
+ ));
+
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ to_vector(foldable(hana::type_c<t1>)),
+ mpl::vector<t1>{}
+ ));
+
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ to_vector(foldable(hana::type_c<t1>, hana::type_c<t2>)),
+ mpl::vector<t1, t2>{}
+ ));
+
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ to_vector(foldable(hana::type_c<t1>, hana::type_c<t2>, hana::type_c<t3>)),
+ mpl::vector<t1, t2, t3>{}
+ ));
+
+ BOOST_HANA_CONSTANT_CHECK(hana::equal(
+ to_vector(foldable(hana::type_c<t1>, hana::type_c<t2>, hana::type_c<t3>, hana::type_c<t4>)),
+ mpl::vector<t1, t2, t3, t4>{}
+ ));
+}