]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/hana/test/concept/constant/mcd.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)
7 #include <boost/hana/concept/constant.hpp>
8 #include <boost/hana/value.hpp>
9 namespace hana
= boost::hana
;
12 // Make sure we really satisfy Constant.
13 static_assert(hana::Constant
<minimal_constant
<int, 0>>::value
, "");
14 static_assert(hana::Constant
<minimal_constant
<int, 1>>::value
, "");
15 static_assert(hana::Constant
<minimal_constant
<int, 2>>::value
, "");
16 static_assert(hana::Constant
<minimal_constant
<int, 3>>::value
, "");
18 // Make sure we can use hana::value<> properly.
19 static_assert(hana::value
<minimal_constant
<int, 0>>() == 0, "");
20 static_assert(hana::value
<minimal_constant
<int, 1>>() == 1, "");
21 static_assert(hana::value
<minimal_constant
<int, 2>>() == 2, "");
22 static_assert(hana::value
<minimal_constant
<int, 3>>() == 3, "");
24 // Check the equivalence between `value(...)` and `value<decltype(...)>()`.
25 static_assert(hana::value(minimal_constant
<int, 0>{}) == hana::value
<minimal_constant
<int, 0>>(), "");
26 static_assert(hana::value(minimal_constant
<int, 1>{}) == hana::value
<minimal_constant
<int, 1>>(), "");
27 static_assert(hana::value(minimal_constant
<int, 2>{}) == hana::value
<minimal_constant
<int, 2>>(), "");
28 static_assert(hana::value(minimal_constant
<int, 3>{}) == hana::value
<minimal_constant
<int, 3>>(), "");