|  | Home | Libraries | People | FAQ | More | 
        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: boost/asio/execution/receiver.hpp
      
        Convenience header: boost/asio/execution.hpp