Header file range/v3/algorithm/remove_if.hpp

#include <meta/meta.hpp>

#include <range/v3/range_fwd.hpp>

#include <range/v3/begin_end.hpp>

#include <range/v3/range_concepts.hpp>

#include <range/v3/range_traits.hpp>

#include <range/v3/utility/iterator.hpp>

#include <range/v3/utility/iterator_concepts.hpp>

#include <range/v3/utility/iterator_traits.hpp>

#include <range/v3/utility/functional.hpp>

#include <range/v3/algorithm/find_if.hpp>

#include <range/v3/utility/static_const.hpp>

namespace ranges
{
    inline namespace v3
    {
        template <typename I, typename C, typename P = ident>
        using RemovableIf = meta::strict_and<ForwardIterator<I>, IndirectCallablePredicate<C, projected<I, P>>, Permutable<I>>;
        
        struct remove_if_fn;
        
        inline namespace 
        {
            constexpr auto& remove_if = static_const<with_braced_init_args<remove_if_fn>>::value;
        }
    }
}

Alias template ranges::v3::RemovableIf<I, C, P>

template <typename I, typename C, typename P = ident>
using RemovableIf = meta::strict_and<ForwardIterator<I>, IndirectCallablePredicate<C, projected<I, P>>, Permutable<I>>;

@{


Class ranges::v3::remove_if_fn

struct remove_if_fn
{
    template <typename I, typename S, typename C, typename P = ident, int _concept_requires_44 = 42, typename std::enable_if<(_concept_requires_44==43)||(RemovableIf<I, C, P>()&&Sentinel<S, I>()), int>::type=0>
    I operator()(I begin, S end, C pred_, P proj_ = P{}) const;
    
    template <typename Rng, typename C, typename P = ident, typename I = range_iterator_t<Rng>, int _concept_requires_66 = 42, typename std::enable_if<(_concept_requires_66==43)||(RemovableIf<I, C, P>()&&ForwardRange<Rng>()), int>::type=0>
    range_safe_iterator_t<Rng> operator()(Rng&& rng, C pred, P proj = P{}) const;
};

@{


Variable ranges::v3::remove_if

constexpr auto& remove_if = static_const<with_braced_init_args<remove_if_fn>>::value;

remove_if_fn