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

namespace ranges
{
    inline namespace v3
    {
        template <typename I, typename C, typename P = ident>
        using IsPartitionedable = meta::strict_and<InputIterator<I>, IndirectCallablePredicate<C, projected<I, P>>>;
        
        struct is_partitioned_fn;
        
        inline namespace 
        {
            constexpr auto& is_partitioned = static_const<with_braced_init_args<is_partitioned_fn>>::value;
        }
    }
}

Class ranges::v3::is_partitioned_fn

struct is_partitioned_fn
{
    template <typename I, typename S, typename C, typename P = ident, int _concept_requires_49 = 42, typename std::enable_if<(_concept_requires_49==43)||(IsPartitionedable<I, C, P>()&&Sentinel<S, I>()), int>::type=0>
    bool 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_65 = 42, typename std::enable_if<(_concept_requires_65==43)||(IsPartitionedable<I, C, P>()&&Range<Rng>()), int>::type=0>
    bool operator()(Rng&& rng, C pred, P proj = P{}) const;
};

@{


Variable ranges::v3::is_partitioned

constexpr auto& is_partitioned = static_const<with_braced_init_args<is_partitioned_fn>>::value;

is_partitioned_fn