Header file range/v3/algorithm/partition.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_concepts.hpp>

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

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

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

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

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

Class ranges::v3::partition_fn

struct partition_fn
{
    template <typename I, typename S, typename C, typename P = ident, int _concept_requires_102 = 42, typename std::enable_if<(_concept_requires_102==43)||(Partitionable<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_111 = 42, typename std::enable_if<(_concept_requires_111==43)||(Partitionable<I, C, P>()&&Range<Rng>()), int>::type=0>
    range_safe_iterator_t<Rng> operator()(Rng&& rng, C pred, P proj = P{}) const;
};

@{


Variable ranges::v3::partition

constexpr auto& partition = static_const<with_braced_init_args<partition_fn>>::value;

partition_fn