boost/hana
2
0
Fork 0
mirror of https://github.com/boostorg/hana.git synced 2026-02-14 12:52:10 +00:00
Code Issues Projects Releases Wiki Activity

Huge reorganization and refactoring.

Browse Source 
- Split type class instances into separate files
- Instances provided automatically by a type class are actually MCDs
- Test each instance in a single file, not one file per method
- Refactor the operator system to fix the ADL-related bug.
This commit is contained in:
Louis Dionne
2014-08-12 16:08:35 -04:00
parent 7894be3e2f
commit 307d3d0ec8
711 changed files with 15895 additions and 13363 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
test/ext/std/integer_sequence/iterable.cpp
View File

@@ -5,9 +5,11 @@ Distributed under the Boost Software License, Version 1.0.
*/
#include <boost/hana/ext/std/integer_sequence.hpp>
#include <boost/hana/ext/std/integral_constant.hpp>
#include <boost/hana/detail/assert.hpp>
#include <test/laws/iterable.hpp>
#include <utility>
using namespace boost::hana;
@@ -15,21 +17,47 @@ using namespace boost::hana;
int main() {
// head
{
BOOST_HANA_CONSTEXPR_ASSERT(head(std::index_sequence<0>{}) == 0);
BOOST_HANA_CONSTEXPR_ASSERT(head(std::index_sequence<0, 1>{}) == 0);
BOOST_HANA_CONSTANT_ASSERT(equal(
head(std::index_sequence<0>{}),
std::integral_constant<int, 0>{}
));
BOOST_HANA_CONSTANT_ASSERT(equal(
head(std::index_sequence<0, 1>{}),
std::integral_constant<int, 0>{}
));
}
// is_empty
{
BOOST_HANA_CONSTANT_ASSERT(is_empty(std::index_sequence<>{}));
BOOST_HANA_CONSTANT_ASSERT(!is_empty(std::index_sequence<0>{}));
BOOST_HANA_CONSTANT_ASSERT(!is_empty(std::index_sequence<1>{}));
BOOST_HANA_CONSTANT_ASSERT(not_(is_empty(std::index_sequence<0>{})));
BOOST_HANA_CONSTANT_ASSERT(not_(is_empty(std::index_sequence<1>{})));
}
// tail
{
BOOST_HANA_CONSTANT_ASSERT(equal(tail(std::index_sequence<0>{}), std::index_sequence<>{}));
BOOST_HANA_CONSTANT_ASSERT(equal(tail(std::index_sequence<0, 1>{}), std::index_sequence<1>{}));
BOOST_HANA_CONSTANT_ASSERT(equal(tail(std::index_sequence<0, 1, 2>{}), std::index_sequence<1, 2>{}));
BOOST_HANA_CONSTANT_ASSERT(equal(
tail(std::index_sequence<0>{}),
std::index_sequence<>{}
));
BOOST_HANA_CONSTANT_ASSERT(equal(
tail(std::index_sequence<0, 1>{}),
std::index_sequence<1>{}
));
BOOST_HANA_CONSTANT_ASSERT(equal(
tail(std::index_sequence<0, 1, 2>{}),
std::index_sequence<1, 2>{}
));
}
// laws
{
BOOST_HANA_CONSTANT_ASSERT(Iterable_laws(
std::index_sequence<>{},
std::index_sequence<0>{},
std::index_sequence<0, 1>{},
std::index_sequence<0, 1, 2>{},
std::index_sequence<0, 1, 2, 3>{}
));
}
}