ceph/src/boost/libs/hana/test/_include/auto/span.hpp

   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 #ifndef BOOST_HANA_TEST_AUTO_SPAN_HPP
   6 #define BOOST_HANA_TEST_AUTO_SPAN_HPP
   7
   8 #include <boost/hana/assert.hpp>
   9 #include <boost/hana/equal.hpp>
  10 #include <boost/hana/span.hpp>
  11
  12 #include "test_case.hpp"
  13 #include <laws/base.hpp>
  14 #include <support/minimal_product.hpp>
  15
  16
  17 TestCase test_span{[]{
  18     namespace hana = boost::hana;
  19     using hana::test::ct_eq;
  20
  21     auto z = ct_eq<999>{};
  22     auto pair = ::minimal_product;
  23
  24     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  25         hana::span(MAKE_TUPLE(), hana::equal.to(z)),
  26         pair(MAKE_TUPLE(), MAKE_TUPLE())
  27     ));
  28
  29     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  30         hana::span(MAKE_TUPLE(ct_eq<0>{}), hana::equal.to(z)),
  31         pair(MAKE_TUPLE(), MAKE_TUPLE(ct_eq<0>{}))
  32     ));
  33     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  34         hana::span(MAKE_TUPLE(z), hana::equal.to(z)),
  35         pair(MAKE_TUPLE(z), MAKE_TUPLE())
  36     ));
  37
  38     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  39         hana::span(MAKE_TUPLE(ct_eq<0>{}, z), hana::equal.to(z)),
  40         pair(MAKE_TUPLE(), MAKE_TUPLE(ct_eq<0>{}, z))
  41     ));
  42     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  43         hana::span(MAKE_TUPLE(z, ct_eq<0>{}), hana::equal.to(z)),
  44         pair(MAKE_TUPLE(z), MAKE_TUPLE(ct_eq<0>{}))
  45     ));
  46     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  47         hana::span(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), hana::equal.to(z)),
  48         pair(MAKE_TUPLE(), MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}))
  49     ));
  50
  51     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  52         hana::span(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), hana::equal.to(z)),
  53         pair(MAKE_TUPLE(), MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}))
  54     ));
  55     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  56         hana::span(MAKE_TUPLE(z, ct_eq<1>{}, ct_eq<2>{}), hana::equal.to(z)),
  57         pair(MAKE_TUPLE(z), MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}))
  58     ));
  59     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  60         hana::span(MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<2>{}), hana::equal.to(z)),
  61         pair(MAKE_TUPLE(), MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<2>{}))
  62     ));
  63     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  64         hana::span(MAKE_TUPLE(z, z, ct_eq<2>{}), hana::equal.to(z)),
  65         pair(MAKE_TUPLE(z, z), MAKE_TUPLE(ct_eq<2>{}))
  66     ));
  67     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  68         hana::span(MAKE_TUPLE(z, z, z), hana::equal.to(z)),
  69         pair(MAKE_TUPLE(z, z, z), MAKE_TUPLE())
  70     ));
  71
  72     // span.by
  73     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  74         hana::span.by(hana::equal.to(z), MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
  75         hana::span(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), hana::equal.to(z))
  76     ));
  77
  78     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  79         hana::span.by(hana::equal.to(z))(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
  80         hana::span(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), hana::equal.to(z))
  81     ));
  82 }};
  83
  84 #endif // !BOOST_HANA_TEST_AUTO_SPAN_HPP