Edit: /usr/include/boost/hana/adjust_if.hpp (2515B)
/*!
@file
Defines `boost::hana::adjust_if`.
@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)
*/
#ifndef BOOST_HANA_ADJUST_IF_HPP
#define BOOST_HANA_ADJUST_IF_HPP
#include
#include
#include
#include
#include
#include
#include
BOOST_HANA_NAMESPACE_BEGIN
//! @cond
template
constexpr auto adjust_if_t::operator()(Xs&& xs, Pred const& pred, F const& f) const {
using S = typename hana::tag_of::type;
using AdjustIf = BOOST_HANA_DISPATCH_IF(adjust_if_impl,
hana::Functor::value
);
#ifndef BOOST_HANA_CONFIG_DISABLE_CONCEPT_CHECKS
static_assert(hana::Functor::value,
"hana::adjust_if(xs, pred, f) requires 'xs' to be a Functor");
#endif
return AdjustIf::apply(static_cast(xs), pred, f);
}
//! @endcond
namespace detail {
template
struct apply_if {
Pred const& pred;
F const& f;
template
constexpr decltype(auto) helper(bool cond, X&& x) const
{ return cond ? f(static_cast(x)) : static_cast(x); }
template
constexpr decltype(auto) helper(hana::true_, X&& x) const
{ return f(static_cast(x)); }
template
constexpr decltype(auto) helper(hana::false_, X&& x) const
{ return static_cast(x); }
template
constexpr decltype(auto) operator()(X&& x) const {
auto cond = hana::if_(pred(x), hana::true_c, hana::false_c);
return this->helper(cond, static_cast(x));
}
};
}
template
struct adjust_if_impl> : default_ {
template
static constexpr auto apply(Xs&& xs, Pred const& pred, F const& f) {
return hana::transform(static_cast(xs),
detail::apply_if{pred, f});
}
};
BOOST_HANA_NAMESPACE_END
#endif // !BOOST_HANA_ADJUST_IF_HPP