Lines Matching refs:hana
19 namespace hana = boost::hana;
46 return hana::if_(p(x), x, y); in doubleton()
50 namespace boost { namespace hana { namespace
124 return if_(p(x), hana::just(x), hana::nothing); in apply()
155 namespace hana = boost::hana;
162 constexpr auto c = hana::int_c<i>;
165 auto f = [](auto n) { return n + hana::int_c<10>; }; in main()
166 auto g = [](auto n) { return n + hana::int_c<100>; }; in main()
170 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
171 hana::union_(singleton(c<0>), singleton(c<0>)), in main()
174 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
175 hana::union_(singleton(c<0>), singleton(c<1>)), in main()
178 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
179 hana::union_(singleton(c<0>), doubleton(c<0>, c<1>)), in main()
188 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(singleton(n<0>), singleton(n<0>))); in main()
189 BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(singleton(n<0>), singleton(n<1>)))); in main()
191 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(singleton(n<0>), doubleton(n<0>, n<0>))); in main()
192 … BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(singleton(n<0>), doubleton(n<0>, n<1>)))); in main()
193 … BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(singleton(n<0>), doubleton(n<1>, n<1>)))); in main()
195 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(doubleton(n<0>, n<1>), doubleton(n<0>, n<1>))); in main()
196 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(doubleton(n<0>, n<1>), doubleton(n<1>, n<0>))); in main()
197 … BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(doubleton(n<0>, n<1>), doubleton(n<0>, n<0>)))); in main()
198 … BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(doubleton(n<0>, n<1>), doubleton(n<3>, n<4>)))); in main()
206 BOOST_HANA_CONSTEXPR_CHECK(hana::equal( in main()
207 hana::transform(singleton(n<0>), f), in main()
210 BOOST_HANA_CONSTEXPR_CHECK(hana::equal( in main()
211 hana::transform(doubleton(n<0>, n<1>), f), in main()
214 BOOST_HANA_CONSTEXPR_CHECK(hana::equal( in main()
215 hana::transform(doubleton(n<0>, n<0>), f), in main()
225 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
226 hana::ap(singleton(f), singleton(c<0>)), in main()
229 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
230 hana::ap(singleton(f), doubleton(c<0>, c<1>)), in main()
234 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
235 hana::ap(doubleton(f, g), singleton(c<0>)), in main()
238 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
239 hana::ap(doubleton(f, g), doubleton(c<0>, c<1>)), in main()
240 hana::union_(doubleton(f(c<0>), f(c<1>)), in main()
247 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
248 hana::lift<infinite_set_tag>(c<0>), in main()
258 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
259 hana::flatten(singleton(singleton(c<0>))), in main()
262 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
263 hana::flatten(singleton(doubleton(c<0>, c<1>))), in main()
267 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
268 hana::flatten(doubleton(singleton(c<0>), singleton(c<1>))), in main()
271 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
272 hana::flatten(doubleton(doubleton(c<0>, c<1>), singleton(c<2>))), in main()
273 hana::union_(doubleton(c<0>, c<1>), singleton(c<2>)) in main()
275 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
276 hana::flatten(doubleton(singleton(c<0>), doubleton(c<1>, c<2>))), in main()
277 hana::union_(doubleton(c<0>, c<1>), singleton(c<2>)) in main()
279 BOOST_HANA_CONSTANT_CHECK(hana::equal( in main()
280 hana::flatten(doubleton(doubleton(c<0>, c<1>), doubleton(c<2>, c<3>))), in main()
281 hana::union_(doubleton(c<0>, c<1>), doubleton(c<2>, c<3>)) in main()
290 BOOST_HANA_CONSTEXPR_CHECK(hana::any_of(singleton(n<0>), hana::equal.to(n<0>))); in main()
291 … BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::any_of(singleton(n<0>), hana::equal.to(n<1>)))); in main()
292 BOOST_HANA_CONSTEXPR_CHECK(hana::any_of(doubleton(n<0>, n<1>), hana::equal.to(n<0>))); in main()
293 BOOST_HANA_CONSTEXPR_CHECK(hana::any_of(doubleton(n<0>, n<1>), hana::equal.to(n<1>))); in main()
294 … BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::any_of(doubleton(n<0>, n<1>), hana::equal.to(n<2>)))); in main()
299 …BOOST_HANA_CONSTANT_CHECK(hana::find_if(singleton(c<0>), hana::equal.to(c<0>)) == hana::just(c<0>)… in main()
300 … BOOST_HANA_CONSTANT_CHECK(hana::find_if(singleton(c<1>), hana::equal.to(c<0>)) == hana::nothing); in main()
302 …BOOST_HANA_CONSTANT_CHECK(hana::find_if(doubleton(c<0>, c<1>), hana::equal.to(c<0>)) == hana::just… in main()
303 …BOOST_HANA_CONSTANT_CHECK(hana::find_if(doubleton(c<0>, c<1>), hana::equal.to(c<1>)) == hana::just… in main()
304 …BOOST_HANA_CONSTANT_CHECK(hana::find_if(doubleton(c<0>, c<1>), hana::equal.to(c<2>)) == hana::noth… in main()
309 BOOST_HANA_CONSTEXPR_CHECK(hana::is_subset(singleton(n<0>), singleton(n<0>))); in main()
310 … BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::is_subset(singleton(n<1>), singleton(n<0>)))); in main()
312 BOOST_HANA_CONSTEXPR_CHECK(hana::is_subset(singleton(n<0>), doubleton(n<0>, n<1>))); in main()
313 BOOST_HANA_CONSTEXPR_CHECK(hana::is_subset(singleton(n<1>), doubleton(n<0>, n<1>))); in main()
314 … BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::is_subset(singleton(n<2>), doubleton(n<0>, n<1>)))); in main()
316 … BOOST_HANA_CONSTEXPR_CHECK(hana::is_subset(doubleton(n<0>, n<1>), doubleton(n<0>, n<1>))); in main()
317 …BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::is_subset(doubleton(n<0>, n<2>), doubleton(n<0>, n<1>)… in main()
318 …BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::is_subset(doubleton(n<2>, n<3>), doubleton(n<0>, n<1>)… in main()