123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171 |
- #ifndef BOOST_HOF_GUARD_FOLD_H
- #define BOOST_HOF_GUARD_FOLD_H
- #include <boost/hof/detail/callable_base.hpp>
- #include <boost/hof/detail/delegate.hpp>
- #include <boost/hof/detail/compressed_pair.hpp>
- #include <boost/hof/detail/move.hpp>
- #include <boost/hof/detail/make.hpp>
- #include <boost/hof/detail/static_const_var.hpp>
- namespace boost { namespace hof { namespace detail {
- struct v_fold
- {
- BOOST_HOF_RETURNS_CLASS(v_fold);
- template<class F, class State, class T, class... Ts>
- constexpr BOOST_HOF_SFINAE_MANUAL_RESULT(const v_fold&, id_<const F&>, result_of<const F&, id_<State>, id_<T>>, id_<Ts>...)
- operator()(const F& f, State&& state, T&& x, Ts&&... xs) const BOOST_HOF_SFINAE_MANUAL_RETURNS
- (
- (*BOOST_HOF_CONST_THIS)(f, f(BOOST_HOF_FORWARD(State)(state), BOOST_HOF_FORWARD(T)(x)), BOOST_HOF_FORWARD(Ts)(xs)...)
- );
- template<class F, class State>
- constexpr State operator()(const F&, State&& state) const noexcept
- {
- return BOOST_HOF_FORWARD(State)(state);
- }
- };
- }
- template<class F, class State=void>
- struct fold_adaptor
- : detail::compressed_pair<detail::callable_base<F>, State>
- {
- typedef detail::compressed_pair<detail::callable_base<F>, State> base_type;
- BOOST_HOF_INHERIT_CONSTRUCTOR(fold_adaptor, base_type)
- template<class... Ts>
- constexpr const detail::callable_base<F>& base_function(Ts&&... xs) const noexcept
- {
- return this->first(xs...);
- }
- template<class... Ts>
- constexpr State get_state(Ts&&... xs) const noexcept
- {
- return this->second(xs...);
- }
- BOOST_HOF_RETURNS_CLASS(fold_adaptor);
- template<class... Ts>
- constexpr BOOST_HOF_SFINAE_RESULT(detail::v_fold, id_<const detail::callable_base<F>&>, id_<State>, id_<Ts>...)
- operator()(Ts&&... xs) const BOOST_HOF_SFINAE_RETURNS
- (
- detail::v_fold()(
- BOOST_HOF_MANGLE_CAST(const detail::callable_base<F>&)(BOOST_HOF_CONST_THIS->base_function(xs...)),
- BOOST_HOF_MANGLE_CAST(State)(BOOST_HOF_CONST_THIS->get_state(xs...)),
- BOOST_HOF_FORWARD(Ts)(xs)...
- )
- )
- };
- template<class F>
- struct fold_adaptor<F, void>
- : detail::callable_base<F>
- {
- BOOST_HOF_INHERIT_CONSTRUCTOR(fold_adaptor, detail::callable_base<F>)
- template<class... Ts>
- constexpr const detail::callable_base<F>& base_function(Ts&&... xs) const noexcept
- {
- return boost::hof::always_ref(*this)(xs...);
- }
- BOOST_HOF_RETURNS_CLASS(fold_adaptor);
- template<class... Ts>
- constexpr BOOST_HOF_SFINAE_RESULT(detail::v_fold, id_<const detail::callable_base<F>&>, id_<Ts>...)
- operator()(Ts&&... xs) const BOOST_HOF_SFINAE_RETURNS
- (
- detail::v_fold()(
- BOOST_HOF_MANGLE_CAST(const detail::callable_base<F>&)(BOOST_HOF_CONST_THIS->base_function(xs...)),
- BOOST_HOF_FORWARD(Ts)(xs)...
- )
- )
- };
- BOOST_HOF_DECLARE_STATIC_VAR(fold, detail::make<fold_adaptor>);
- }}
- #endif
|