di::concepts::NextSender Concept Reference

A sender that can be returned from di::execution::set_next(). More...

#include <di/execution/sequence/sequence_sender.h>

Concept definition

template<typename Sender, typename Env types::EmptyEnv>
concept di::concepts::NextSender = 
    SenderIn<Sender, Env> &&
    (meta::Size<meta::Unique<meta::Concat<meta::List<execution::SetValue(), execution::SetStopped()>,
                                          meta::AsList<meta::CompletionSignaturesOf<Sender, Env>>>>> == 2)

Detailed Description

A sender that can be returned from di::execution::set_next().

Template Parameters

Sender	The sender type.
Env	The environment type.

Senders returned from di::execution::set_next() must have a completion signature which only contains di::execution::SetValue() and di::execution::SetStopped().