ceph/src/boost/libs/hana/test/tuple/special.front.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/front.hpp>
   8 #include <boost/hana/integral_constant.hpp>
   9 #include <boost/hana/tuple.hpp>
  10 #include <boost/hana/type.hpp>
  11 namespace hana = boost::hana;
  12
  13
  14 struct x0;
  15 struct x1;
  16 struct x2;
  17
  18 int main() {
  19     // tuple_t
  20     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  21         hana::front(hana::tuple_t<x0>),
  22         hana::type_c<x0>
  23     ));
  24     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  25         hana::front(hana::tuple_t<x0, x1>),
  26         hana::type_c<x0>
  27     ));
  28     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  29         hana::front(hana::tuple_t<x0, x1, x2>),
  30         hana::type_c<x0>
  31     ));
  32
  33     // tuple_c
  34     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  35         hana::front(hana::tuple_c<int, 0>),
  36         hana::int_c<0>
  37     ));
  38     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  39         hana::front(hana::tuple_c<int, 0, 1>),
  40         hana::int_c<0>
  41     ));
  42     BOOST_HANA_CONSTANT_CHECK(hana::equal(
  43         hana::front(hana::tuple_c<int, 0, 1, 2>),
  44         hana::int_c<0>
  45     ));
  46 }