find_first_not_of.h

Go to the documentation of this file.

#pragma once
 
#include "di/container/algorithm/all_of.h"
#include "di/container/algorithm/find_if.h"
#include "di/function/equal.h"
 
namespace di::container {
namespace detail {
    struct FindFirstNotOfFunction {
        template<concepts::InputIterator It, concepts::SentinelFor<It> Sent, concepts::ForwardIterator Jt,
                 concepts::SentinelFor<Jt> Jent, typename Pred = function::Equal, typename Proj = function::Identity,
                 typename Jroj = function::Identity>
        requires(concepts::IndirectlyComparable<It, Jt, Pred, Proj, Jroj>)
        constexpr auto operator()(It it, Sent sent, Jt jt, Jent jent, Pred pred = {}, Proj proj = {},
                                  Jroj jroj = {}) const -> It {
            return container::find_if(
                util::move(it), sent,
                [&]<typename T>(T&& value) {
                    return container::all_of(
                        jt, jent,
                        [&]<typename U>(U&& other) {
                            return !function::invoke(pred, value, other);
                        },
                        util::ref(jroj));
                },
                util::ref(proj));
        }
 
        template<concepts::InputContainer Con, concepts::ForwardContainer Needles, typename Pred = function::Equal,
                 typename Proj1 = function::Identity, typename Proj2 = function::Identity>
        requires(concepts::IndirectlyComparable<meta::ContainerIterator<Con>, meta::ContainerIterator<Needles>, Pred,
                                                Proj1, Proj2>)
        constexpr auto operator()(Con&& container, Needles&& needles, Pred pred = {}, Proj1 proj1 = {},
                                  Proj2 proj2 = {}) const -> meta::BorrowedIterator<Con> {
            return (*this)(container::begin(container), container::end(container), container::begin(needles),
                           container::end(needles), util::ref(pred), util::ref(proj1), util::ref(proj2));
        }
    };
}
 
constexpr inline auto find_first_not_of = detail::FindFirstNotOfFunction {};
}
 
namespace di {
using container::find_first_not_of;
}