FM / functional

/usr/include/boost/hana/functional

Name	Size	Mode	Actions
always.hpp	1790	0644	edit dl rm
apply.hpp	2940	0644	edit dl rm
arg.hpp	5116	0644	edit dl rm
capture.hpp	3498	0644	edit dl rm
compose.hpp	3393	0644	edit dl rm
curry.hpp	5716	0644	edit dl rm
demux.hpp	9550	0644	edit dl rm
fix.hpp	2758	0644	edit dl rm
flip.hpp	2071	0644	edit dl rm
id.hpp	905	0644	edit dl rm
infix.hpp	6462	0644	edit dl rm
iterate.hpp	6254	0644	edit dl rm
lockstep.hpp	3610	0644	edit dl rm
on.hpp	2291	0644	edit dl rm
overload.hpp	2681	0644	edit dl rm
overload_linearly.hpp	3707	0644	edit dl rm
partial.hpp	3237	0644	edit dl rm
placeholder.hpp	12985	0644	edit dl rm
reverse_partial.hpp	3269	0644	edit dl rm

Edit: /usr/include/boost/hana/functional/partial.hpp (3237B)

/*!
@file
Defines `boost::hana::partial`.

@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_FUNCTIONAL_PARTIAL_HPP
#define BOOST_HANA_FUNCTIONAL_PARTIAL_HPP

#include <boost/hana/basic_tuple.hpp>
#include <boost/hana/config.hpp>
#include <boost/hana/detail/decay.hpp>

#include <cstddef>
#include <utility>

BOOST_HANA_NAMESPACE_BEGIN
    //! @ingroup group-functional
    //! Partially apply a function to some arguments.
    //!
    //! Given a function `f` and some arguments, `partial` returns a new
    //! function corresponding to the partially applied function `f`. This
    //! allows providing some arguments to a function and letting the rest
    //! of the arguments be provided later. Specifically, `partial(f, x...)`
    //! is a function such that
    //! @code
    //!     partial(f, x...)(y...) == f(x..., y...)
    //! @endcode
    //!
    //! @note
    //! The arity of `f` must match the total number of arguments passed to
    //! it, i.e. `sizeof...(x) + sizeof...(y)`.
    //!
    //!
    //! Example
    //! -------
    //! @include example/functional/partial.cpp
#ifdef BOOST_HANA_DOXYGEN_INVOKED
    constexpr auto partial = [](auto&& f, auto&& ...x) {
        return [perfect-capture](auto&& ...y) -> decltype(auto) {
            return forwarded(f)(forwarded(x)..., forwarded(y)...);
        };
    };
#else
    template <typename Indices, typename F, typename ...X>
    struct partial_t;

struct make_partial_t {
        struct secret { };
        template <typename F, typename ...X>
        constexpr partial_t<
            std::make_index_sequence<sizeof...(X)>,
            typename detail::decay<F>::type,
            typename detail::decay<X>::type...
        >
        operator()(F&& f, X&& ...x) const {
            return {secret{}, static_cast<F&&>(f), static_cast<X&&>(x)...};
        }
    };

template <std::size_t ...n, typename F, typename ...X>
    struct partial_t<std::index_sequence<n...>, F, X...> {
        partial_t() = default;

template <typename ...T>
        constexpr partial_t(make_partial_t::secret, T&& ...t)
            : storage_{static_cast<T&&>(t)...}
        { }

basic_tuple<F, X...> storage_;

template <typename ...Y>
        constexpr decltype(auto) operator()(Y&& ...y) const& {
            return hana::at_c<0>(storage_)(
                hana::at_c<n+1>(storage_)...,
                static_cast<Y&&>(y)...
            );
        }

template <typename ...Y>
        constexpr decltype(auto) operator()(Y&& ...y) & {
            return hana::at_c<0>(storage_)(
                hana::at_c<n+1>(storage_)...,
                static_cast<Y&&>(y)...
            );
        }

template <typename ...Y>
        constexpr decltype(auto) operator()(Y&& ...y) && {
            return static_cast<F&&>(hana::at_c<0>(storage_))(
                static_cast<X&&>(hana::at_c<n+1>(storage_))...,
                static_cast<Y&&>(y)...
            );
        }
    };

constexpr make_partial_t partial{};
#endif
BOOST_HANA_NAMESPACE_END

#endif // !BOOST_HANA_FUNCTIONAL_PARTIAL_HPP

/*! @file Defines `boost::hana::partial`. @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_FUNCTIONAL_PARTIAL_HPP #define BOOST_HANA_FUNCTIONAL_PARTIAL_HPP #include #include #include #include #include BOOST_HANA_NAMESPACE_BEGIN //! @ingroup group-functional //! Partially apply a function to some arguments. //! //! Given a function `f` and some arguments, `partial` returns a new //! function corresponding to the partially applied function `f`. This //! allows providing some arguments to a function and letting the rest //! of the arguments be provided later. Specifically, `partial(f, x...)` //! is a function such that //! @code //! partial(f, x...)(y...) == f(x..., y...) //! @endcode //! //! @note //! The arity of `f` must match the total number of arguments passed to //! it, i.e. `sizeof...(x) + sizeof...(y)`. //! //! //! Example //! ------- //! @include example/functional/partial.cpp #ifdef BOOST_HANA_DOXYGEN_INVOKED constexpr auto partial = [](auto&& f, auto&& ...x) { return [perfect-capture](auto&& ...y) -> decltype(auto) { return forwarded(f)(forwarded(x)..., forwarded(y)...); }; }; #else template struct partial_t; struct make_partial_t { struct secret { }; template constexpr partial_t< std::make_index_sequence, typename detail::decay::type, typename detail::decay::type... > operator()(F&& f, X&& ...x) const { return {secret{}, static_cast(f), static_cast(x)...}; } }; template struct partial_t, F, X...> { partial_t() = default; template constexpr partial_t(make_partial_t::secret, T&& ...t) : storage_{static_cast(t)...} { } basic_tuple storage_; template constexpr decltype(auto) operator()(Y&& ...y) const& { return hana::at_c<0>(storage_)( hana::at_c(storage_)..., static_cast(y)... ); } template constexpr decltype(auto) operator()(Y&& ...y) & { return hana::at_c<0>(storage_)( hana::at_c(storage_)..., static_cast(y)... ); } template constexpr decltype(auto) operator()(Y&& ...y) && { return static_cast(hana::at_c<0>(storage_))( static_cast(hana::at_c(storage_))..., static_cast(y)... ); } }; constexpr make_partial_t partial{}; #endif BOOST_HANA_NAMESPACE_END #endif // !BOOST_HANA_FUNCTIONAL_PARTIAL_HPP