ceph/src/boost/libs/hana/test/experimental/view/joined/unpack.cpp

   1 // Copyright Louis Dionne 2013-2016
   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)
   4
   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>
   9
  10 #include <laws/base.hpp>
  11 #include <support/seq.hpp>
  12 namespace hana = boost::hana;
  13 using hana::test::ct_eq;
  14
  15
  16 int main() {
  17     auto container = ::seq;
  18     auto f = hana::test::_injection<0>{};
  19
  20     {
  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),
  26             f()
  27         ));
  28     }
  29
  30     {
  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),
  36             f(ct_eq<0>{})
  37         ));
  38     }{
  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),
  44             f(ct_eq<0>{})
  45         ));
  46     }{
  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>{})
  53         ));
  54     }
  55
  56     {
  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>{})
  63         ));
  64     }{
  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>{})
  71         ));
  72     }{
  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>{})
  79         ));
  80     }
  81 }