di::execution::when_all_ns Namespace Reference

Classes
struct	CompletionSignaturesT
struct	CompletionSignaturesT< E, Sends... >
struct	DataT
struct	Function
struct	NotError
struct	OperationStateT
struct	OperationStateT< Rec, meta::ListV< indices... >, meta::List< Sends... > >
struct	ReceiverT
struct	SenderT
struct	StopCallbackFunction
struct	Stopped
struct	TransferFunction
struct	TransferVariantFunction
struct	ValueStorageT
struct	ValueStorageT< Env, Sends... >
struct	VariantFunction

Concepts
concept	ValidSenders

Typedefs
template<typename T>
using	DecayedRValue = meta::Decay<T>&&
template<typename Env, typename... Sends>
using	NonValueCompletions
template<typename Env, typename... Sends>
using	ValueCompletion
template<typename E>
using	Env = MakeEnv<E, With<Tag<get_stop_token>, sync::InPlaceStopToken>>
template<typename E, typename... Sends>
using	Sigs = meta::Type<CompletionSignaturesT<E, Sends...>>
template<typename... Types>
using	DecayedOptionalTuple = vocab::Optional<vocab::Tuple<meta::Decay<Types>...>>
template<typename Env, typename... Sends>
using	ValueStorage = meta::Type<ValueStorageT<Env, Sends...>>
template<typename... Types>
using	DecayedVariant = meta::AsTemplate<vocab::Variant, meta::Unique<meta::List<meta::Decay<Types>...>>>
template<typename Env, typename... Sends>
using	ErrorStorage
template<concepts::Receiver Rec, concepts::Sender... Sends>
using	Data = meta::Type<DataT<Rec, Sends...>>
template<usize index, concepts::Sender Send, typename Data>
using	Receiver = meta::Type<ReceiverT<index, Send, Data>>
template<concepts::Receiver Rec, typename Indices, concepts::TypeList Sends>
using	OperationState = meta::Type<OperationStateT<Rec, Indices, Sends>>
template<concepts::Sender... Senders>
using	Sender = meta::Type<SenderT<Senders...>>

Variables
template<typename Env, concepts::SenderIn< Env > Send>
constexpr usize	set_value_count = meta::Size<meta::ValueTypesOf<Send, Env, meta::List, meta::List>>
template<typename Env, typename... Sends>
constexpr bool	never_sends_value

Typedef Documentation

Data

template<concepts::Receiver Rec, concepts::Sender... Sends>

using di::execution::when_all_ns::Data = meta::Type<DataT<Rec, Sends...>>

DecayedOptionalTuple

template<typename... Types>

using di::execution::when_all_ns::DecayedOptionalTuple = vocab::Optional<vocab::Tuple<meta::Decay<Types>...>>

DecayedRValue

template<typename T>

using di::execution::when_all_ns::DecayedRValue = meta::Decay<T>&&

DecayedVariant

template<typename... Types>

using di::execution::when_all_ns::DecayedVariant = meta::AsTemplate<vocab::Variant, meta::Unique<meta::List<meta::Decay<Types>...>>>

Env

template<typename E>

using di::execution::when_all_ns::Env = MakeEnv<E, With<Tag<get_stop_token>, sync::InPlaceStopToken>>

ErrorStorage

template<typename Env, typename... Sends>

using di::execution::when_all_ns::ErrorStorage

Initial value:

 
        meta::AsTemplate<DecayedVariant,
                         meta::Concat<meta::List<NotError, Stopped>, meta::ErrorTypesOf<Sends, Env, meta::List>...>>

NonValueCompletions

template<typename Env, typename... Sends>

using di::execution::when_all_ns::NonValueCompletions

Initial value:

 meta::Unique<
        meta::PushBack<meta::Transform<meta::Concat<meta::ErrorTypesOf<Sends, Env, meta::List>...>,
                                       meta::Compose<meta::BindFront<meta::Quote<meta::AsLanguageFunction>, SetError>,
                                                     meta::Quote<meta::List>, meta::Quote<DecayedRValue>>>,
                       SetStopped()>>

OperationState

template<concepts::Receiver Rec, typename Indices, concepts::TypeList Sends>

using di::execution::when_all_ns::OperationState = meta::Type<OperationStateT<Rec, Indices, Sends>>

Receiver

template<usize index, concepts::Sender Send, typename Data>

using di::execution::when_all_ns::Receiver = meta::Type<ReceiverT<index, Send, Data>>

Sender

template<concepts::Sender... Senders>

using di::execution::when_all_ns::Sender = meta::Type<SenderT<Senders...>>

Sigs

template<typename E, typename... Sends>

using di::execution::when_all_ns::Sigs = meta::Type<CompletionSignaturesT<E, Sends...>>

ValueCompletion

template<typename Env, typename... Sends>

using di::execution::when_all_ns::ValueCompletion

Initial value:

 meta::AsLanguageFunction<
        SetValue, meta::Transform<meta::Concat<meta::ValueTypesOf<Sends, Env, meta::List, meta::TypeIdentity>...>,
                                  meta::Quote<DecayedRValue>>>

ValueStorage

template<typename Env, typename... Sends>

using di::execution::when_all_ns::ValueStorage = meta::Type<ValueStorageT<Env, Sends...>>

Variable Documentation

never_sends_value

template<typename Env, typename... Sends>

bool di::execution::when_all_ns::never_sends_value

inlineconstexpr

Initial value:

=
        ((set_value_count<Env, Sends> == 0) || ...)

set_value_count

template<typename Env, concepts::SenderIn< Env > Send>

usize di::execution::when_all_ns::set_value_count = meta::Size<meta::ValueTypesOf<Send, Env, meta::List, meta::List>>

inlineconstexpr