di::execution::filter_ns Namespace Reference

Classes
struct	ValueSigs
struct	DataT
struct	Empty
struct	ItemDataT
struct	ItemReceiverT
struct	IntermediateReceiverT
struct	FinalReceiverT
struct	JustVarFunction
struct	ItemOperationStateT
struct	ItemSenderT
struct	ReceiverT
struct	OperationStateT
struct	SequenceT
struct	Function

Typedefs
template<typename T>
using	DecayedRValue = meta::Decay<T>
template<typename Env, typename... Sends>
using	NonValueCompletions
template<typename Seq, typename Fun, typename Env>
using	ExtraSignatures
template<typename... Values>
using	DecayValues = CompletionSignatures<SetValue(DecayedRValue<Values>...)>
template<typename Seq, typename Fun, typename Env>
using	Signatures = meta::MakeCompletionSignatures<Seq, Env, ExtraSignatures<Seq, Fun, Env>, DecayValues>
template<concepts::LanguageFunction Sig>
using	SigAsTuple
template<concepts::MovableValue Fun, concepts::Receiver Rec>
using	Data = meta::Type<DataT<meta::Decay<Fun>, Rec>>
template<typename... Types>
using	OptionalVariant = meta::AsTemplate<Variant, meta::Unique<meta::List<Empty, Types...>>>
template<typename Send, typename Fun, typename Rec, typename R>
using	ItemData = meta::Type<ItemDataT<Send, Fun, Rec, R>>
template<typename Send, typename Fun, typename Rec, typename R>
using	ItemReceiver = meta::Type<ItemReceiverT<Send, Fun, Rec, R>>
template<typename Send, typename Fun, typename Rec, typename R>
using	IntermediateReceiver = meta::Type<IntermediateReceiverT<Send, Fun, Rec, R>>
template<typename Send, typename Fun, typename Rec, typename R>
using	FinalReceiver = meta::Type<FinalReceiverT<Send, Fun, Rec, R>>
template<typename... Types>
using	JustVar = decltype(just_var(declval<Types>()...))
template<typename Send, typename Fun, typename Rec, typename R>
using	ItemOperationState = meta::Type<ItemOperationStateT<Send, Fun, Rec, R>>
template<typename Send, typename Fun, typename Rec>
using	ItemSender = meta::Type<ItemSenderT<meta::RemoveCVRef<Send>, meta::Decay<Fun>, Rec>>
template<concepts::MovableValue Fun, concepts::Receiver Rec>
using	Receiver = meta::Type<ReceiverT<meta::Decay<Fun>, Rec>>
template<typename Seq, typename Fun, typename Rec>
using	OperationState = meta::Type<OperationStateT<Seq, Fun, Rec>>
template<concepts::Sender Seq, concepts::MovableValue Fun>
using	Sequence = meta::Type<SequenceT<meta::RemoveCVRef<Seq>, meta::Decay<Fun>>>

Variables
constexpr auto	just_var = JustVarFunction {}

Typedef Documentation

Data

template<concepts::MovableValue Fun, concepts::Receiver Rec>

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

DecayedRValue

template<typename T>

using di::execution::filter_ns::DecayedRValue = meta::Decay<T>

DecayValues

template<typename... Values>

using di::execution::filter_ns::DecayValues = CompletionSignatures<SetValue(DecayedRValue<Values>...)>

ExtraSignatures

template<typename Seq, typename Fun, typename Env>

using di::execution::filter_ns::ExtraSignatures

Initial value:

 
        meta::MakeCompletionSignatures<dummy_ns::DummySenderOf<meta::CompletionSignaturesOf<Seq, Env>>, Env,
                                       CompletionSignatures<>, ValueSigs<Fun, Env>::template Invoke>

FinalReceiver

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

using di::execution::filter_ns::FinalReceiver = meta::Type<FinalReceiverT<Send, Fun, Rec, R>>

IntermediateReceiver

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

using di::execution::filter_ns::IntermediateReceiver = meta::Type<IntermediateReceiverT<Send, Fun, Rec, R>>

ItemData

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

using di::execution::filter_ns::ItemData = meta::Type<ItemDataT<Send, Fun, Rec, R>>

ItemOperationState

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

using di::execution::filter_ns::ItemOperationState = meta::Type<ItemOperationStateT<Send, Fun, Rec, R>>

ItemReceiver

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

using di::execution::filter_ns::ItemReceiver = meta::Type<ItemReceiverT<Send, Fun, Rec, R>>

ItemSender

template<typename Send, typename Fun, typename Rec>

using di::execution::filter_ns::ItemSender = meta::Type<ItemSenderT<meta::RemoveCVRef<Send>, meta::Decay<Fun>, Rec>>

JustVar

template<typename... Types>

using di::execution::filter_ns::JustVar = decltype(just_var(declval<Types>()...))

NonValueCompletions

template<typename Env, typename... Sends>

using di::execution::filter_ns::NonValueCompletions

Initial value:

 meta::AsTemplate<
        CompletionSignatures,
        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>>>,
            SetStopped()>>>

OperationState

template<typename Seq, typename Fun, typename Rec>

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

OptionalVariant

template<typename... Types>

using di::execution::filter_ns::OptionalVariant = meta::AsTemplate<Variant, meta::Unique<meta::List<Empty, Types...>>>

Receiver

template<concepts::MovableValue Fun, concepts::Receiver Rec>

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

Sequence

template<concepts::Sender Seq, concepts::MovableValue Fun>

using di::execution::filter_ns::Sequence = meta::Type<SequenceT<meta::RemoveCVRef<Seq>, meta::Decay<Fun>>>

SigAsTuple

template<concepts::LanguageFunction Sig>

using di::execution::filter_ns::SigAsTuple

Initial value:

 
        meta::AsTemplate<meta::DecayedTuple, meta::PushFront<meta::AsList<Sig>, meta::LanguageFunctionReturn<Sig>>>

Signatures

template<typename Seq, typename Fun, typename Env>

using di::execution::filter_ns::Signatures = meta::MakeCompletionSignatures<Seq, Env, ExtraSignatures<Seq, Fun, Env>, DecayValues>

Variable Documentation

just_var

auto di::execution::filter_ns::just_var = JustVarFunction {}

inlineconstexpr