src/boost/libs/hana/test/detail/create.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

// 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/config.hpp>
#include <boost/hana/detail/create.hpp>

#include <utility>
#include <tuple>
namespace hana = boost::hana;


constexpr hana::detail::create<std::tuple> make_tuple{};
constexpr hana::detail::create<std::pair> make_pair{};

template <typename ...>
struct empty { };

template <typename T>
struct single_holder { T x; };

template <typename T>
struct identity { using type = T; };

template <typename ...T>
using identity_t = typename identity<T...>::type;

int main() {
    static_assert(make_tuple(1, '2', 3.3) == std::make_tuple(1, '2', 3.3), "");
    static_assert(make_pair(1, '2') == std::make_pair(1, '2'), "");

    // should work
    hana::detail::create<empty>{}();
    hana::detail::create<single_holder>{}(1);
    hana::detail::create<single_holder>{}([]{});
    hana::detail::create<identity_t>{}(1);
    hana::detail::create<identity_t>{}([]{});
}