96 lines
2.9 KiB
C++
96 lines
2.9 KiB
C++
// Copyright Louis Dionne 2013-2017
|
|
// 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/boost/mpl/vector.hpp>
|
|
|
|
#include <boost/hana/assert.hpp>
|
|
#include <boost/hana/drop_front_exactly.hpp>
|
|
#include <boost/hana/equal.hpp>
|
|
#include <boost/hana/front.hpp>
|
|
#include <boost/hana/is_empty.hpp>
|
|
#include <boost/hana/not.hpp>
|
|
#include <boost/hana/tuple.hpp>
|
|
#include <boost/hana/type.hpp>
|
|
|
|
#include <laws/iterable.hpp>
|
|
|
|
#include <boost/mpl/vector.hpp>
|
|
namespace hana = boost::hana;
|
|
namespace mpl = boost::mpl;
|
|
|
|
|
|
struct t1; struct t2; struct t3; struct t4;
|
|
|
|
int main() {
|
|
// front
|
|
{
|
|
BOOST_HANA_CONSTANT_CHECK(hana::equal(
|
|
hana::front(mpl::vector<t1>{}),
|
|
hana::type_c<t1>
|
|
));
|
|
BOOST_HANA_CONSTANT_CHECK(hana::equal(
|
|
hana::front(mpl::vector<t1, t2>{}),
|
|
hana::type_c<t1>
|
|
));
|
|
BOOST_HANA_CONSTANT_CHECK(hana::equal(
|
|
hana::front(mpl::vector<t1, t2, t3>{}),
|
|
hana::type_c<t1>
|
|
));
|
|
}
|
|
|
|
// drop_front_exactly
|
|
{
|
|
BOOST_HANA_CONSTANT_CHECK(hana::equal(
|
|
hana::drop_front_exactly(mpl::vector<t1>{}),
|
|
mpl::vector<>{}
|
|
));
|
|
BOOST_HANA_CONSTANT_CHECK(hana::equal(
|
|
hana::drop_front_exactly(mpl::vector<t1, t2>{}),
|
|
mpl::vector<t2>{}
|
|
));
|
|
BOOST_HANA_CONSTANT_CHECK(hana::equal(
|
|
hana::drop_front_exactly(mpl::vector<t1, t2, t3>{}),
|
|
mpl::vector<t2, t3>{}
|
|
));
|
|
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(hana::equal(
|
|
hana::drop_front_exactly(mpl::vector<t1, t2, t3>{}, hana::size_c<2>),
|
|
mpl::vector<t3>{}
|
|
));
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(hana::equal(
|
|
hana::drop_front_exactly(mpl::vector<t1, t2, t3, t4>{}, hana::size_c<2>),
|
|
mpl::vector<t3, t4>{}
|
|
));
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(hana::equal(
|
|
hana::drop_front_exactly(mpl::vector<t1, t2, t3, t4>{}, hana::size_c<3>),
|
|
mpl::vector<t4>{}
|
|
));
|
|
}
|
|
|
|
// is_empty
|
|
{
|
|
BOOST_HANA_CONSTANT_CHECK(hana::is_empty(mpl::vector<>{}));
|
|
BOOST_HANA_CONSTANT_CHECK(hana::is_empty(mpl::vector0<>{}));
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(mpl::vector<t1>{})));
|
|
BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(mpl::vector1<t1>{})));
|
|
|
|
BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(mpl::vector<t1, t2>{})));
|
|
BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(mpl::vector2<t1, t2>{})));
|
|
}
|
|
|
|
// laws
|
|
auto vectors = hana::make_tuple(
|
|
mpl::vector<>{}
|
|
, mpl::vector<t1>{}
|
|
, mpl::vector<t1, t2>{}
|
|
, mpl::vector<t1, t2, t3>{}
|
|
, mpl::vector<t1, t2, t3, t4>{}
|
|
);
|
|
hana::test::TestIterable<hana::ext::boost::mpl::vector_tag>{vectors};
|
|
}
|