mirror of
https://github.com/boostorg/hana.git
synced 2026-02-20 14:52:11 +00:00
307d3d0ec8
- 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.
54 lines
1.4 KiB
C++
54 lines
1.4 KiB
C++
/*
|
|
@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/detail/assert.hpp>
|
|
#include <boost/hana/detail/constexpr.hpp>
|
|
#include <boost/hana/range.hpp>
|
|
#include <boost/hana/tuple.hpp>
|
|
#include <boost/hana/type_list.hpp>
|
|
using namespace boost::hana;
|
|
|
|
|
|
int main() {
|
|
//! [comparing]
|
|
BOOST_HANA_CONSTEXPR_LAMBDA auto grouped = group_by(comparing(length), tuple(
|
|
tuple(1, 2, 3),
|
|
tuple('x', 'y', 'z'),
|
|
range_c<long, 0, 1>,
|
|
type_list<char, int>,
|
|
range_c<int, 0, 2>,
|
|
tuple(123.4, nullptr)
|
|
));
|
|
|
|
BOOST_HANA_CONSTEXPR_ASSERT(grouped == tuple(
|
|
tuple(
|
|
tuple(1, 2, 3),
|
|
tuple('x', 'y', 'z')
|
|
),
|
|
tuple(
|
|
range_c<long, 0, 1>
|
|
),
|
|
tuple(
|
|
type_list<char, int>,
|
|
range_c<int, 0, 2>,
|
|
tuple(123.4, nullptr)
|
|
)
|
|
));
|
|
//! [comparing]
|
|
|
|
//! [equal]
|
|
BOOST_HANA_CONSTEXPR_ASSERT(equal(tuple(1, 2), tuple(1, 2)));
|
|
BOOST_HANA_CONSTEXPR_ASSERT(!equal('x', 'y'));
|
|
BOOST_HANA_CONSTANT_ASSERT(!equal(tuple(1, 2), 'y'));
|
|
//! [equal]
|
|
|
|
//! [not_equal]
|
|
BOOST_HANA_CONSTEXPR_ASSERT(not_equal(tuple(1, 2), tuple(3)));
|
|
BOOST_HANA_CONSTEXPR_ASSERT(not_equal('x', 'y'));
|
|
BOOST_HANA_CONSTANT_ASSERT(not_equal(tuple(1, 2), 'y'));
|
|
//! [not_equal]
|
|
}
|