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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
/*!
@file
Defines `boost::hana::on`.
@copyright Louis Dionne 2013-2016
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
*/
#ifndef BOOST_HANA_FUNCTIONAL_ON_HPP
#define BOOST_HANA_FUNCTIONAL_ON_HPP
#include <boost/hana/config.hpp>
#include <boost/hana/detail/create.hpp>
#include <boost/hana/functional/infix.hpp>
#include <utility>
BOOST_HANA_NAMESPACE_BEGIN
//! @ingroup group-functional
//! Invoke a function with the result of invoking another function on
//! each argument.
//!
//! Specifically, `on(f, g)` is a function such that
//! @code
//! on(f, g)(x...) == f(g(x)...)
//! @endcode
//!
//! For convenience, `on` also supports infix application as provided
//! by `infix`.
//!
//!
//! @note
//! `on` is associative, i.e. `on(f, on(g, h))` is equivalent to
//! `on(on(f, g), h)`.
//!
//! @internal
//! ### Proof of associativity
//!
//! @code
//! on(f, on(g, h))(xs...) == f(on(g, h)(xs)...)
//! == f(g(h(xs))...)
//!
//! on(on(f, g), h)(xs...) == on(f, g)(h(xs)...)
//! == f(g(h(xs))...)
//! @endcode
//! @endinternal
//!
//!
//! ### Example
//! @include example/functional/on.cpp
#ifdef BOOST_HANA_DOXYGEN_INVOKED
constexpr auto on = infix([](auto&& f, auto&& g) {
return [perfect-capture](auto&& ...x) -> decltype(auto) {
return forwarded(f)(g(forwarded(x))...);
};
});
#else
template <typename F, typename G>
struct on_t {
F f; G g;
template <typename ...X>
constexpr decltype(auto) operator()(X&& ...x) const& {
return f(g(static_cast<X&&>(x))...);
}
template <typename ...X>
constexpr decltype(auto) operator()(X&& ...x) & {
return f(g(static_cast<X&&>(x))...);
}
template <typename ...X>
constexpr decltype(auto) operator()(X&& ...x) && {
return std::move(f)(g(static_cast<X&&>(x))...);
}
};
constexpr auto on = infix(detail::create<on_t>{});
#endif
BOOST_HANA_NAMESPACE_END
#endif // !BOOST_HANA_FUNCTIONAL_ON_HPP
|
