Boost C++ Libraries of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards



The execution::is_nothrow_receiver_of trait detects whether a type T satisfies the execution::receiver_of concept for some set of value arguments, with a noexcept set_value operation.

    typename T,
    typename... Vs>
struct is_nothrow_receiver_of

Class template is_nothrow_receiver_of is a type trait that is derived from true_type if the type T meets the concept definition for a receiver for value arguments Vs, and the expression execution::set_value(declval<T>(), declval<Ts>()...) is noexcept, otherwise false_type.


Header: boost/asio/execution/receiver.hpp

Convenience header: boost/asio/execution.hpp