123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166 |
- #ifndef BOOST_HOF_GUARD_FUNCTION_FLOW_H
- #define BOOST_HOF_GUARD_FUNCTION_FLOW_H
- #include <boost/hof/detail/callable_base.hpp>
- #include <boost/hof/always.hpp>
- #include <boost/hof/detail/delegate.hpp>
- #include <boost/hof/detail/compressed_pair.hpp>
- #include <boost/hof/detail/join.hpp>
- #include <tuple>
- #include <boost/hof/detail/move.hpp>
- #include <boost/hof/detail/make.hpp>
- #include <boost/hof/detail/result_type.hpp>
- #include <boost/hof/detail/static_const_var.hpp>
- namespace boost { namespace hof { namespace detail {
- template<class F1, class F2>
- struct flow_kernel : detail::compressed_pair<detail::callable_base<F1>, detail::callable_base<F2>>, compose_function_result_type<F2, F1>
- {
- typedef detail::compressed_pair<detail::callable_base<F1>, detail::callable_base<F2>> base_type;
- BOOST_HOF_INHERIT_CONSTRUCTOR(flow_kernel, base_type)
- BOOST_HOF_RETURNS_CLASS(flow_kernel);
- template<class... Ts>
- constexpr BOOST_HOF_SFINAE_RESULT(const detail::callable_base<F2>&, result_of<const detail::callable_base<F1>&, id_<Ts>...>)
- operator()(Ts&&... xs) const BOOST_HOF_SFINAE_RETURNS
- (
- BOOST_HOF_MANGLE_CAST(const detail::callable_base<F2>&)(BOOST_HOF_CONST_THIS->second(xs...))(
- BOOST_HOF_MANGLE_CAST(const detail::callable_base<F1>&)(BOOST_HOF_CONST_THIS->first(xs...))(BOOST_HOF_FORWARD(Ts)(xs)...)
- )
- );
- };
- }
- template<class F, class... Fs>
- struct flow_adaptor : detail::flow_kernel<F, BOOST_HOF_JOIN(flow_adaptor, Fs...)>
- {
- typedef flow_adaptor fit_rewritable_tag;
- typedef BOOST_HOF_JOIN(flow_adaptor, Fs...) tail;
- typedef detail::flow_kernel<F, tail> base_type;
- BOOST_HOF_INHERIT_DEFAULT(flow_adaptor, base_type)
- template<class X, class... Xs,
- BOOST_HOF_ENABLE_IF_CONSTRUCTIBLE(detail::callable_base<F>, X),
- BOOST_HOF_ENABLE_IF_CONSTRUCTIBLE(tail, Xs...)
- >
- constexpr flow_adaptor(X&& f1, Xs&& ... fs)
- BOOST_HOF_NOEXCEPT(BOOST_HOF_IS_NOTHROW_CONSTRUCTIBLE(base_type, X&&, tail) && BOOST_HOF_IS_NOTHROW_CONSTRUCTIBLE(tail, Xs&&...))
- : base_type(BOOST_HOF_FORWARD(X)(f1), tail(BOOST_HOF_FORWARD(Xs)(fs)...))
- {}
- template<class X,
- BOOST_HOF_ENABLE_IF_CONSTRUCTIBLE(detail::callable_base<F>, X)
- >
- constexpr flow_adaptor(X&& f1)
- BOOST_HOF_NOEXCEPT_CONSTRUCTIBLE(base_type, X&&)
- : base_type(BOOST_HOF_FORWARD(X)(f1))
- {}
- };
- template<class F>
- struct flow_adaptor<F> : detail::callable_base<F>
- {
- typedef flow_adaptor fit_rewritable_tag;
- BOOST_HOF_INHERIT_DEFAULT(flow_adaptor, detail::callable_base<F>)
- template<class X, BOOST_HOF_ENABLE_IF_CONVERTIBLE(X, detail::callable_base<F>)>
- constexpr flow_adaptor(X&& f1)
- BOOST_HOF_NOEXCEPT_CONSTRUCTIBLE(detail::callable_base<F>, X&&)
- : detail::callable_base<F>(BOOST_HOF_FORWARD(X)(f1))
- {}
- };
- template<class F1, class F2>
- struct flow_adaptor<F1, F2>
- : detail::flow_kernel<detail::callable_base<F1>, detail::callable_base<F2>>
- {
- typedef flow_adaptor fit_rewritable_tag;
- typedef detail::flow_kernel<detail::callable_base<F1>, detail::callable_base<F2>> base_type;
- BOOST_HOF_INHERIT_CONSTRUCTOR(flow_adaptor, base_type)
- };
- BOOST_HOF_DECLARE_STATIC_VAR(flow, detail::make<flow_adaptor>);
- }}
- #endif
|