Edit: /usr/include/boost/hana/at_key.hpp (3009B)
/*!
@file
Defines `boost::hana::at_key`.
@copyright Louis Dionne 2013-2017
@copyright Jason Rice 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_AT_KEY_HPP
#define BOOST_HANA_AT_KEY_HPP
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
BOOST_HANA_NAMESPACE_BEGIN
//! @cond
template
constexpr decltype(auto) at_key_t::operator()(Xs&& xs, Key const& key) const {
using S = typename hana::tag_of::type;
using AtKey = BOOST_HANA_DISPATCH_IF(at_key_impl,
hana::Searchable::value
);
#ifndef BOOST_HANA_CONFIG_DISABLE_CONCEPT_CHECKS
static_assert(hana::Searchable::value,
"hana::at_key(xs, key) requires 'xs' to be Searchable");
#endif
return AtKey::apply(static_cast(xs), key);
}
//! @endcond
template
struct at_key_impl> : default_ {
template
static constexpr auto apply(Xs&& xs, Key const& key) {
return hana::find(static_cast(xs), key).value();
}
};
namespace at_key_detail {
template
struct equal_to {
T const& t;
template
constexpr auto operator()(U const& u) const {
return hana::equal(t, u);
}
};
}
template
struct at_key_impl::value>> {
template
static constexpr decltype(auto) apply(Xs&& xs, Key const& key) {
using Result = decltype(hana::index_if(
static_cast(xs), at_key_detail::equal_to{key}));
return hana::at(static_cast(xs), Result{}.value());
}
};
template
struct at_key_impl::value>> {
template
static constexpr decltype(auto) apply(X&& x, Key const& key) {
auto accessor = hana::second(*hana::find_if(hana::accessors(),
hana::equal.to(key) ^hana::on^ hana::first
));
return accessor(static_cast(x));
}
};
BOOST_HANA_NAMESPACE_END
#endif // !BOOST_HANA_AT_KEY_HPP