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)
5 #ifndef BOOST_HANA_TEST_AUTO_UNIQUE_HPP
6 #define BOOST_HANA_TEST_AUTO_UNIQUE_HPP
8 #include <boost/hana/assert.hpp>
9 #include <boost/hana/equal.hpp>
10 #include <boost/hana/unique.hpp>
12 #include "test_case.hpp"
13 #include <laws/base.hpp>
14 #include <support/equivalence_class.hpp>
17 TestCase test_unique{[]{
18 namespace hana = boost::hana;
19 using hana::test::ct_eq;
21 BOOST_HANA_CONSTANT_CHECK(hana::equal(
22 hana::unique(MAKE_TUPLE()),
26 BOOST_HANA_CONSTANT_CHECK(hana::equal(
27 hana::unique(MAKE_TUPLE(ct_eq<0>{})),
28 MAKE_TUPLE(ct_eq<0>{})
31 BOOST_HANA_CONSTANT_CHECK(hana::equal(
32 hana::unique(MAKE_TUPLE(ct_eq<0>{}, ct_eq<0>{})),
33 MAKE_TUPLE(ct_eq<0>{})
35 BOOST_HANA_CONSTANT_CHECK(hana::equal(
36 hana::unique(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})),
37 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})
40 BOOST_HANA_CONSTANT_CHECK(hana::equal(
41 hana::unique(MAKE_TUPLE(ct_eq<0>{}, ct_eq<0>{}, ct_eq<0>{})),
42 MAKE_TUPLE(ct_eq<0>{})
44 BOOST_HANA_CONSTANT_CHECK(hana::equal(
45 hana::unique(MAKE_TUPLE(ct_eq<0>{}, ct_eq<0>{}, ct_eq<1>{})),
46 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})
48 BOOST_HANA_CONSTANT_CHECK(hana::equal(
49 hana::unique(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<0>{})),
50 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<0>{})
52 BOOST_HANA_CONSTANT_CHECK(hana::equal(
53 hana::unique(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<1>{})),
54 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})
56 BOOST_HANA_CONSTANT_CHECK(hana::equal(
57 hana::unique(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
58 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})
61 BOOST_HANA_CONSTANT_CHECK(hana::equal(
62 hana::unique(MAKE_TUPLE(
63 ct_eq<0>{}, ct_eq<0>{},
65 ct_eq<2>{}, ct_eq<2>{}, ct_eq<2>{},
66 ct_eq<3>{}, ct_eq<3>{}, ct_eq<3>{},
68 MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<0>{})
72 TestCase test_unique_by{[]{
73 namespace hana = boost::hana;
74 using hana::test::ct_eq;
78 auto a = [](auto z) { return ::equivalence_class(ct_eq<999>{}, z); };
79 auto b = [](auto z) { return ::equivalence_class(ct_eq<888>{}, z); };
80 auto c = [](auto z) { return ::equivalence_class(ct_eq<777>{}, z); };
82 auto pred = [](auto x, auto y) {
83 return hana::equal(x.unwrap, y.unwrap);
86 BOOST_HANA_CONSTANT_CHECK(hana::equal(
87 hana::unique(MAKE_TUPLE(), undefined{}),
91 BOOST_HANA_CONSTANT_CHECK(hana::equal(
92 hana::unique(MAKE_TUPLE(a(ct_eq<0>{})), pred),
93 MAKE_TUPLE(a(ct_eq<0>{}))
96 BOOST_HANA_CONSTANT_CHECK(hana::equal(
97 hana::unique(MAKE_TUPLE(a(ct_eq<0>{}), b(ct_eq<0>{})), pred),
98 MAKE_TUPLE(a(ct_eq<0>{}))
100 BOOST_HANA_CONSTANT_CHECK(hana::equal(
101 hana::unique(MAKE_TUPLE(a(ct_eq<0>{}), a(ct_eq<1>{})), pred),
102 MAKE_TUPLE(a(ct_eq<0>{}), a(ct_eq<1>{}))
105 BOOST_HANA_CONSTANT_CHECK(hana::equal(
106 hana::unique(MAKE_TUPLE(a(ct_eq<0>{}), b(ct_eq<0>{}), c(ct_eq<0>{})), pred),
107 MAKE_TUPLE(a(ct_eq<0>{}))
109 BOOST_HANA_CONSTANT_CHECK(hana::equal(
110 hana::unique(MAKE_TUPLE(a(ct_eq<0>{}), b(ct_eq<0>{}), c(ct_eq<1>{})), pred),
111 MAKE_TUPLE(a(ct_eq<0>{}), c(ct_eq<1>{}))
113 BOOST_HANA_CONSTANT_CHECK(hana::equal(
114 hana::unique(MAKE_TUPLE(a(ct_eq<0>{}), a(ct_eq<1>{}), a(ct_eq<0>{})), pred),
115 MAKE_TUPLE(a(ct_eq<0>{}), a(ct_eq<1>{}), a(ct_eq<0>{}))
117 BOOST_HANA_CONSTANT_CHECK(hana::equal(
118 hana::unique(MAKE_TUPLE(a(ct_eq<0>{}), b(ct_eq<1>{}), b(ct_eq<1>{})), pred),
119 MAKE_TUPLE(a(ct_eq<0>{}), b(ct_eq<1>{}))
121 BOOST_HANA_CONSTANT_CHECK(hana::equal(
122 hana::unique(MAKE_TUPLE(a(ct_eq<0>{}), a(ct_eq<1>{}), a(ct_eq<2>{})), pred),
123 MAKE_TUPLE(a(ct_eq<0>{}), a(ct_eq<1>{}), a(ct_eq<2>{}))
126 BOOST_HANA_CONSTANT_CHECK(hana::equal(
127 hana::unique(MAKE_TUPLE(
128 a(ct_eq<0>{}), b(ct_eq<0>{}),
130 a(ct_eq<2>{}), b(ct_eq<2>{}), c(ct_eq<2>{}),
131 a(ct_eq<3>{}), b(ct_eq<3>{}), c(ct_eq<3>{}),
132 a(ct_eq<0>{})), pred),
133 MAKE_TUPLE(a(ct_eq<0>{}), a(ct_eq<1>{}), a(ct_eq<2>{}), a(ct_eq<3>{}), a(ct_eq<0>{}))
137 BOOST_HANA_CONSTANT_CHECK(hana::equal(
138 hana::unique.by(pred, MAKE_TUPLE(
139 a(ct_eq<0>{}), b(ct_eq<0>{}),
141 a(ct_eq<2>{}), b(ct_eq<2>{}), c(ct_eq<2>{}),
142 a(ct_eq<3>{}), b(ct_eq<3>{}), c(ct_eq<3>{}),
144 MAKE_TUPLE(a(ct_eq<0>{}), a(ct_eq<1>{}), a(ct_eq<2>{}), a(ct_eq<3>{}), a(ct_eq<0>{}))
147 BOOST_HANA_CONSTANT_CHECK(hana::equal(
148 hana::unique.by(pred)(MAKE_TUPLE(
149 a(ct_eq<0>{}), b(ct_eq<0>{}),
151 a(ct_eq<2>{}), b(ct_eq<2>{}), c(ct_eq<2>{}),
152 a(ct_eq<3>{}), b(ct_eq<3>{}), c(ct_eq<3>{}),
154 MAKE_TUPLE(a(ct_eq<0>{}), a(ct_eq<1>{}), a(ct_eq<2>{}), a(ct_eq<3>{}), a(ct_eq<0>{}))
158 #endif // !BOOST_HANA_TEST_AUTO_UNIQUE_HPP