1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950 |
- /*!
- @file
- Defines `boost::hana::zip`.
- Copyright Louis Dionne 2013-2022
- 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_ZIP_HPP
- #define BOOST_HANA_ZIP_HPP
- #include <boost/hana/fwd/zip.hpp>
- #include <boost/hana/concept/sequence.hpp>
- #include <boost/hana/config.hpp>
- #include <boost/hana/core/dispatch.hpp>
- #include <boost/hana/detail/fast_and.hpp>
- #include <boost/hana/tuple.hpp>
- #include <boost/hana/zip_with.hpp>
- namespace boost { namespace hana {
- //! @cond
- template <typename Xs, typename ...Ys>
- constexpr auto zip_t::operator()(Xs&& xs, Ys&& ...ys) const {
- #ifndef BOOST_HANA_CONFIG_DISABLE_CONCEPT_CHECKS
- static_assert(detail::fast_and<
- hana::Sequence<Xs>::value, hana::Sequence<Ys>::value...
- >::value,
- "hana::zip(xs, ys...) requires 'xs' and 'ys...' to be Sequences");
- #endif
- return zip_impl<typename hana::tag_of<Xs>::type>::apply(
- static_cast<Xs&&>(xs),
- static_cast<Ys&&>(ys)...
- );
- }
- //! @endcond
- template <typename S, bool condition>
- struct zip_impl<S, when<condition>> : default_ {
- template <typename ...Xs>
- static constexpr decltype(auto) apply(Xs&& ...xs) {
- return hana::zip_with(hana::make_tuple, static_cast<Xs&&>(xs)...);
- }
- };
- }} // end namespace boost::hana
- #endif // !BOOST_HANA_ZIP_HPP
|