special.fill.cpp 1017 B

123456789101112131415161718192021222324252627282930313233343536
  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/equal.hpp>
  6. #include <boost/hana/fill.hpp>
  7. #include <boost/hana/tuple.hpp>
  8. #include <boost/hana/type.hpp>
  9. namespace hana = boost::hana;
  10. struct x1;
  11. struct x2;
  12. struct x3;
  13. struct z;
  14. int main() {
  15. // fill a tuple_t with a hana::type
  16. BOOST_HANA_CONSTANT_CHECK(hana::equal(
  17. hana::fill(hana::tuple_t<>, hana::type_c<z>),
  18. hana::tuple_t<>
  19. ));
  20. BOOST_HANA_CONSTANT_CHECK(hana::equal(
  21. hana::fill(hana::tuple_t<x1>, hana::type_c<z>),
  22. hana::tuple_t<z>
  23. ));
  24. BOOST_HANA_CONSTANT_CHECK(hana::equal(
  25. hana::fill(hana::tuple_t<x1, x2>, hana::type_c<z>),
  26. hana::tuple_t<z, z>
  27. ));
  28. BOOST_HANA_CONSTANT_CHECK(hana::equal(
  29. hana::fill(hana::tuple_t<x1, x2, x3>, hana::type_c<z>),
  30. hana::tuple_t<z, z, z>
  31. ));
  32. }