hana/test/minimal_record.cpp

/*
@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 <test/minimal_record.hpp>

#include <boost/hana/assert.hpp>
#include <boost/hana/maybe.hpp>
#include <boost/hana/tuple.hpp>
#include <boost/hana/type.hpp>

#include <test/auto/base.hpp>
#include <test/injection.hpp>

// instances
#include <test/auto/comparable.hpp>
#include <test/auto/foldable.hpp>
#include <test/auto/searchable.hpp>
using namespace boost::hana;


namespace boost { namespace hana { namespace test {
    template <>
    auto instances<MinimalRecord> = tuple(
        type<Comparable>,
        type<Foldable>,
        type<Searchable>
    );

    template <>
    auto objects<MinimalRecord> = tuple(
        minimal_record(x<0>, x<0>),
        minimal_record(x<0>, x<1>),
        minimal_record(x<1>, x<0>),
        minimal_record(x<1>, x<1>),
        minimal_record(x<0>, x<2>),
        minimal_record(x<2>, x<3>)
    );
}}}

template <int i>
struct _undefined { };

template <int i = 0>
constexpr _undefined<i> undefined{};

int main() {
    using test::x;
    constexpr auto record = test::minimal_record;

    test::check_datatype<test::MinimalRecord>();

    // Comparable
    {
        // equal
        {
            BOOST_HANA_CONSTANT_CHECK(equal(
                record(x<0>, x<1>), record(x<0>, x<1>)
            ));

            BOOST_HANA_CONSTANT_CHECK(not_(equal(
                record(x<1>, x<0>), record(x<0>, x<1>)
            )));

            BOOST_HANA_CONSTANT_CHECK(not_(equal(
                record(x<0>, x<99>), record(x<0>, x<1>)
            )));

            BOOST_HANA_CONSTANT_CHECK(not_(equal(
                record(x<99>, x<1>), record(x<0>, x<1>)
            )));
        }
    }

    // Foldable
    {
        auto s = x<999>;
        auto f = test::injection([]{});

        // foldl
        {
            BOOST_HANA_CONSTANT_CHECK(equal(
                foldl(record(x<0>, x<1>), s, f),
                f(f(s, x<0>), x<1>)
            ));
        }

        // foldr
        {
            BOOST_HANA_CONSTANT_CHECK(equal(
                foldr(record(x<0>, x<1>), s, f),
                f(x<0>, f(x<1>, s))
            ));
        }
    }

    // Searchable
    {
        auto is = [](auto k) {
            return [=](auto key) { return equal(k, key); };
        };

        // any
        {
            BOOST_HANA_CONSTANT_CHECK(
                any(record(undefined<1>, undefined<2>), is(test::member1))
            );
            BOOST_HANA_CONSTANT_CHECK(
                any(record(undefined<1>, undefined<2>), is(test::member2))
            );
            BOOST_HANA_CONSTANT_CHECK(not_(
                any(record(undefined<1>, undefined<2>), is(undefined<>))
            ));
        }

        // find
        {
            BOOST_HANA_CONSTANT_CHECK(equal(
                find(record(x<0>, x<1>), is(test::member1)),
                just(x<0>)
            ));

            BOOST_HANA_CONSTANT_CHECK(equal(
                find(record(x<0>, x<1>), is(test::member2)),
                just(x<1>)
            ));

            BOOST_HANA_CONSTANT_CHECK(equal(
                find(record(x<0>, x<1>), is(undefined<>)),
                nothing
            ));
        }
    }
}