di::execution::let_ns Namespace Reference

Classes
struct	DataT
struct	Function
struct	OperationStateT
struct	ReceiverT
struct	SenderT

Typedefs
template<typename CPO, typename Completions>
using	ArgTypes
template<typename CPO, typename Fun, typename Completions>
using	SenderTypes
template<concepts::OneOf< SetValue, SetError, SetStopped > CPO, concepts::Receiver Rec, concepts::MovableValue Fun, concepts::InstanceOf< CompletionSignatures > Completions>
using	Data = meta::Type<DataT<CPO, Rec, Fun, Completions>>
template<concepts::OneOf< SetValue, SetError, SetStopped > CPO, concepts::Receiver Rec, concepts::MovableValue Fun, concepts::InstanceOf< CompletionSignatures > Completions>
using	Receiver = meta::Type<ReceiverT<CPO, Rec, Fun, Completions>>
template<concepts::OneOf< SetValue, SetError, SetStopped > CPO, concepts::Sender Send, concepts::Receiver Rec, concepts::MovableValue Fun>
using	OperationState = meta::Type<OperationStateT<CPO, Send, Rec, Fun>>
template<concepts::OneOf< SetValue, SetError, SetStopped > CPO, concepts::Sender Send, concepts::MovableValue Fun>
using	Sender = meta::Type<SenderT<CPO, meta::RemoveCVRef<Send>, meta::Decay<Fun>>>

Typedef Documentation

ArgTypes

template<typename CPO, typename Completions>

using di::execution::let_ns::ArgTypes

Initial value:

 meta::Unique<
        meta::Transform<meta::Filter<meta::AsList<Completions>, meta::IsFunctionTo<CPO>>,
                        meta::Compose<meta::Uncurry<meta::Quote<meta::DecayedTuple>>, meta::Quote<meta::AsList>>>>

Data

template<concepts::OneOf< SetValue, SetError, SetStopped > CPO, concepts::Receiver Rec, concepts::MovableValue Fun, concepts::InstanceOf< CompletionSignatures > Completions>

using di::execution::let_ns::Data = meta::Type<DataT<CPO, Rec, Fun, Completions>>

OperationState

template<concepts::OneOf< SetValue, SetError, SetStopped > CPO, concepts::Sender Send, concepts::Receiver Rec, concepts::MovableValue Fun>

using di::execution::let_ns::OperationState = meta::Type<OperationStateT<CPO, Send, Rec, Fun>>

Receiver

template<concepts::OneOf< SetValue, SetError, SetStopped > CPO, concepts::Receiver Rec, concepts::MovableValue Fun, concepts::InstanceOf< CompletionSignatures > Completions>

using di::execution::let_ns::Receiver = meta::Type<ReceiverT<CPO, Rec, Fun, Completions>>

Sender

template<concepts::OneOf< SetValue, SetError, SetStopped > CPO, concepts::Sender Send, concepts::MovableValue Fun>

using di::execution::let_ns::Sender = meta::Type<SenderT<CPO, meta::RemoveCVRef<Send>, meta::Decay<Fun>>>

SenderTypes

template<typename CPO, typename Fun, typename Completions>

using di::execution::let_ns::SenderTypes

Initial value:

 meta::Transform<
        ArgTypes<CPO, Completions>,
        meta::Compose<meta::Uncurry<meta::BindFront<meta::Quote<meta::InvokeResult>, Fun>>,
                      meta::BindBack<meta::Quote<meta::Transform>, meta::Quote<meta::AddLValueReference>>,
                      meta::Quote<meta::AsList>>>