ceph/src/boost/libs/hana/test/ext/boost/fusion/tests.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_EXT_BOOST_FUSION_TESTS_HPP
   6 #define BOOST_HANA_TEST_EXT_BOOST_FUSION_TESTS_HPP
   7
   8 #include <boost/hana/assert.hpp>
   9 #include <boost/hana/at.hpp>
  10 #include <boost/hana/concept/sequence.hpp>
  11 #include <boost/hana/core/make.hpp>
  12 #include <boost/hana/drop_front.hpp>
  13 #include <boost/hana/equal.hpp>
  14 #include <boost/hana/integral_constant.hpp>
  15 #include <boost/hana/is_empty.hpp>
  16 #include <boost/hana/length.hpp>
  17 #include <boost/hana/not.hpp>
  18
  19 #include <laws/base.hpp>
  20 namespace hana = boost::hana;
  21 using hana::test::ct_eq;
  22
  23
  24 //
  25 // Before including this header, define the following macros:
  26 //
  27 //  MAKE_TUPLE(...)
  28 //      Must expand to a sequence holding __VA_ARGS__. A valid definition
  29 //      would be hana::make_tuple(__VA_ARGS__).
  30 //
  31 //  TUPLE_TYPE(...)
  32 //      Must expand to the type of a sequence holding objects of type __VA_ARGS__.
  33 //      A valid definition would be hana::tuple<__VA_ARGS__>.
  34 //
  35 //  TUPLE_TAG
  36 //      Must expand to the tag of the sequence. A valid definition would
  37 //      be hana::tuple_tag.
  38 //
  39
  40
  41 struct undefined { };
  42
  43 int main() {
  44     //////////////////////////////////////////////////////////////////////////
  45     // make<...>
  46     //////////////////////////////////////////////////////////////////////////
  47     {
  48         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  49             MAKE_TUPLE(),
  50             hana::make<TUPLE_TAG>()
  51         ));
  52
  53         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  54             MAKE_TUPLE(ct_eq<0>{}),
  55             hana::make<TUPLE_TAG>(ct_eq<0>{})
  56         ));
  57
  58         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  59             MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}),
  60             hana::make<TUPLE_TAG>(ct_eq<0>{}, ct_eq<1>{})
  61         ));
  62
  63         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  64             MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}),
  65             hana::make<TUPLE_TAG>(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})
  66         ));
  67     }
  68
  69     //////////////////////////////////////////////////////////////////////////
  70     // drop_front
  71     //////////////////////////////////////////////////////////////////////////
  72     {
  73         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  74             hana::drop_front(MAKE_TUPLE(ct_eq<0>{})),
  75             MAKE_TUPLE()
  76         ));
  77
  78         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  79             hana::drop_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})),
  80             MAKE_TUPLE(ct_eq<1>{})
  81         ));
  82
  83         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  84             hana::drop_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
  85             MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{})
  86         ));
  87
  88         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  89             hana::drop_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{})),
  90             MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{})
  91         ));
  92
  93
  94         BOOST_HANA_CONSTANT_CHECK(hana::equal(
  95             hana::drop_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}), hana::size_c<2>),
  96             MAKE_TUPLE(ct_eq<2>{})
  97         ));
  98
  99         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 100             hana::drop_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::size_c<2>),
 101             MAKE_TUPLE(ct_eq<2>{}, ct_eq<3>{})
 102         ));
 103
 104         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 105             hana::drop_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::size_c<3>),
 106             MAKE_TUPLE(ct_eq<3>{})
 107         ));
 108
 109         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 110             hana::drop_front(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::size_c<5>),
 111             MAKE_TUPLE()
 112         ));
 113     }
 114
 115     //////////////////////////////////////////////////////////////////////////
 116     // at
 117     //////////////////////////////////////////////////////////////////////////
 118     {
 119         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 120             hana::at_c<0>(MAKE_TUPLE(ct_eq<0>{})),
 121             ct_eq<0>{}
 122         ));
 123
 124         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 125             hana::at_c<0>(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})),
 126             ct_eq<0>{}
 127         ));
 128         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 129             hana::at_c<1>(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{})),
 130             ct_eq<1>{}
 131         ));
 132
 133         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 134             hana::at_c<0>(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
 135             ct_eq<0>{}
 136         ));
 137         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 138             hana::at_c<1>(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
 139             ct_eq<1>{}
 140         ));
 141         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 142             hana::at_c<2>(MAKE_TUPLE(ct_eq<0>{}, ct_eq<1>{}, ct_eq<2>{})),
 143             ct_eq<2>{}
 144         ));
 145     }
 146
 147     //////////////////////////////////////////////////////////////////////////
 148     // is_empty
 149     //////////////////////////////////////////////////////////////////////////
 150     {
 151         BOOST_HANA_CONSTANT_CHECK(hana::is_empty(
 152             MAKE_TUPLE()
 153         ));
 154
 155         BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(
 156             MAKE_TUPLE(undefined{})
 157         )));
 158
 159         BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(
 160             MAKE_TUPLE(undefined{}, undefined{})
 161         )));
 162     }
 163
 164     //////////////////////////////////////////////////////////////////////////
 165     // length
 166     //////////////////////////////////////////////////////////////////////////
 167     {
 168         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 169             hana::length(MAKE_TUPLE()),
 170             hana::size_c<0>
 171         ));
 172
 173         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 174             hana::length(MAKE_TUPLE(undefined{})),
 175             hana::size_c<1>
 176         ));
 177
 178         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 179             hana::length(MAKE_TUPLE(undefined{}, undefined{})),
 180             hana::size_c<2>
 181         ));
 182
 183         BOOST_HANA_CONSTANT_CHECK(hana::equal(
 184             hana::length(MAKE_TUPLE(undefined{}, undefined{}, undefined{})),
 185             hana::size_c<3>
 186         ));
 187     }
 188
 189     //////////////////////////////////////////////////////////////////////////
 190     // Sequence
 191     //////////////////////////////////////////////////////////////////////////
 192     {
 193         static_assert(hana::Sequence<TUPLE_TAG>::value, "");
 194     }
 195 }
 196
 197 #endif // !BOOST_HANA_TEST_EXT_BOOST_FUSION_TESTS_HPP