monad_plus.cpp 872 B

123456789101112131415161718192021222324252627
  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/append.hpp>
  5. #include <boost/hana/assert.hpp>
  6. #include <boost/hana/concat.hpp>
  7. #include <boost/hana/empty.hpp>
  8. #include <boost/hana/equal.hpp>
  9. #include <boost/hana/tuple.hpp>
  10. #include <string>
  11. namespace hana = boost::hana;
  12. using namespace std::string_literals;
  13. BOOST_HANA_CONSTANT_CHECK(hana::empty<hana::tuple_tag>() == hana::make_tuple());
  14. static_assert(hana::append(hana::make_tuple(1, '2', 3.3), nullptr)
  15. == hana::make_tuple(1, '2', 3.3, nullptr), "");
  16. int main() {
  17. BOOST_HANA_RUNTIME_CHECK(
  18. hana::concat(hana::make_tuple(1, '2', 3.3), hana::make_tuple("abcdef"s)) ==
  19. hana::make_tuple(1, '2', 3.3, "abcdef"s)
  20. );
  21. }