]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/hana/test/experimental/view/joined/unpack.cpp
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 #include <boost/hana/assert.hpp>
6 #include <boost/hana/equal.hpp>
7 #include <boost/hana/experimental/view.hpp>
8 #include <boost/hana/unpack.hpp>
10 #include <laws/base.hpp>
11 #include <support/seq.hpp>
12 namespace hana
= boost::hana
;
13 using hana::test::ct_eq
;
17 auto container
= ::seq
;
18 auto f
= hana::test::_injection
<0>{};
21 auto storage1
= container();
22 auto storage2
= container();
23 auto joined
= hana::experimental::joined(storage1
, storage2
);
24 BOOST_HANA_CONSTANT_CHECK(hana::equal(
25 hana::unpack(joined
, f
),
31 auto storage1
= container(ct_eq
<0>{});
32 auto storage2
= container();
33 auto joined
= hana::experimental::joined(storage1
, storage2
);
34 BOOST_HANA_CONSTANT_CHECK(hana::equal(
35 hana::unpack(joined
, f
),
39 auto storage1
= container();
40 auto storage2
= container(ct_eq
<0>{});
41 auto joined
= hana::experimental::joined(storage1
, storage2
);
42 BOOST_HANA_CONSTANT_CHECK(hana::equal(
43 hana::unpack(joined
, f
),
47 auto storage1
= container(ct_eq
<0>{});
48 auto storage2
= container(ct_eq
<1>{});
49 auto joined
= hana::experimental::joined(storage1
, storage2
);
50 BOOST_HANA_CONSTANT_CHECK(hana::equal(
51 hana::unpack(joined
, f
),
52 f(ct_eq
<0>{}, ct_eq
<1>{})
57 auto storage1
= container(ct_eq
<0>{}, ct_eq
<1>{});
58 auto storage2
= container();
59 auto joined
= hana::experimental::joined(storage1
, storage2
);
60 BOOST_HANA_CONSTANT_CHECK(hana::equal(
61 hana::unpack(joined
, f
),
62 f(ct_eq
<0>{}, ct_eq
<1>{})
65 auto storage1
= container();
66 auto storage2
= container(ct_eq
<0>{}, ct_eq
<1>{});
67 auto joined
= hana::experimental::joined(storage1
, storage2
);
68 BOOST_HANA_CONSTANT_CHECK(hana::equal(
69 hana::unpack(joined
, f
),
70 f(ct_eq
<0>{}, ct_eq
<1>{})
73 auto storage1
= container(ct_eq
<0>{}, ct_eq
<1>{});
74 auto storage2
= container(ct_eq
<2>{}, ct_eq
<3>{});
75 auto joined
= hana::experimental::joined(storage1
, storage2
);
76 BOOST_HANA_CONSTANT_CHECK(hana::equal(
77 hana::unpack(joined
, f
),
78 f(ct_eq
<0>{}, ct_eq
<1>{}, ct_eq
<2>{}, ct_eq
<3>{})