ceph/src/boost/libs/hana/test/tuple/special.prepend.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)
   4
   5 #include <boost/hana/assert.hpp>
   6 #include <boost/hana/equal.hpp>
   7 #include <boost/hana/integral_constant.hpp>
   8 #include <boost/hana/prepend.hpp>
   9 #include <boost/hana/tuple.hpp>
  10 namespace hana = boost::hana;
  11
  12
  13 int main() {
  14     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  15         hana::prepend(hana::tuple_c<long>, hana::long_c<0>),
  16         hana::tuple_c<long, 0>
  17     ));
  18     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  19         hana::prepend(hana::tuple_c<unsigned int, 1>, hana::uint_c<0>),
  20         hana::tuple_c<unsigned int, 0, 1>
  21     ));
  22     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  23         hana::prepend(hana::tuple_c<long long, 1, 2>, hana::llong_c<0>),
  24         hana::tuple_c<long long, 0, 1, 2>
  25     ));
  26     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  27         hana::prepend(hana::tuple_c<unsigned long, 1, 2, 3>, hana::ulong_c<0>),
  28         hana::tuple_c<unsigned long, 0, 1, 2, 3>
  29     ));
  30 }