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/experimental/view.hpp>
8 #include <boost/hana/integral_constant.hpp>
9 #include <boost/hana/length.hpp>
10
11 #include <support/seq.hpp>
12 namespace hana = boost::hana;
13
14
15 template <int> struct undefined { };
16
main()17 int main() {
18 auto container = ::seq;
19
20 {
21 auto storage = container();
22 auto transformed = hana::experimental::transformed(storage, undefined<99>{});
23 BOOST_HANA_CONSTANT_CHECK(hana::equal(
24 hana::length(transformed),
25 hana::size_c<0>
26 ));
27 }{
28 auto storage = container(undefined<0>{});
29 auto transformed = hana::experimental::transformed(storage, undefined<99>{});
30 BOOST_HANA_CONSTANT_CHECK(hana::equal(
31 hana::length(transformed),
32 hana::size_c<1>
33 ));
34 }{
35 auto storage = container(undefined<0>{}, undefined<1>{});
36 auto transformed = hana::experimental::transformed(storage, undefined<99>{});
37 BOOST_HANA_CONSTANT_CHECK(hana::equal(
38 hana::length(transformed),
39 hana::size_c<2>
40 ));
41 }{
42 auto storage = container(undefined<0>{}, undefined<1>{}, undefined<2>{});
43 auto transformed = hana::experimental::transformed(storage, undefined<99>{});
44 BOOST_HANA_CONSTANT_CHECK(hana::equal(
45 hana::length(transformed),
46 hana::size_c<3>
47 ));
48 }
49 }
50