boost/hana
2
0
Fork 0
mirror of https://github.com/boostorg/hana.git synced 2026-02-21 03:02:11 +00:00
Code Issues Projects Releases Wiki Activity

Reorganize the unit tests and increase the overall coverage.

Browse Source
This commit is contained in:
Louis Dionne
2014-10-28 19:54:30 -04:00
parent 217e1d2b46
commit 647ad436b0
303 changed files with 10251 additions and 11282 deletions
Download Patch File Download Diff File Expand all files Collapse all files

67
test/string/foldable.cpp
View File

@@ -1,67 +0,0 @@
/*
@copyright Louis Dionne 2014
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
*/
#include <boost/hana/string.hpp>
#include <boost/hana/detail/assert.hpp>
#include <boost/hana/integral.hpp>
#include <test/injection.hpp>
#include <test/laws/foldable.hpp>
using namespace boost::hana;
int main() {
BOOST_HANA_CONSTEXPR_LAMBDA auto f = test::injection([]{});
// unpack
{
BOOST_HANA_CONSTANT_ASSERT(equal(
unpack(BOOST_HANA_STRING(""), f),
f()
));
BOOST_HANA_CONSTANT_ASSERT(equal(
unpack(BOOST_HANA_STRING("a"), f),
f(char_<'a'>)
));
BOOST_HANA_CONSTANT_ASSERT(equal(
unpack(BOOST_HANA_STRING("ab"), f),
f(char_<'a'>, char_<'b'>)
));
BOOST_HANA_CONSTANT_ASSERT(equal(
unpack(BOOST_HANA_STRING("abc"), f),
f(char_<'a'>, char_<'b'>, char_<'c'>)
));
BOOST_HANA_CONSTANT_ASSERT(equal(
unpack(BOOST_HANA_STRING("abcd"), f),
f(char_<'a'>, char_<'b'>, char_<'c'>, char_<'d'>)
));
BOOST_HANA_CONSTANT_ASSERT(equal(
unpack(BOOST_HANA_STRING("abcde"), f),
f(char_<'a'>, char_<'b'>, char_<'c'>, char_<'d'>, char_<'e'>)
));
}
// length
{
BOOST_HANA_CONSTANT_ASSERT(equal(length(BOOST_HANA_STRING("")), int_<0>));
BOOST_HANA_CONSTANT_ASSERT(equal(length(BOOST_HANA_STRING("a")), int_<1>));
BOOST_HANA_CONSTANT_ASSERT(equal(length(BOOST_HANA_STRING("ab")), int_<2>));
BOOST_HANA_CONSTANT_ASSERT(equal(length(BOOST_HANA_STRING("abc")), int_<3>));
}
// laws
{
BOOST_HANA_CONSTANT_ASSERT(Foldable_laws(
BOOST_HANA_STRING(""),
BOOST_HANA_STRING("a"),
BOOST_HANA_STRING("ab"),
BOOST_HANA_STRING("abc"),
BOOST_HANA_STRING("abcd"),
BOOST_HANA_STRING("abcde")
));
}
}