libs/hana/example/is_subset.cpp

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