ceph/src/boost/libs/hana/test/ext/boost/mpl/vector/searchable.cpp

   1 // Copyright Louis Dionne 2013-2016
   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/ext/boost/mpl/vector.hpp>
   6
   7 #include <boost/hana/tuple.hpp>
   8
   9 #include <laws/searchable.hpp>
  10
  11 #include <boost/mpl/vector.hpp>
  12 namespace hana = boost::hana;
  13 namespace mpl = boost::mpl;
  14
  15
  16 struct t1; struct t2; struct t3; struct t4;
  17
  18 int main() {
  19     auto vectors = hana::make_tuple(
  20           mpl::vector<>{}
  21         , mpl::vector<t1>{}
  22         , mpl::vector<t1, t2>{}
  23         , mpl::vector<t1, t2, t3>{}
  24         , mpl::vector<t1, t2, t3, t4>{}
  25     );
  26
  27     auto keys = hana::tuple_t<t1, t2, void>;
  28
  29     hana::test::TestSearchable<hana::ext::boost::mpl::vector_tag>{vectors, keys};
  30 }