filter.h File Reference

#include "di/execution/algorithm/just.h"
#include "di/execution/meta/completion_signatures_of.h"
#include "di/execution/meta/connect_result.h"
#include "di/execution/meta/decayed_tuple.h"
#include "di/execution/meta/env_of.h"
#include "di/execution/meta/make_completion_signatures.h"
#include "di/execution/meta/value_types_of.h"
#include "di/execution/query/get_sequence_cardinality.h"
#include "di/execution/query/make_env.h"
#include "di/execution/receiver/receiver_adaptor.h"
#include "di/execution/receiver/set_error.h"
#include "di/execution/receiver/set_stopped.h"
#include "di/execution/receiver/set_value.h"
#include "di/execution/sequence/sequence_sender.h"
#include "di/execution/types/completion_signuatures.h"
#include "di/function/container/function.h"
#include "di/function/curry_back.h"
#include "di/function/invoke.h"
#include "di/function/overload.h"
#include "di/meta/algorithm.h"
#include "di/meta/core.h"
#include "di/meta/function.h"
#include "di/meta/language.h"
#include "di/util/addressof.h"
#include "di/util/declval.h"
#include "di/util/defer_construct.h"
#include "di/vocab/optional/optional_forward_declaration.h"
#include "di/vocab/tuple/apply.h"
#include "di/vocab/variant/visit.h"

Go to the source code of this file.

Classes
struct	di::execution::filter_ns::ValueSigs< Fun, Env >
struct	di::execution::filter_ns::DataT< Fun, Rec >
struct	di::execution::filter_ns::DataT< Fun, Rec >::Type
struct	di::execution::filter_ns::Empty
struct	di::execution::filter_ns::ItemDataT< Send, Fun, Rec, R >
struct	di::execution::filter_ns::ItemDataT< Send, Fun, Rec, R >::Type
struct	di::execution::filter_ns::ItemReceiverT< Send, Fun, Rec, R >
struct	di::execution::filter_ns::ItemReceiverT< Send, Fun, Rec, R >::Type
struct	di::execution::filter_ns::IntermediateReceiverT< Send, Fun, Rec, R >
struct	di::execution::filter_ns::IntermediateReceiverT< Send, Fun, Rec, R >::Type
struct	di::execution::filter_ns::FinalReceiverT< Send, Fun, Rec, R >
struct	di::execution::filter_ns::FinalReceiverT< Send, Fun, Rec, R >::Type
struct	di::execution::filter_ns::JustVarFunction
struct	di::execution::filter_ns::ItemOperationStateT< Send, Fun, Rec, R >
struct	di::execution::filter_ns::ItemOperationStateT< Send, Fun, Rec, R >::Type
struct	di::execution::filter_ns::ItemSenderT< Send, Fun, Rec >
struct	di::execution::filter_ns::ItemSenderT< Send, Fun, Rec >::Type
struct	di::execution::filter_ns::ReceiverT< Fun, Rec >
struct	di::execution::filter_ns::ReceiverT< Fun, Rec >::Type
struct	di::execution::filter_ns::OperationStateT< Seq, Fun, Rec >
struct	di::execution::filter_ns::OperationStateT< Seq, Fun, Rec >::Type
struct	di::execution::filter_ns::SequenceT< Seq, Fun >
struct	di::execution::filter_ns::SequenceT< Seq, Fun >::Type
struct	di::execution::filter_ns::Function

Namespaces
namespace	di
namespace	di::execution
namespace	di::execution::filter_ns

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

Variables
constexpr auto	di::execution::filter_ns::just_var = JustVarFunction {}
constexpr auto	di::execution::filter = function::curry_back(filter_ns::Function {}, meta::c_<2ZU>)
	Filter the values of a sequence.