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 "minimal.hpp"
6
7 #include <boost/hana/tuple.hpp>
8
9 #include <laws/euclidean_ring.hpp>
10 #include <laws/group.hpp>
11 #include <laws/monoid.hpp>
12 #include <laws/ring.hpp>
13 namespace hana = boost::hana;
14
15
main()16 int main() {
17 constexpr auto ints = hana::make_tuple(
18 minimal_constant<int, -3>{},
19 minimal_constant<int, 0>{},
20 minimal_constant<int, 1>{},
21 minimal_constant<int, 2>{},
22 minimal_constant<int, 3>{}
23 );
24
25 hana::test::TestMonoid<minimal_constant_tag<int>>{ints};
26 hana::test::TestGroup<minimal_constant_tag<int>>{ints};
27 hana::test::TestRing<minimal_constant_tag<int>>{ints};
28 hana::test::TestEuclideanRing<minimal_constant_tag<int>>{ints};
29 }
30