ceph/src/boost/libs/hana/test/_include/auto/intersperse.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_INTERSPERSE_HPP
   6 #define BOOST_HANA_TEST_AUTO_INTERSPERSE_HPP
   7
   8 #include <boost/hana/assert.hpp>
   9 #include <boost/hana/equal.hpp>
  10 #include <boost/hana/intersperse.hpp>
  11
  12 #include "test_case.hpp"
  13 #include <laws/base.hpp>
  14
  15
  16 TestCase test_intersperse{[]{
  17     namespace hana = boost::hana;
  18     using hana::test::ct_eq;
  19
  20     struct undefined { };
  21
  22     auto z = ct_eq<999>{};
  23
  24     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  25         hana::intersperse(MAKE_TUPLE(), undefined{}),
  26         MAKE_TUPLE()
  27     ));
  28     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  29         hana::intersperse(MAKE_TUPLE(ct_eq<0>{}), undefined{}),
  30         MAKE_TUPLE(ct_eq<0>{})
  31     ));
  32     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  33         hana::intersperse(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}), z),
  34         MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<1>{})
  35     ));
  36     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  37         hana::intersperse(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), z),
  38         MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<1>{}, z, ct_eq<2>{})
  39     ));
  40     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  41         hana::intersperse(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), z),
  42         MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<1>{}, z, ct_eq<2>{}, z, ct_eq<3>{})
  43     ));
  44     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  45         hana::intersperse(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<4>{}), z),
  46         MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<1>{}, z, ct_eq<2>{}, z, ct_eq<3>{}, z, ct_eq<4>{})
  47     ));
  48     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  49         hana::intersperse(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}, ct_eq<4>{}, ct_eq<5>{}), z),
  50         MAKE_TUPLE(ct_eq<0>{}, z, ct_eq<1>{}, z, ct_eq<2>{}, z, ct_eq<3>{}, z, ct_eq<4>{}, z, ct_eq<5>{})
  51     ));
  52 }};
  53
  54 #endif // !BOOST_HANA_TEST_AUTO_INTERSPERSE_HPP