Edit: /usr/include/boost/hof/combine.hpp (3877B)
/*=============================================================================
Copyright (c) 2015 Paul Fultz II
combine.h
Distributed under the Boost Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
==============================================================================*/
#ifndef BOOST_HOF_GUARD_COMBINE_H
#define BOOST_HOF_GUARD_COMBINE_H
/// combine
/// =======
///
/// Description
/// -----------
///
/// The `combine` function adaptor combines several functions together with
/// their arguments. It essentially zips each function with an argument before
/// calling the main function.
///
/// Synopsis
/// --------
///
/// template
/// constexpr combine_adaptor combine(F f, Gs... gs);
///
/// Semantics
/// ---------
///
/// assert(combine(f, gs...)(xs...) == f(gs(xs)...));
///
/// Requirements
/// ------------
///
/// F and Gs must be:
///
/// * [ConstInvocable](ConstInvocable)
/// * MoveConstructible
///
/// Example
/// -------
///
/// #include
/// #include
/// #include
/// #include
///
/// int main() {
/// auto f = boost::hof::combine(
/// boost::hof::construct(),
/// boost::hof::capture(1)(boost::hof::construct()),
/// boost::hof::capture(2)(boost::hof::construct()));
/// assert(f(3, 7) == std::make_tuple(std::make_pair(1, 3), std::make_pair(2, 7)));
/// }
///
#include
#include
#include
#include
namespace boost { namespace hof { namespace detail {
template
struct combine_adaptor_base;
template
struct combine_adaptor_base, F, Gs...>
: F, pack_base, Gs...>
{
typedef pack_base, Gs...> base_type;
BOOST_HOF_INHERIT_DEFAULT(combine_adaptor_base, base_type, F)
template
constexpr combine_adaptor_base(X&& x, Xs&&... xs)
: F(BOOST_HOF_FORWARD(X)(x)), base_type(BOOST_HOF_FORWARD(Xs)(xs)...)
{}
template
constexpr const F& base_function(Ts&&... xs) const
{
return boost::hof::always_ref(*this)(xs...);
}
BOOST_HOF_RETURNS_CLASS(combine_adaptor_base);
// Result needs to be calculated in a separate class to avoid confusing the
// compiler on MSVC
#if BOOST_HOF_NO_EXPRESSION_SFINAE || BOOST_HOF_HAS_MANUAL_DEDUCTION
template
struct combine_result
: result_of>...>
{};
#endif
template
#if BOOST_HOF_NO_EXPRESSION_SFINAE || BOOST_HOF_HAS_MANUAL_DEDUCTION
constexpr typename combine_result::type
#else
constexpr auto
#endif
operator()(Ts&&... xs) const BOOST_HOF_SFINAE_MANUAL_RETURNS
(
(BOOST_HOF_MANGLE_CAST(const F&)(BOOST_HOF_CONST_THIS->base_function(xs...)))
(boost::hof::alias_value, Gs...>, Gs>(*BOOST_HOF_CONST_THIS, xs)(BOOST_HOF_FORWARD(Ts)(xs))...)
);
};
}
template
struct combine_adaptor
: detail::combine_adaptor_base::type, detail::callable_base, detail::callable_base...>
{
typedef detail::combine_adaptor_base::type, detail::callable_base, detail::callable_base...> base_type;
BOOST_HOF_INHERIT_CONSTRUCTOR(combine_adaptor, base_type)
};
BOOST_HOF_DECLARE_STATIC_VAR(combine, detail::make);
}} // namespace boost::hof
#endif