di::execution::then_ns Namespace Reference

Classes
struct	ComplSigT
struct	ComplSigT< void >
struct	DataT
struct	ErrorFunction
struct	InvokeSigsT
struct	InvokeSigsT< T >
struct	OperationStateT
struct	ReceiverT
struct	SenderT
struct	StoppedFunction
struct	ValueFunction

Typedefs
template<typename CPO, typename Completions>
using	PassthroughSignatures = meta::Filter<meta::AsList<Completions>, meta::Not<meta::IsFunctionTo<CPO>>>
template<typename CPO, typename Completions>
using	ArgTypes
template<typename CPO, typename Fun, typename Completions>
using	ResultTypes
template<typename T>
using	ComplSig = meta::Type<ComplSigT<T>>
template<typename T>
using	InvokeSigs = meta::Type<InvokeSigsT<T>>
template<typename CPO, typename Send, typename Env, typename Fun>
using	Sigs
template<typename Fun, typename Rec>
using	Data = meta::Type<DataT<meta::Decay<Fun>, Rec>>
template<typename CPO, typename Fun, typename Rec>
using	Receiver = meta::Type<ReceiverT<CPO, meta::Decay<Fun>, Rec>>
template<typename CPO, typename Send, typename Fun, typename Rec>
using	OperationState = meta::Type<OperationStateT<CPO, Send, Fun, Rec>>
template<typename CPO, typename Send, typename Fun>
using	Sender = meta::Type<SenderT<CPO, meta::RemoveCVRef<Send>, meta::Decay<Fun>>>

Typedef Documentation

ArgTypes

template<typename CPO, typename Completions>

using di::execution::then_ns::ArgTypes

Initial value:

 
        meta::Transform<meta::Filter<meta::AsList<Completions>, meta::IsFunctionTo<CPO>>, meta::Quote<meta::AsList>>

ComplSig

template<typename T>

using di::execution::then_ns::ComplSig = meta::Type<ComplSigT<T>>

Data

template<typename Fun, typename Rec>

using di::execution::then_ns::Data = meta::Type<DataT<meta::Decay<Fun>, Rec>>

InvokeSigs

template<typename T>

using di::execution::then_ns::InvokeSigs = meta::Type<InvokeSigsT<T>>

OperationState

template<typename CPO, typename Send, typename Fun, typename Rec>

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

PassthroughSignatures

template<typename CPO, typename Completions>

using di::execution::then_ns::PassthroughSignatures = meta::Filter<meta::AsList<Completions>, meta::Not<meta::IsFunctionTo<CPO>>>

Receiver

template<typename CPO, typename Fun, typename Rec>

using di::execution::then_ns::Receiver = meta::Type<ReceiverT<CPO, meta::Decay<Fun>, Rec>>

ResultTypes

template<typename CPO, typename Fun, typename Completions>

using di::execution::then_ns::ResultTypes

Initial value:

 meta::Transform<ArgTypes<CPO, Completions>,
                                        meta::Uncurry<meta::BindFront<meta::Quote<meta::InvokeResult>, Fun>>>

Sender

template<typename CPO, typename Send, typename Fun>

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

Sigs

template<typename CPO, typename Send, typename Env, typename Fun>

using di::execution::then_ns::Sigs

Initial value:

 meta::AsTemplate<
        CompletionSignatures,
        meta::Concat<PassthroughSignatures<CPO, meta::CompletionSignaturesOf<Send, MakeEnv<Env>>>,
                     meta::Join<meta::Transform<ResultTypes<CPO, Fun, meta::CompletionSignaturesOf<Send, MakeEnv<Env>>>,
                                                meta::Quote<InvokeSigs>>>>>