is_subset.cpp 570 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/is_subset.hpp>
  5. #include <boost/hana/tuple.hpp>
  6. namespace hana = boost::hana;
  7. static_assert(
  8. hana::is_subset(hana::make_tuple(1, '2', 3.3), hana::make_tuple(3.3, 1, '2', nullptr))
  9. , "");
  10. // is_subset can be applied in infix notation
  11. static_assert(
  12. hana::make_tuple(1, '2', 3.3) ^hana::is_subset^ hana::make_tuple(3.3, 1, '2', nullptr)
  13. , "");
  14. int main() { }