Lines Matching refs:hana
30 namespace boost { namespace hana { namespace test { namespace
40 hana::for_each(applicatives, [](auto a) { in TestApplicative()
44 auto functions1 = hana::take_front( in TestApplicative()
45 hana::transform(applicatives, [](auto xs) { in TestApplicative()
46 return hana::transform(xs, hana::curry<2>(test::_injection<0>{})); in TestApplicative()
47 }), hana::int_c<3>); in TestApplicative()
49 auto functions2 = hana::take_front( in TestApplicative()
50 hana::transform(applicatives, [](auto xs) { in TestApplicative()
51 return hana::transform(xs, hana::curry<2>(test::_injection<1>{})); in TestApplicative()
52 }), hana::int_c<3>); in TestApplicative()
56 hana::for_each(applicatives, [](auto xs) { in TestApplicative()
57 BOOST_HANA_CHECK(hana::equal( in TestApplicative()
58 hana::ap(hana::lift<F>(hana::id), xs), in TestApplicative()
66 hana::for_each(applicatives, hana::capture(functions1, functions2)( in TestApplicative()
68 hana::for_each(functions1, hana::capture(functions2, xs)( in TestApplicative()
70 hana::for_each(functions2, hana::capture(xs, fs)( in TestApplicative()
72 BOOST_HANA_CHECK(hana::equal( in TestApplicative()
73 hana::ap(hana::ap(hana::lift<F>(compose), fs, gs), xs), in TestApplicative()
74 hana::ap(fs, hana::ap(gs, xs)) in TestApplicative()
83 BOOST_HANA_CONSTANT_CHECK(hana::equal( in TestApplicative()
84 hana::ap(hana::lift<F>(f), hana::lift<F>(x)), in TestApplicative()
85 hana::lift<F>(f(x)) in TestApplicative()
91 hana::for_each(functions1, [](auto fs) { in TestApplicative()
93 BOOST_HANA_CHECK(hana::equal( in TestApplicative()
94 hana::ap(fs, hana::lift<F>(x)), in TestApplicative()
95 hana::ap(hana::lift<F>(hana::_(x)), fs) in TestApplicative()
102 hana::for_each(applicatives, [](auto xs) { in TestApplicative()
104 BOOST_HANA_CHECK(hana::equal( in TestApplicative()
105 hana::transform(xs, f), in TestApplicative()
106 hana::ap(hana::lift<F>(f), xs) in TestApplicative()
129 BOOST_HANA_CONSTANT_CHECK(hana::equal(
130 hana::ap(list(), list()),
133 BOOST_HANA_CONSTANT_CHECK(hana::equal(
134 hana::ap(list(), list(ct_eq<0>{})),
137 BOOST_HANA_CONSTANT_CHECK(hana::equal(
138 hana::ap(list(), list(ct_eq<0>{}, ct_eq<1>{})),
141 BOOST_HANA_CONSTANT_CHECK(hana::equal(
142 hana::ap(list(), list(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
146 BOOST_HANA_CONSTANT_CHECK(hana::equal(
147 hana::ap(list(f), list()),
150 BOOST_HANA_CONSTANT_CHECK(hana::equal(
151 hana::ap(list(f), list(ct_eq<0>{})),
154 BOOST_HANA_CONSTANT_CHECK(hana::equal(
155 hana::ap(list(f), list(ct_eq<0>{}, ct_eq<1>{})),
158 BOOST_HANA_CONSTANT_CHECK(hana::equal(
159 hana::ap(list(f), list(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
163 BOOST_HANA_CONSTANT_CHECK(hana::equal(
164 hana::ap(list(f, g), list()),
167 BOOST_HANA_CONSTANT_CHECK(hana::equal(
168 hana::ap(list(f, g), list(ct_eq<0>{})),
171 BOOST_HANA_CONSTANT_CHECK(hana::equal(
172 hana::ap(list(f, g), list(ct_eq<0>{}, ct_eq<1>{})),
175 BOOST_HANA_CONSTANT_CHECK(hana::equal(
176 hana::ap(list(f, g), list(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
184 BOOST_HANA_CONSTANT_CHECK(hana::equal(
188 BOOST_HANA_CONSTANT_CHECK(hana::equal(