Imported Upstream version 1.64.0
[platform/upstream/boost.git] / libs / hana / example / ext / std / integer_sequence / iterable.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/at.hpp>
7 #include <boost/hana/equal.hpp>
8 #include <boost/hana/ext/std/integer_sequence.hpp>
9 #include <boost/hana/ext/std/integral_constant.hpp>
10
11 #include <type_traits>
12 #include <utility>
13 namespace hana = boost::hana;
14
15
16 constexpr std::integer_sequence<int, 0, 1, 2, 3, 4> indices{};
17
18 BOOST_HANA_CONSTANT_CHECK(hana::equal(
19     hana::at_c<2>(indices),
20     std::integral_constant<int, 2>{}
21 ));
22
23 int main() { }