Classes
struct	DataT

struct	Function

struct	NextDataT

struct	NextOperationStateT

struct	NextReceiverT

struct	NextSenderT

struct	OperationStateT

struct	ReceiverT

struct	SenderT

Typedefs
template<typename Seq, typename Rec>
using	Data = meta::Type<DataT<Seq, Rec>>

template<typename Seq, typename Rec, typename Next, typename R>
using	NextData = meta::Type<NextDataT<Seq, Rec, Next, R>>

template<typename Seq, typename Rec, typename Next, typename R>
using	NextReceiver = meta::Type<NextReceiverT<Seq, Rec, Next, R>>

template<typename Seq, typename Rec, typename Next, typename R>
using	NextOperationState = meta::Type<NextOperationStateT<Seq, Rec, Next, R>>

template<typename Seq, typename Rec, typename Next>
using	NextSender = meta::Type<NextSenderT<Seq, Rec, meta::RemoveCVRef<Next>>>

template<typename Seq, typename Rec>
using	Receiver = meta::Type<ReceiverT<Seq, Rec>>

template<typename Seq, typename Rec>
using	OperationState = meta::Type<OperationStateT<Seq, Rec>>

template<typename... Values>
using	SigSetValue = CompletionSignatures<SetValue(meta::Decay<Values>&&...)>

template<typename E>
using	SigSetError = CompletionSignatures<SetError(meta::Decay<E>&&)>

template<typename Seq, typename Env>
using	Sigs

template<typename Seq>
using	Sender = meta::Type<SenderT<meta::RemoveCVRef<Seq>>>

Typedef Documentation

◆ Data

template<typename Seq, typename Rec>

using di::execution::first_value_ns::Data = meta::Type<DataT<Seq, Rec>>

◆ NextData

template<typename Seq, typename Rec, typename Next, typename R>

using di::execution::first_value_ns::NextData = meta::Type<NextDataT<Seq, Rec, Next, R>>

◆ NextOperationState

template<typename Seq, typename Rec, typename Next, typename R>

using di::execution::first_value_ns::NextOperationState = meta::Type<NextOperationStateT<Seq, Rec, Next, R>>

◆ NextReceiver

template<typename Seq, typename Rec, typename Next, typename R>

using di::execution::first_value_ns::NextReceiver = meta::Type<NextReceiverT<Seq, Rec, Next, R>>

◆ NextSender

template<typename Seq, typename Rec, typename Next>

using di::execution::first_value_ns::NextSender = meta::Type<NextSenderT<Seq, Rec, meta::RemoveCVRef<Next>>>

◆ OperationState

template<typename Seq, typename Rec>

using di::execution::first_value_ns::OperationState = meta::Type<OperationStateT<Seq, Rec>>

◆ Receiver

template<typename Seq, typename Rec>

using di::execution::first_value_ns::Receiver = meta::Type<ReceiverT<Seq, Rec>>

◆ Sender

template<typename Seq>

using di::execution::first_value_ns::Sender = meta::Type<SenderT<meta::RemoveCVRef<Seq>>>

◆ Sigs

template<typename Seq, typename Env>

using di::execution::first_value_ns::Sigs

Initial value:

meta::MakeCompletionSignatures<Seq, MakeEnv<Env>, CompletionSignatures<SetStopped()>, SigSetValue, SigSetError>

di::execution::first_value_ns::SigSetValue

CompletionSignatures< SetValue(meta::Decay< Values > &&...)> SigSetValue

Definition first_value.h:276

di::execution::first_value_ns::SigSetError

CompletionSignatures< SetError(meta::Decay< E > &&)> SigSetError

Definition first_value.h:279

di::meta::MakeCompletionSignatures

Type< detail::MakeCompletionSignaturesHelper< ExtraSigs, meta::ValueTypesOf< Send, Env, SetValue, meta::List >, meta::Transform< meta::ErrorTypesOf< Send, Env, meta::List >, meta::Quote< SetError > >, meta::Conditional< meta::sends_stopped< Send, Env >, SetStopped, types::CompletionSignatures<> > > > MakeCompletionSignatures

Definition make_completion_signatures.h:36

di::execution::SetStopped

Definition set_stopped.h:6

di::types::CompletionSignatures

Definition completion_signuatures.h:7