to.cpp 776 B

12345678910111213141516171819202122232425262728
  1. // Copyright Louis Dionne 2013-2017
  2. // Distributed under the Boost Software License, Version 1.0.
  3. // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
  4. #include <boost/hana/assert.hpp>
  5. #include <boost/hana/core/to.hpp>
  6. #include <boost/hana/equal.hpp>
  7. #include <boost/hana/integral_constant.hpp>
  8. #include <boost/hana/set.hpp>
  9. #include <boost/hana/tuple.hpp>
  10. #include <boost/hana/type.hpp>
  11. namespace hana = boost::hana;
  12. int main() {
  13. constexpr auto xs = hana::make_tuple(
  14. hana::int_c<1>,
  15. hana::int_c<3>,
  16. hana::type_c<int>,
  17. hana::long_c<1>
  18. );
  19. BOOST_HANA_CONSTANT_CHECK(
  20. hana::to<hana::set_tag>(xs)
  21. ==
  22. hana::make_set(hana::int_c<1>, hana::int_c<3>, hana::type_c<int>)
  23. );
  24. }