is_empty.cpp 562 B

12345678910111213141516171819
  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/experimental/view.hpp>
  6. #include <boost/hana/is_empty.hpp>
  7. #include <boost/hana/not.hpp>
  8. namespace hana = boost::hana;
  9. template <int> struct undefined { };
  10. int main() {
  11. {
  12. auto single = hana::experimental::single_view(undefined<0>{});
  13. BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(single)));
  14. }
  15. }