is_sentinel_for.hpp

#pragma once

#include <hpx/type_support/always_void.hpp>
#include <hpx/iterator_support/traits/is_iterator.hpp>

#include <utility>


namespace hpx { namespace traits {

    template <typename Sent, typename Iter, typename Enable = void>
    struct is_sentinel_for : std::false_type
    {
    };

    template <typename Sent, typename Iter>
    struct is_sentinel_for<Sent, Iter,
        typename util::always_void<
        typename std::enable_if<is_iterator<Iter>::value>::type,
            typename detail::equality_result<Iter, Sent>::type,
            typename detail::equality_result<Sent, Iter>::type,
            typename detail::inequality_result<Iter, Sent>::type,
            typename detail::inequality_result<Sent, Iter>::type>::type>
      : std::true_type
    {
    };
}}    // namespace hpx::traits