1// Copyright Louis Dionne 2013-2022
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>
12namespace hana = boost::hana;
13
14
15int 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

source code of boost/libs/hana/test/string/unpack.cpp