FM / execution

/usr/include/boost/asio/execution

Name	Size	Mode	Actions
detail/	-	0755	rm
impl/	-	0755	rm
allocator.hpp	7823	0644	edit dl rm
any_executor.hpp	70761	0644	edit dl rm
bad_executor.hpp	1310	0644	edit dl rm
blocking.hpp	41336	0644	edit dl rm
blocking_adaptation.hpp	33522	0644	edit dl rm
bulk_execute.hpp	12972	0644	edit dl rm
bulk_guarantee.hpp	32421	0644	edit dl rm
connect.hpp	14688	0644	edit dl rm
context.hpp	5574	0644	edit dl rm
context_as.hpp	6328	0644	edit dl rm
execute.hpp	7579	0644	edit dl rm
executor.hpp	7069	0644	edit dl rm
invocable_archetype.hpp	2037	0644	edit dl rm
mapping.hpp	28989	0644	edit dl rm
occupancy.hpp	5501	0644	edit dl rm
operation_state.hpp	2750	0644	edit dl rm
outstanding_work.hpp	23123	0644	edit dl rm
prefer_only.hpp	9569	0644	edit dl rm
receiver.hpp	9669	0644	edit dl rm
receiver_invocation_error.hpp	1415	0644	edit dl rm
relationship.hpp	22518	0644	edit dl rm
schedule.hpp	7545	0644	edit dl rm
scheduler.hpp	2374	0644	edit dl rm
sender.hpp	8539	0644	edit dl rm
set_done.hpp	6640	0644	edit dl rm
set_error.hpp	7367	0644	edit dl rm
set_value.hpp	15285	0644	edit dl rm
start.hpp	6218	0644	edit dl rm
submit.hpp	13478	0644	edit dl rm

Edit: /usr/include/boost/asio/execution/set_value.hpp (15285B)

#ifndef BOOST_ASIO_EXECUTION_SET_VALUE_HPP
#define BOOST_ASIO_EXECUTION_SET_VALUE_HPP

#if defined(_MSC_VER) && (_MSC_VER >= 1200)
# pragma once
#endif // defined(_MSC_VER) && (_MSC_VER >= 1200)

#include <boost/asio/detail/config.hpp>
#include <boost/asio/detail/type_traits.hpp>
#include <boost/asio/detail/variadic_templates.hpp>
#include <boost/asio/traits/set_value_member.hpp>
#include <boost/asio/traits/set_value_free.hpp>

#include <boost/asio/detail/push_options.hpp>

#if defined(GENERATING_DOCUMENTATION)

namespace boost {
namespace asio {
namespace execution {

/// A customisation point that delivers a value to a receiver.
/**
 * The name <tt>execution::set_value</tt> denotes a customisation point object.
 * The expression <tt>execution::set_value(R, Vs...)</tt> for some
 * subexpressions <tt>R</tt> and <tt>Vs...</tt> is expression-equivalent to:
 *
 * @li <tt>R.set_value(Vs...)</tt>, if that expression is valid. If the
 *   function selected does not send the value(s) <tt>Vs...</tt> to the receiver
 *   <tt>R</tt>'s value channel, the program is ill-formed with no diagnostic
 *   required.
 *
 * @li Otherwise, <tt>set_value(R, Vs...)</tt>, if that expression is valid,
 *   with overload resolution performed in a context that includes the
 *   declaration <tt>void set_value();</tt> and that does not include a
 *   declaration of <tt>execution::set_value</tt>. If the function selected by
 *   overload resolution does not send the value(s) <tt>Vs...</tt> to the
 *   receiver <tt>R</tt>'s value channel, the program is ill-formed with no
 *   diagnostic required.
 *
 * @li Otherwise, <tt>execution::set_value(R, Vs...)</tt> is ill-formed.
 */
inline constexpr unspecified set_value = unspecified;

/// A type trait that determines whether a @c set_value expression is
/// well-formed.
/**
 * Class template @c can_set_value is a trait that is derived from
 * @c true_type if the expression <tt>execution::set_value(std::declval<R>(),
 * std::declval<Vs>()...)</tt> is well formed; otherwise @c false_type.
 */
template <typename R, typename... Vs>
struct can_set_value :
  integral_constant<bool, automatically_determined>
{
};

} // namespace execution
} // namespace asio
} // namespace boost

#else // defined(GENERATING_DOCUMENTATION)

namespace asio_execution_set_value_fn {

using boost::asio::decay;
using boost::asio::declval;
using boost::asio::enable_if;
using boost::asio::traits::set_value_free;
using boost::asio::traits::set_value_member;

void set_value();

enum overload_type
{
  call_member,
  call_free,
  ill_formed
};

template <typename R, typename Vs, typename = void>
struct call_traits
{
  BOOST_ASIO_STATIC_CONSTEXPR(overload_type, overload = ill_formed);
  BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
  typedef void result_type;
};

template <typename R, typename Vs>
struct call_traits<R, Vs,
  typename enable_if<
    (
      set_value_member<R, Vs>::is_valid
    )
  >::type> :
  set_value_member<R, Vs>
{
  BOOST_ASIO_STATIC_CONSTEXPR(overload_type, overload = call_member);
};

template <typename R, typename Vs>
struct call_traits<R, Vs,
  typename enable_if<
    (
      !set_value_member<R, Vs>::is_valid
      &&
      set_value_free<R, Vs>::is_valid
    )
  >::type> :
  set_value_free<R, Vs>
{
  BOOST_ASIO_STATIC_CONSTEXPR(overload_type, overload = call_free);
};

struct impl
{
#if defined(BOOST_ASIO_HAS_MOVE)

#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename R, typename... Vs>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<R, void(Vs...)>::overload == call_member,
    typename call_traits<R, void(Vs...)>::result_type
  >::type
  operator()(R&& r, Vs&&... v) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<R, void(Vs...)>::is_noexcept))
  {
    return BOOST_ASIO_MOVE_CAST(R)(r).set_value(BOOST_ASIO_MOVE_CAST(Vs)(v)...);
  }

template <typename R, typename... Vs>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<R, void(Vs...)>::overload == call_free,
    typename call_traits<R, void(Vs...)>::result_type
  >::type
  operator()(R&& r, Vs&&... v) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<R, void(Vs...)>::is_noexcept))
  {
    return set_value(BOOST_ASIO_MOVE_CAST(R)(r),
        BOOST_ASIO_MOVE_CAST(Vs)(v)...);
  }

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename R>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<R, void()>::overload == call_member,
    typename call_traits<R, void()>::result_type
  >::type
  operator()(R&& r) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<R, void()>::is_noexcept))
  {
    return BOOST_ASIO_MOVE_CAST(R)(r).set_value();
  }

template <typename R>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<R, void()>::overload == call_free,
    typename call_traits<R, void()>::result_type
  >::type
  operator()(R&& r) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<R, void()>::is_noexcept))
  {
    return set_value(BOOST_ASIO_MOVE_CAST(R)(r));
  }

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

#else // defined(BOOST_ASIO_HAS_MOVE)

#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename R, typename... Vs>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<R&, void(const Vs&...)>::overload == call_member,
    typename call_traits<R&, void(const Vs&...)>::result_type
  >::type
  operator()(R& r, const Vs&... v) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<R&, void(const Vs&...)>::is_noexcept))
  {
    return r.set_value(v...);
  }

template <typename R, typename... Vs>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<const R&, void(const Vs&...)>::overload == call_member,
    typename call_traits<const R&, void(const Vs&...)>::result_type
  >::type
  operator()(const R& r, const Vs&... v) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<const R&, void(const Vs&...)>::is_noexcept))
  {
    return r.set_value(v...);
  }

template <typename R, typename... Vs>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<R&, void(const Vs&...)>::overload == call_free,
    typename call_traits<R&, void(const Vs&...)>::result_type
  >::type
  operator()(R& r, const Vs&... v) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<R&, void(const Vs&...)>::is_noexcept))
  {
    return set_value(r, v...);
  }

template <typename R, typename... Vs>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<const R&, void(const Vs&...)>::overload == call_free,
    typename call_traits<const R&, void(const Vs&...)>::result_type
  >::type
  operator()(const R& r, const Vs&... v) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<const R&, void(const Vs&...)>::is_noexcept))
  {
    return set_value(r, v...);
  }

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename R>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<R&, void()>::overload == call_member,
    typename call_traits<R&, void()>::result_type
  >::type
  operator()(R& r) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<R&, void()>::is_noexcept))
  {
    return r.set_value();
  }

template <typename R>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<const R&, void()>::overload == call_member,
    typename call_traits<const R&, void()>::result_type
  >::type
  operator()(const R& r) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<const R&, void()>::is_noexcept))
  {
    return r.set_value();
  }

template <typename R>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<R&, void()>::overload == call_free,
    typename call_traits<R&, void()>::result_type
  >::type
  operator()(R& r) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<R&, void()>::is_noexcept))
  {
    return set_value(r);
  }

template <typename R>
  BOOST_ASIO_CONSTEXPR typename enable_if<
    call_traits<const R&, void()>::overload == call_free,
    typename call_traits<const R&, void()>::result_type
  >::type
  operator()(const R& r) const
    BOOST_ASIO_NOEXCEPT_IF((
      call_traits<const R&, void()>::is_noexcept))
  {
    return set_value(r);
  }

#define BOOST_ASIO_PRIVATE_SET_VALUE_CALL_DEF(n) \
  template <typename R, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
  BOOST_ASIO_CONSTEXPR typename enable_if< \
    call_traits<R&, \
      void(BOOST_ASIO_VARIADIC_TARGS(n))>::overload == call_member, \
    typename call_traits<R&, void(BOOST_ASIO_VARIADIC_TARGS(n))>::result_type \
  >::type \
  operator()(R& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \
    BOOST_ASIO_NOEXCEPT_IF(( \
      call_traits<R&, void(BOOST_ASIO_VARIADIC_TARGS(n))>::is_noexcept)) \
  { \
    return r.set_value(BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \
  } \
  \
  template <typename R, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
  BOOST_ASIO_CONSTEXPR typename enable_if< \
    call_traits<const R&, \
      void(BOOST_ASIO_VARIADIC_TARGS(n))>::overload == call_member, \
    typename call_traits<const R&, \
      void(BOOST_ASIO_VARIADIC_TARGS(n))>::result_type \
  >::type \
  operator()(const R& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \
    BOOST_ASIO_NOEXCEPT_IF(( \
      call_traits<const R&, void(BOOST_ASIO_VARIADIC_TARGS(n))>::is_noexcept)) \
  { \
    return r.set_value(BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \
  } \
  \
  template <typename R, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
  BOOST_ASIO_CONSTEXPR typename enable_if< \
    call_traits<R&, \
      void(BOOST_ASIO_VARIADIC_TARGS(n))>::overload == call_free, \
    typename call_traits<R&, void(BOOST_ASIO_VARIADIC_TARGS(n))>::result_type \
  >::type \
  operator()(R& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \
    BOOST_ASIO_NOEXCEPT_IF(( \
      call_traits<R&, void(BOOST_ASIO_VARIADIC_TARGS(n))>::is_noexcept)) \
  { \
    return set_value(r, BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \
  } \
  \
  template <typename R, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
  BOOST_ASIO_CONSTEXPR typename enable_if< \
    call_traits<const R&, \
      void(BOOST_ASIO_VARIADIC_TARGS(n))>::overload == call_free, \
    typename call_traits<const R&, \
      void(BOOST_ASIO_VARIADIC_TARGS(n))>::result_type \
  >::type \
  operator()(const R& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \
    BOOST_ASIO_NOEXCEPT_IF(( \
      call_traits<const R&, void(BOOST_ASIO_VARIADIC_TARGS(n))>::is_noexcept)) \
  { \
    return set_value(r, BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \
  } \
  /**/
BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_SET_VALUE_CALL_DEF)
#undef BOOST_ASIO_PRIVATE_SET_VALUE_CALL_DEF

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

#endif // defined(BOOST_ASIO_HAS_MOVE)
};

template <typename T = impl>
struct static_instance
{
  static const T instance;
};

template <typename T>
const T static_instance<T>::instance = {};

} // namespace asio_execution_set_value_fn
namespace boost {
namespace asio {
namespace execution {
namespace {

static BOOST_ASIO_CONSTEXPR const asio_execution_set_value_fn::impl&
  set_value = asio_execution_set_value_fn::static_instance<>::instance;

} // namespace

#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename R, typename... Vs>
struct can_set_value :
  integral_constant<bool,
    asio_execution_set_value_fn::call_traits<R, void(Vs...)>::overload !=
      asio_execution_set_value_fn::ill_formed>
{
};

#if defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)

template <typename R, typename... Vs>
constexpr bool can_set_value_v = can_set_value<R, Vs...>::value;

#endif // defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)

template <typename R, typename... Vs>
struct is_nothrow_set_value :
  integral_constant<bool,
    asio_execution_set_value_fn::call_traits<R, void(Vs...)>::is_noexcept>
{
};

#if defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)

template <typename R, typename... Vs>
constexpr bool is_nothrow_set_value_v
  = is_nothrow_set_value<R, Vs...>::value;

#endif // defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES)

#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

template <typename R, typename = void,
    typename = void, typename = void, typename = void, typename = void,
    typename = void, typename = void, typename = void, typename = void>
struct can_set_value;

template <typename R>
struct can_set_value<R> :
  integral_constant<bool,
    asio_execution_set_value_fn::call_traits<R, void()>::overload !=
      asio_execution_set_value_fn::ill_formed>
{
};

template <typename R>
struct is_nothrow_set_value<R> :
  integral_constant<bool,
    asio_execution_set_value_fn::call_traits<R, void()>::is_noexcept>
{
};

#define BOOST_ASIO_PRIVATE_SET_VALUE_TRAITS_DEF(n) \
  template <typename R, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
  struct can_set_value<R, BOOST_ASIO_VARIADIC_TARGS(n)> : \
    integral_constant<bool, \
      asio_execution_set_value_fn::call_traits<R, \
        void(BOOST_ASIO_VARIADIC_TARGS(n))>::overload != \
          asio_execution_set_value_fn::ill_formed> \
  { \
  }; \
  \
  template <typename R, BOOST_ASIO_VARIADIC_TPARAMS(n)> \
  struct is_nothrow_set_value<R, BOOST_ASIO_VARIADIC_TARGS(n)> : \
    integral_constant<bool, \
      asio_execution_set_value_fn::call_traits<R, \
        void(BOOST_ASIO_VARIADIC_TARGS(n))>::is_noexcept> \
  { \
  }; \
  /**/
BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_SET_VALUE_TRAITS_DEF)
#undef BOOST_ASIO_PRIVATE_SET_VALUE_TRAITS_DEF

#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)

} // namespace execution
} // namespace asio
} // namespace boost

#endif // defined(GENERATING_DOCUMENTATION)

#include <boost/asio/detail/pop_options.hpp>

#endif // BOOST_ASIO_EXECUTION_SET_VALUE_HPP

// // execution/set_value.hpp // ~~~~~~~~~~~~~~~~~~~~~~~ // // Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com) // // Distributed under the Boost Software License, Version 1.0. (See accompanying // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) // #ifndef BOOST_ASIO_EXECUTION_SET_VALUE_HPP #define BOOST_ASIO_EXECUTION_SET_VALUE_HPP #if defined(_MSC_VER) && (_MSC_VER >= 1200) # pragma once #endif // defined(_MSC_VER) && (_MSC_VER >= 1200) #include #include #include #include #include #include #if defined(GENERATING_DOCUMENTATION) namespace boost { namespace asio { namespace execution { /// A customisation point that delivers a value to a receiver. /** * The name execution::set_value denotes a customisation point object. * The expression execution::set_value(R, Vs...) for some * subexpressions R and Vs... is expression-equivalent to: * * @li R.set_value(Vs...), if that expression is valid. If the * function selected does not send the value(s) Vs... to the receiver * R's value channel, the program is ill-formed with no diagnostic * required. * * @li Otherwise, set_value(R, Vs...), if that expression is valid, * with overload resolution performed in a context that includes the * declaration void set_value(); and that does not include a * declaration of execution::set_value. If the function selected by * overload resolution does not send the value(s) Vs... to the * receiver R's value channel, the program is ill-formed with no * diagnostic required. * * @li Otherwise, execution::set_value(R, Vs...) is ill-formed. */ inline constexpr unspecified set_value = unspecified; /// A type trait that determines whether a @c set_value expression is /// well-formed. /** * Class template @c can_set_value is a trait that is derived from * @c true_type if the expression execution::set_value(std::declval(), * std::declval()...) is well formed; otherwise @c false_type. */ template struct can_set_value : integral_constant { }; } // namespace execution } // namespace asio } // namespace boost #else // defined(GENERATING_DOCUMENTATION) namespace asio_execution_set_value_fn { using boost::asio::decay; using boost::asio::declval; using boost::asio::enable_if; using boost::asio::traits::set_value_free; using boost::asio::traits::set_value_member; void set_value(); enum overload_type { call_member, call_free, ill_formed }; template struct call_traits { BOOST_ASIO_STATIC_CONSTEXPR(overload_type, overload = ill_formed); BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false); typedef void result_type; }; template struct call_traits::is_valid ) >::type> : set_value_member { BOOST_ASIO_STATIC_CONSTEXPR(overload_type, overload = call_member); }; template struct call_traits::is_valid && set_value_free::is_valid ) >::type> : set_value_free { BOOST_ASIO_STATIC_CONSTEXPR(overload_type, overload = call_free); }; struct impl { #if defined(BOOST_ASIO_HAS_MOVE) #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_member, typename call_traits::result_type >::type operator()(R&& r, Vs&&... v) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return BOOST_ASIO_MOVE_CAST(R)(r).set_value(BOOST_ASIO_MOVE_CAST(Vs)(v)...); } template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_free, typename call_traits::result_type >::type operator()(R&& r, Vs&&... v) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return set_value(BOOST_ASIO_MOVE_CAST(R)(r), BOOST_ASIO_MOVE_CAST(Vs)(v)...); } #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_member, typename call_traits::result_type >::type operator()(R&& r) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return BOOST_ASIO_MOVE_CAST(R)(r).set_value(); } template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_free, typename call_traits::result_type >::type operator()(R&& r) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return set_value(BOOST_ASIO_MOVE_CAST(R)(r)); } #define BOOST_ASIO_PRIVATE_SET_VALUE_CALL_DEF(n) \ template \ BOOST_ASIO_CONSTEXPR typename enable_if< \ call_traits::overload == call_member, \ typename call_traits::result_type \ >::type \ operator()(R&& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \ BOOST_ASIO_NOEXCEPT_IF(( \ call_traits::is_noexcept)) \ { \ return BOOST_ASIO_MOVE_CAST(R)(r).set_value( \ BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \ } \ \ template \ BOOST_ASIO_CONSTEXPR typename enable_if< \ call_traits::overload == call_free, \ typename call_traits::result_type \ >::type \ operator()(R&& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \ BOOST_ASIO_NOEXCEPT_IF(( \ call_traits::is_noexcept)) \ { \ return set_value(BOOST_ASIO_MOVE_CAST(R)(r), \ BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \ } \ /**/ BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_SET_VALUE_CALL_DEF) #undef BOOST_ASIO_PRIVATE_SET_VALUE_CALL_DEF #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #else // defined(BOOST_ASIO_HAS_MOVE) #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_member, typename call_traits::result_type >::type operator()(R& r, const Vs&... v) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return r.set_value(v...); } template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_member, typename call_traits::result_type >::type operator()(const R& r, const Vs&... v) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return r.set_value(v...); } template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_free, typename call_traits::result_type >::type operator()(R& r, const Vs&... v) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return set_value(r, v...); } template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_free, typename call_traits::result_type >::type operator()(const R& r, const Vs&... v) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return set_value(r, v...); } #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_member, typename call_traits::result_type >::type operator()(R& r) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return r.set_value(); } template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_member, typename call_traits::result_type >::type operator()(const R& r) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return r.set_value(); } template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_free, typename call_traits::result_type >::type operator()(R& r) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return set_value(r); } template BOOST_ASIO_CONSTEXPR typename enable_if< call_traits::overload == call_free, typename call_traits::result_type >::type operator()(const R& r) const BOOST_ASIO_NOEXCEPT_IF(( call_traits::is_noexcept)) { return set_value(r); } #define BOOST_ASIO_PRIVATE_SET_VALUE_CALL_DEF(n) \ template \ BOOST_ASIO_CONSTEXPR typename enable_if< \ call_traits::overload == call_member, \ typename call_traits::result_type \ >::type \ operator()(R& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \ BOOST_ASIO_NOEXCEPT_IF(( \ call_traits::is_noexcept)) \ { \ return r.set_value(BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \ } \ \ template \ BOOST_ASIO_CONSTEXPR typename enable_if< \ call_traits::overload == call_member, \ typename call_traits::result_type \ >::type \ operator()(const R& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \ BOOST_ASIO_NOEXCEPT_IF(( \ call_traits::is_noexcept)) \ { \ return r.set_value(BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \ } \ \ template \ BOOST_ASIO_CONSTEXPR typename enable_if< \ call_traits::overload == call_free, \ typename call_traits::result_type \ >::type \ operator()(R& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \ BOOST_ASIO_NOEXCEPT_IF(( \ call_traits::is_noexcept)) \ { \ return set_value(r, BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \ } \ \ template \ BOOST_ASIO_CONSTEXPR typename enable_if< \ call_traits::overload == call_free, \ typename call_traits::result_type \ >::type \ operator()(const R& r, BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) const \ BOOST_ASIO_NOEXCEPT_IF(( \ call_traits::is_noexcept)) \ { \ return set_value(r, BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \ } \ /**/ BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_SET_VALUE_CALL_DEF) #undef BOOST_ASIO_PRIVATE_SET_VALUE_CALL_DEF #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) #endif // defined(BOOST_ASIO_HAS_MOVE) }; template struct static_instance { static const T instance; }; template const T static_instance::instance = {}; } // namespace asio_execution_set_value_fn namespace boost { namespace asio { namespace execution { namespace { static BOOST_ASIO_CONSTEXPR const asio_execution_set_value_fn::impl& set_value = asio_execution_set_value_fn::static_instance<>::instance; } // namespace #if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct can_set_value : integral_constant::overload != asio_execution_set_value_fn::ill_formed> { }; #if defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES) template constexpr bool can_set_value_v = can_set_value::value; #endif // defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES) template struct is_nothrow_set_value : integral_constant::is_noexcept> { }; #if defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES) template constexpr bool is_nothrow_set_value_v = is_nothrow_set_value::value; #endif // defined(BOOST_ASIO_HAS_VARIABLE_TEMPLATES) #else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) template struct can_set_value; template struct is_nothrow_set_value; template struct can_set_value : integral_constant::overload != asio_execution_set_value_fn::ill_formed> { }; template struct is_nothrow_set_value : integral_constant::is_noexcept> { }; #define BOOST_ASIO_PRIVATE_SET_VALUE_TRAITS_DEF(n) \ template \ struct can_set_value : \ integral_constant::overload != \ asio_execution_set_value_fn::ill_formed> \ { \ }; \ \ template \ struct is_nothrow_set_value : \ integral_constant::is_noexcept> \ { \ }; \ /**/ BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_SET_VALUE_TRAITS_DEF) #undef BOOST_ASIO_PRIVATE_SET_VALUE_TRAITS_DEF #endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES) } // namespace execution } // namespace asio } // namespace boost #endif // defined(GENERATING_DOCUMENTATION) #include #endif // BOOST_ASIO_EXECUTION_SET_VALUE_HPP