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/concept/comparable.hpp> 6 #include <boost/hana/concept/euclidean_ring.hpp> 7 #include <boost/hana/concept/group.hpp> 8 #include <boost/hana/concept/monoid.hpp> 9 #include <boost/hana/concept/orderable.hpp> 10 #include <boost/hana/concept/ring.hpp> 11 #include <boost/hana/integral_constant.hpp> 12 namespace hana = boost::hana; 13 14 15 using T = decltype(hana::int_c<1>); 16 17 static_assert(hana::Comparable<T>::value, ""); 18 static_assert(hana::Orderable<T>::value, ""); 19 static_assert(hana::Monoid<T>::value, ""); 20 static_assert(hana::Group<T>::value, ""); 21 static_assert(hana::Ring<T>::value, ""); 22 static_assert(hana::EuclideanRing<T>::value, ""); 23 main()24int main() { } 25