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/integral_constant.hpp>
8 #include <boost/hana/string.hpp>
9 #include <boost/hana/unpack.hpp>
10
11 #include <laws/base.hpp>
12 namespace hana = boost::hana;
13
14
main()15 int main() {
16 hana::test::_injection<0> f{};
17
18 BOOST_HANA_CONSTANT_CHECK(hana::equal(
19 hana::unpack(BOOST_HANA_STRING(""), f),
20 f()
21 ));
22 BOOST_HANA_CONSTANT_CHECK(hana::equal(
23 hana::unpack(BOOST_HANA_STRING("a"), f),
24 f(hana::char_c<'a'>)
25 ));
26 BOOST_HANA_CONSTANT_CHECK(hana::equal(
27 hana::unpack(BOOST_HANA_STRING("ab"), f),
28 f(hana::char_c<'a'>, hana::char_c<'b'>)
29 ));
30 BOOST_HANA_CONSTANT_CHECK(hana::equal(
31 hana::unpack(BOOST_HANA_STRING("abc"), f),
32 f(hana::char_c<'a'>, hana::char_c<'b'>, hana::char_c<'c'>)
33 ));
34 BOOST_HANA_CONSTANT_CHECK(hana::equal(
35 hana::unpack(BOOST_HANA_STRING("abcd"), f),
36 f(hana::char_c<'a'>, hana::char_c<'b'>, hana::char_c<'c'>, hana::char_c<'d'>)
37 ));
38 BOOST_HANA_CONSTANT_CHECK(hana::equal(
39 hana::unpack(BOOST_HANA_STRING("abcde"), f),
40 f(hana::char_c<'a'>, hana::char_c<'b'>, hana::char_c<'c'>, hana::char_c<'d'>, hana::char_c<'e'>)
41 ));
42 }
43