10 struct FilterFunction;
12 template<
typename Con,
typename Pred>
13 concept CustomFilter = concepts::TagInvocable<FilterFunction, Con, Pred>;
15 template<
typename Con,
typename Pred>
16 concept ViewFilter =
requires(Con&& container, Pred&& predicate) {
17 FilterView { util::forward<Con>(container), util::forward<Pred>(predicate) };
20 struct FilterFunction {
21 template<concepts::ViewableContainer Con,
typename Pred>
22 requires(CustomFilter<Con, Pred> || ViewFilter<Con, Pred>)
23 constexpr auto operator()(Con&& container, Pred&& predicate)
const -> concepts::View
auto {
24 if constexpr (CustomFilter<Con, Pred>) {
25 return function::tag_invoke(*
this, util::forward<Con>(container), util::forward<Pred>(predicate));
27 return FilterView { util::forward<Con>(container), util::forward<Pred>(predicate) };
constexpr auto filter
Definition filter.h:33
FilterView(Con &&, Pred) -> FilterView< meta::AsView< Con >, Pred >
constexpr tag_invoke_detail::TagInvokeFn tag_invoke
Definition tag_invoke.h:22
constexpr auto curry_back
Definition curry_back.h:141
Definition any_storable.h:9