equal.cpp 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  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/experimental/view.hpp>
  7. #include <boost/hana/functional/id.hpp>
  8. #include <boost/hana/not.hpp>
  9. #include <support/seq.hpp>
  10. namespace hana = boost::hana;
  11. int main() {
  12. auto container = ::seq;
  13. auto xs = container(0, '1', 2.2);
  14. auto tr = hana::experimental::transformed(xs, hana::id);
  15. BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::equal(
  16. tr,
  17. container()
  18. )));
  19. BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::equal(
  20. tr,
  21. container(0)
  22. )));
  23. BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::equal(
  24. tr,
  25. container(0, '1')
  26. )));
  27. BOOST_HANA_RUNTIME_CHECK(hana::equal(
  28. tr,
  29. container(0, '1', 2.2)
  30. ));
  31. BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::equal(
  32. tr,
  33. container(0, '1', 2.2, 345)
  34. )));
  35. BOOST_HANA_RUNTIME_CHECK(hana::not_(hana::equal(
  36. tr,
  37. container('0', '1', '2')
  38. )));
  39. }