ceph/src/boost/libs/hana/test/type/laws.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/tuple.hpp>
   6 #include <boost/hana/type.hpp>
   7
   8 #include <laws/comparable.hpp>
   9 #include <laws/hashable.hpp>
  10 namespace hana = boost::hana;
  11
  12
  13 struct T;
  14
  15 int main() {
  16     auto types = hana::make_tuple(
  17         hana::type_c<T>,
  18         hana::type_c<T*>,
  19         hana::type_c<T&>,
  20         hana::type_c<T&&>,
  21         hana::type_c<T const>,
  22         hana::type_c<T volatile>,
  23         hana::type_c<T const volatile>
  24     );
  25
  26     hana::test::TestComparable<hana::type_tag>{types};
  27     hana::test::TestHashable<hana::type_tag>{types};
  28 }