boost/hana
2
0
Fork 0
mirror of https://github.com/boostorg/hana.git synced 2026-02-26 04:42:17 +00:00
Code Issues Projects Releases Wiki Activity

StdIntegerSequence: improve the Comparable instance.

Browse Source
This commit is contained in:
Louis Dionne
2014-07-15 10:05:30 -04:00
parent 13b50b5a72
commit 86c0d427a0
5 changed files with 111 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

54
test/ext/std/integer_sequence/comparable/equal.cpp Normal file
View File

@@ -0,0 +1,54 @@
/*
@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/ext/std/integer_sequence.hpp>
#include <boost/hana/detail/static_assert.hpp>
#include <utility>
using namespace boost::hana;
template <typename T, typename U>
void test() {
BOOST_HANA_STATIC_ASSERT(equal(std::integer_sequence<T>{}, std::integer_sequence<U>{}));
BOOST_HANA_STATIC_ASSERT(!equal(std::integer_sequence<T, 0>{}, std::integer_sequence<U>{}));
BOOST_HANA_STATIC_ASSERT(!equal(std::integer_sequence<T>{}, std::integer_sequence<U, 0>{}));
BOOST_HANA_STATIC_ASSERT(equal(std::integer_sequence<T, 0>{}, std::integer_sequence<U, 0>{}));
BOOST_HANA_STATIC_ASSERT(!equal(std::integer_sequence<T, 0>{}, std::integer_sequence<U, 0, 1>{}));
BOOST_HANA_STATIC_ASSERT(!equal(std::integer_sequence<T, 0, 2>{}, std::integer_sequence<U, 0, 1>{}));
BOOST_HANA_STATIC_ASSERT(equal(std::integer_sequence<T, 0, 1, 2, 3>{}, std::integer_sequence<U, 0, 1, 2, 3>{}));
BOOST_HANA_STATIC_ASSERT(!equal(std::integer_sequence<T, 0, 1, 2, 3, 5>{}, std::integer_sequence<U, 0, 1, 2, 3>{}));
}
template <typename T>
void test_partial() {
test<T, char>();
test<T, short>();
test<T, int>();
test<T, long>();
test<T, long long>();
test<T, unsigned short>();
test<T, unsigned int>();
test<T, unsigned long>();
test<T, unsigned long long>();
}
int main() {
test_partial<char>();
test_partial<short>();
test_partial<int>();
test_partial<long>();
test_partial<long long>();
test_partial<unsigned short>();
test_partial<unsigned int>();
test_partial<unsigned long>();
test_partial<unsigned long long>();
}