ceph/src/boost/libs/hana/example/then.cpp

   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 #include <boost/hana/equal.hpp>
   6 #include <boost/hana/then.hpp>
   7 #include <boost/hana/tuple.hpp>
   8 namespace hana = boost::hana;
   9
  10
  11 struct undefined { };
  12 static_assert(
  13     hana::then(hana::make_tuple(undefined{}, undefined{}), hana::make_tuple(1, 2, 3))
  14         ==
  15     hana::make_tuple(
  16         1, 2, 3,
  17         1, 2, 3
  18     )
  19 , "");
  20
  21 int main() { }