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