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.
template< 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: asio/execution/receiver.hpp
Convenience header: asio/execution.hpp