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/integral_constant.hpp> 6 #include <boost/hana/tuple.hpp> 7 8 #include <laws/orderable.hpp> 9 namespace hana = boost::hana; 10 11 main()12int main() { 13 constexpr auto ints = hana::make_tuple( 14 hana::int_c<-10>, 15 hana::int_c<-2>, 16 hana::int_c<0>, 17 hana::int_c<1>, 18 hana::int_c<3>, 19 hana::int_c<4> 20 ); 21 22 hana::test::TestOrderable<hana::integral_constant_tag<int>>{ints}; 23 } 24