123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107 |
- #ifndef BOOST_HOF_GUARD_FLIP_H
- #define BOOST_HOF_GUARD_FLIP_H
- #include <boost/hof/detail/callable_base.hpp>
- #include <boost/hof/reveal.hpp>
- #include <boost/hof/detail/make.hpp>
- #include <boost/hof/detail/static_const_var.hpp>
- namespace boost { namespace hof {
- template<class F>
- struct flip_adaptor : detail::callable_base<F>
- {
- typedef flip_adaptor fit_rewritable1_tag;
- BOOST_HOF_INHERIT_CONSTRUCTOR(flip_adaptor, detail::callable_base<F>);
- template<class... Ts>
- constexpr const detail::callable_base<F>& base_function(Ts&&... xs) const
- {
- return boost::hof::always_ref(*this)(xs...);
- }
- struct flip_failure
- {
- template<class Failure>
- struct apply
- {
- template<class T, class U, class... Ts>
- struct of
- : Failure::template of<U, T, Ts...>
- {};
- };
- };
- struct failure
- : failure_map<flip_failure, detail::callable_base<F>>
- {};
- BOOST_HOF_RETURNS_CLASS(flip_adaptor);
- template<class T, class U, class... Ts>
- constexpr BOOST_HOF_SFINAE_RESULT(const detail::callable_base<F>&, id_<U>, id_<T>, id_<Ts>...)
- operator()(T&& x, U&& y, Ts&&... xs) const BOOST_HOF_SFINAE_RETURNS
- (
- (BOOST_HOF_MANGLE_CAST(const detail::callable_base<F>&)(BOOST_HOF_CONST_THIS->base_function(xs...)))
- (BOOST_HOF_FORWARD(U)(y), BOOST_HOF_FORWARD(T)(x), BOOST_HOF_FORWARD(Ts)(xs)...)
- );
- };
- BOOST_HOF_DECLARE_STATIC_VAR(flip, detail::make<flip_adaptor>);
- }}
- #endif
|