struct is_receiver_of

Declaration

template <typename T, typename... As>
struct is_receiver_of { /* full declaration omitted */ };

Description

The `receiver_of` concept is a refinement of the `Receiver` concept by requiring one additional completion-signal operation: * `pika::execution::set_value` This completion-signal operation adds the following to the Receiver's contract: * If `pika::execution::set_value` exits with an exception, it is still valid to call `pika::execution::set_error` or `pika::execution::set_stopped`

Declared at: libs/pika/execution_base/include/pika/execution_base/receiver.hpp:199