diff options
Diffstat (limited to 'boost/hana/fuse.hpp')
-rw-r--r-- | boost/hana/fuse.hpp | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/boost/hana/fuse.hpp b/boost/hana/fuse.hpp new file mode 100644 index 0000000000..0b8829cb30 --- /dev/null +++ b/boost/hana/fuse.hpp @@ -0,0 +1,48 @@ +/*! +@file +Defines `boost::hana::fuse`. + +@copyright Louis Dionne 2013-2016 +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_FUSE_HPP +#define BOOST_HANA_FUSE_HPP + +#include <boost/hana/fwd/fuse.hpp> + +#include <boost/hana/config.hpp> +#include <boost/hana/unpack.hpp> + +#include <type_traits> + + +BOOST_HANA_NAMESPACE_BEGIN + namespace detail { + template <typename F> + struct fused { + F f; + template <typename Xs> + constexpr decltype(auto) operator()(Xs&& xs) const& + { return hana::unpack(static_cast<Xs&&>(xs), f); } + + template <typename Xs> + constexpr decltype(auto) operator()(Xs&& xs) & + { return hana::unpack(static_cast<Xs&&>(xs), f); } + + template <typename Xs> + constexpr decltype(auto) operator()(Xs&& xs) && + { return hana::unpack(static_cast<Xs&&>(xs), static_cast<F&&>(f)); } + }; + } + + //! @cond + template <typename F> + constexpr auto fuse_t::operator()(F&& f) const { + return detail::fused<typename std::decay<F>::type>{static_cast<F&&>(f)}; + } + //! @endcond +BOOST_HANA_NAMESPACE_END + +#endif // !BOOST_HANA_FUSE_HPP |