di 0.1.0
|
Classes | |
struct | DataT |
struct | Empty |
struct | FinalReceiverT |
struct | Function |
struct | IntermediateReceiverT |
struct | ItemDataT |
struct | ItemOperationStateT |
struct | ItemReceiverT |
struct | ItemSenderT |
struct | JustVarFunction |
struct | OperationStateT |
struct | ReceiverT |
struct | SequenceT |
struct | ValueSigs |
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 {} |
using di::execution::filter_ns::Data = meta::Type<DataT<meta::Decay<Fun>, Rec>> |
using di::execution::filter_ns::DecayedRValue = meta::Decay<T> |
using di::execution::filter_ns::DecayValues = CompletionSignatures<SetValue(DecayedRValue<Values>...)> |
using di::execution::filter_ns::ExtraSignatures |
using di::execution::filter_ns::FinalReceiver = meta::Type<FinalReceiverT<Send, Fun, Rec, R>> |
using di::execution::filter_ns::IntermediateReceiver = meta::Type<IntermediateReceiverT<Send, Fun, Rec, R>> |
using di::execution::filter_ns::ItemData = meta::Type<ItemDataT<Send, Fun, Rec, R>> |
using di::execution::filter_ns::ItemOperationState = meta::Type<ItemOperationStateT<Send, Fun, Rec, R>> |
using di::execution::filter_ns::ItemReceiver = meta::Type<ItemReceiverT<Send, Fun, Rec, R>> |
using di::execution::filter_ns::ItemSender = meta::Type<ItemSenderT<meta::RemoveCVRef<Send>, meta::Decay<Fun>, Rec>> |
using di::execution::filter_ns::JustVar = decltype(just_var(declval<Types>()...)) |
using di::execution::filter_ns::NonValueCompletions |
using di::execution::filter_ns::OperationState = meta::Type<OperationStateT<Seq, Fun, Rec>> |
using di::execution::filter_ns::OptionalVariant = meta::AsTemplate<Variant, meta::Unique<meta::List<Empty, Types...>>> |
using di::execution::filter_ns::Receiver = meta::Type<ReceiverT<meta::Decay<Fun>, Rec>> |
using di::execution::filter_ns::Sequence = meta::Type<SequenceT<meta::RemoveCVRef<Seq>, meta::Decay<Fun>>> |
using di::execution::filter_ns::SigAsTuple |
using di::execution::filter_ns::Signatures = meta::MakeCompletionSignatures<Seq, Env, ExtraSignatures<Seq, Fun, Env>, DecayValues> |
|
inlineconstexpr |