hof/detail/make.hpp

0001 /*=============================================================================
0002     Copyright (c) 2015 Paul Fultz II
0003     make.h
0004     Distributed under the Boost Software License, Version 1.0. (See accompanying
0005     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
0006 ==============================================================================*/
0007
0008 #ifndef BOOST_HOF_GUARD_MAKE_H
0009 #define BOOST_HOF_GUARD_MAKE_H
0010
0011 #include <boost/hof/detail/move.hpp>
0012 #include <boost/hof/detail/join.hpp>
0013 #include <boost/hof/detail/delegate.hpp>
0014
0015 namespace boost { namespace hof { namespace detail {
0016
0017 template<template<class...> class Adaptor>
0018 struct make
0019 {
0020     constexpr make() noexcept
0021     {}
0022     template<class... Fs, class Result=BOOST_HOF_JOIN(Adaptor, Fs...)>
0023     constexpr Result operator()(Fs... fs) const BOOST_HOF_NOEXCEPT_CONSTRUCTIBLE(Result, Fs&&...)
0024     {
0025         return Result(static_cast<Fs&&>(fs)...);
0026     }
0027 };
0028
0029 }}} // namespace boost::hof
0030
0031 #endif