_include/laws/functor.hpp

32 namespace boost { namespace hana { namespace test {  namespace
42             hana::for_each(xs, hana::capture(elements)([](auto elements, auto x) {  in TestFunctor()
49                 BOOST_HANA_CHECK(hana::equal(  in TestFunctor()
50                     hana::transform(x, id),  in TestFunctor()
55                 BOOST_HANA_CHECK(hana::equal(  in TestFunctor()
56                     hana::transform(x, hana::compose(f, g)),  in TestFunctor()
57                     hana::transform(hana::transform(x, g), f)  in TestFunctor()
61                 hana::for_each(elements, hana::capture(x, f, elements)(  in TestFunctor()
63                     BOOST_HANA_CHECK(hana::equal(  in TestFunctor()
64                         hana::adjust(x, value, f),  in TestFunctor()
65                         hana::adjust_if(x, hana::equal.to(value), f)  in TestFunctor()
68                     hana::for_each(elements, hana::capture(x, value)(  in TestFunctor()
70                         BOOST_HANA_CHECK(hana::equal(  in TestFunctor()
71                             hana::replace(x, oldval, newval),  in TestFunctor()
72                             hana::replace_if(x, hana::equal.to(oldval), newval)  in TestFunctor()
77                 auto pred = hana::always(true_c);  in TestFunctor()
78                 BOOST_HANA_CHECK(hana::equal(  in TestFunctor()
79                     hana::adjust_if(x, pred, f),  in TestFunctor()
80                     hana::transform(x, [=](auto z) {  in TestFunctor()
81                         return hana::eval_if(pred(z),  in TestFunctor()
82                             hana::make_lazy(f)(z),  in TestFunctor()
83                             hana::make_lazy(z)  in TestFunctor()
89                 BOOST_HANA_CHECK(hana::equal(  in TestFunctor()
90                     hana::replace_if(x, pred, v),  in TestFunctor()
91                     hana::adjust_if(x, pred, hana::always(v))  in TestFunctor()
94                 BOOST_HANA_CHECK(hana::equal(  in TestFunctor()
95                     hana::fill(x, v),  in TestFunctor()
96                     hana::replace_if(x, hana::always(true_c), v)  in TestFunctor()
124             BOOST_HANA_CONSTANT_CHECK(hana::equal(
125                 hana::replace_if(list(), undefined{}, undefined{}),
129             BOOST_HANA_CONSTANT_CHECK(hana::equal(
130                 hana::replace_if(list(ct_eq<0>{}), equal.to(a), undefined{}),
133             BOOST_HANA_CONSTANT_CHECK(hana::equal(
134                 hana::replace_if(list(a), equal.to(a), b),
138             BOOST_HANA_CONSTANT_CHECK(hana::equal(
139                 hana::replace_if(list(ct_eq<0>{}, ct_eq<1>{}), equal.to(a), undefined{}),
142             BOOST_HANA_CONSTANT_CHECK(hana::equal(
143                 hana::replace_if(list(a, ct_eq<1>{}), equal.to(a), b),
146             BOOST_HANA_CONSTANT_CHECK(hana::equal(
147                 hana::replace_if(list(ct_eq<0>{}, a), equal.to(a), b),
150             BOOST_HANA_CONSTANT_CHECK(hana::equal(
151                 hana::replace_if(list(a, a), equal.to(a), b),
155             BOOST_HANA_CONSTANT_CHECK(hana::equal(
156 …              hana::replace_if(list(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), equal.to(a), undefined{}),
159             BOOST_HANA_CONSTANT_CHECK(hana::equal(
160                 hana::replace_if(list(a, ct_eq<1>{}, ct_eq<2>{}), equal.to(a), b),
163             BOOST_HANA_CONSTANT_CHECK(hana::equal(
164                 hana::replace_if(list(ct_eq<0>{}, a, ct_eq<2>{}), equal.to(a), b),
167             BOOST_HANA_CONSTANT_CHECK(hana::equal(
168                 hana::replace_if(list(ct_eq<0>{}, ct_eq<1>{}, a), equal.to(a), b),
171             BOOST_HANA_CONSTANT_CHECK(hana::equal(
172                 hana::replace_if(list(a, ct_eq<1>{}, a), equal.to(a), b),
176             BOOST_HANA_CONSTANT_CHECK(hana::equal(
177                 hana::replace_if(list(a, ct_eq<1>{}, a, ct_eq<3>{}, a), equal.to(a), b),
189             BOOST_HANA_CONSTANT_CHECK(hana::equal(
190                 hana::replace(list(), undefined{}, undefined{}),
194             BOOST_HANA_CONSTANT_CHECK(hana::equal(
195                 hana::replace(list(ct_eq<0>{}), a, undefined{}),
198             BOOST_HANA_CONSTANT_CHECK(hana::equal(
199                 hana::replace(list(a), a, b),
203             BOOST_HANA_CONSTANT_CHECK(hana::equal(
204                 hana::replace(list(ct_eq<0>{}, ct_eq<1>{}), a, undefined{}),
207             BOOST_HANA_CONSTANT_CHECK(hana::equal(
208                 hana::replace(list(a, ct_eq<1>{}), a, b),
211             BOOST_HANA_CONSTANT_CHECK(hana::equal(
212                 hana::replace(list(ct_eq<0>{}, a), a, b),
215             BOOST_HANA_CONSTANT_CHECK(hana::equal(
216                 hana::replace(list(a, a), a, b),
220             BOOST_HANA_CONSTANT_CHECK(hana::equal(
221                 hana::replace(list(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), a, undefined{}),
224             BOOST_HANA_CONSTANT_CHECK(hana::equal(
225                 hana::replace(list(a, ct_eq<1>{}, ct_eq<2>{}), a, b),
228             BOOST_HANA_CONSTANT_CHECK(hana::equal(
229                 hana::replace(list(ct_eq<0>{}, a, ct_eq<2>{}), a, b),
232             BOOST_HANA_CONSTANT_CHECK(hana::equal(
233                 hana::replace(list(ct_eq<0>{}, ct_eq<1>{}, a), a, b),
236             BOOST_HANA_CONSTANT_CHECK(hana::equal(
237                 hana::replace(list(a, ct_eq<1>{}, a), a, b),
241             BOOST_HANA_CONSTANT_CHECK(hana::equal(
242                 hana::replace(list(a, ct_eq<1>{}, a, ct_eq<3>{}, a), a, b),